Number of items: 1.
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 Wed Oct 8 19:22:16 2025 CEST.