research
∙
06/26/2020
The Fox and the Hound: Comparing Fully Abstract and Robust Compilation
We prove a theorem relating fully abstract compilation (FAC) to robust c...
share
research
∙
03/12/2020
Control-flow Flattening Preserves the Constant-Time Policy (Extended Version)
Obfuscating compilers protect a software by obscuring its meaning and im...
research
∙
01/29/2020
Provably Secure Isolation for Interruptible Enclaved Execution on Small Microprocessors: Extended Version
Computer systems often provide hardware support for isolation mechanisms...
research
∙
01/15/2019
Translation Validation for Security Properties
Secure compilation aims to build compilation chains that preserve securi...
research
∙
08/01/2018