Marco Patrignani

Secure Compilation and Hyperproperty Preservation

2017

The area of secure compilation aims to design compilers which produce hardened code that can withstand attacks from low-level co-linked components. So far, there is no formal correctness criterion for secure compilers that comes with …