IEEE Symposium on Security and Privacy·22 min
Presenters detail vulnerability discovery and exploitation in Micro-Policies: Formally Verified, Tag-Based Security Monitors.
micro-policieformallyverified+3
micro-policie
1 talk tagged with this topic.
Filters+
Loading filters…
1–1 of 1 talk · loading…