Search Results for author: Roberto Blanco

Found 1 papers, 1 papers with code

Journey Beyond Full Abstraction: Exploring Robust Property Preservation for Secure Compilation

1 code implementation12 Jul 2018 Carmine Abate, Roberto Blanco, Deepak Garg, Catalin Hritcu, Marco Patrignani, Jérémy Thibault

However, while research in this area has so far focused on preserving observational equivalence, as needed for achieving full abstraction, there is a much larger space of security properties one can choose to preserve against linked adversarial code.

Programming Languages Cryptography and Security

Cannot find the paper you are looking for? You can Submit a new open access paper.