Exploring Secure Compilation: Catalin Hritcu’s HotSpot 2020 Talk 🎯

This is the recording of a secure compilation talk I will give at the remote HotSpot workshop on 7 Sept 2020. The slides, papers, and Coq proofs are all available too: https://prosecco.gforge.inria.fr/personal/hritcu/talks/2020-09-07-Journey-Beyond-Full-Abstraction-HotSpot.pdf - CSF'19 paper: https://arxiv.org/abs/1807.04603 https://github.com/secure-compilation/exploring-robust-property-preservation - ESOP'20 paper: https://arxiv.org/abs/1907.05320 https://github.com/secure-compilation/exploring-robust-property-preservation/tree/different_traces