Number of items: 2.
Conference or Workshop Item (A Paper)
Abate, Carmine and Blanco, Roberto and Ciobaca, Stefan and Durier, Adrien and Garg, Deepak and Hritcu, Catalin and Patrignani, Marco and Tanter, Éric and Thibault, Jérémy
(2020)
Trace-Relating Compiler Correctness and Secure Compilation.
Abate, Carmine and Blanco, Roberto and Garg, Deepak and Hritcu, Catalin and Patrignani, Marco and Thibault, Jeremy
(2019)
Journey Beyond Full Abstraction: Exploring Robust Property Preservation for Secure Compilation.
This list was generated on Tue Nov 12 20:40:16 2024 CET.