Exploring Secure Compilation: Catalin Hritcu’s HotSpot 2020 Talk 🎯
Watch Catalin Hritcu’s insightful presentation on full abstraction and secure compilation at the HotSpot 2020 Workshop. Includes slides, papers, and Coq proofs!
Catalin Hritcu
163 views • Sep 7, 2020
About this video
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
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
Video Information
Views
163
Likes
8
Duration
25:42
Published
Sep 7, 2020
Related Trending Topics
LIVE TRENDSRelated trending topics. Click any trend to explore more videos.