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
∙
05/02/2021
Security Properties for Stack Safety
What exactly does "stack safety" mean? The phrase is associated with a v...
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