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
∙
07/11/2019
Trace-Relating Compiler Correctness and Secure Compilation
Compiler correctness is, in its simplest form, defined as the inclusion ...
research
∙
07/12/2018
Journey Beyond Full Abstraction: Exploring Robust Property Preservation for Secure Compilation
Good programming languages provide helpful abstractions for writing secu...
research
∙
07/12/2018
Exploring Robust Property Preservation for Secure Compilation
Good programming languages provide helpful abstractions for writing more...
research
∙
02/02/2018