research
∙
05/02/2021
Security Properties for Stack Safety
What exactly does "stack safety" mean? The phrase is associated with a v...
share
research
∙
12/18/2020
Towards Formally Verified Compilation of Tag-Based Policy Enforcement
Hardware-assisted reference monitoring is receiving increasing attention...
research
∙
02/02/2018
When Good Components Go Bad: Formally Secure Compilation Despite Dynamic Compromise
We propose a new formal criterion for secure compilation, giving strong ...
research
∙
10/19/2017