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 ...
share
research
∙
10/19/2017
Robust Hyperproperty Preservation for Secure Compilation (Extended Abstract)
We map the space of soundness criteria for secure compilation based on t...
research
∙
10/19/2017
Formally Secure Compilation of Unsafe Low-Level Components (Extended Abstract)
We propose a new formal criterion for secure compilation, providing stro...
research
∙
10/18/2016