research
∙
10/04/2021
SecurePtrs: Proving Secure Compilation with Data-Flow Back-Translation and Turn-Taking Simulation
Proving secure compilation of partial programs typically requires back-t...
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