MPI-SWS researcher receives CSF 2019 Distinguished Paper Award

MPI-SWS faculty member Deepak Garg, along with his external collaborators Carmine Abate, Roberto Blanco, Catalin Hritcu, Marco Patrignani and Jérémy Thibault, has been awarded a Distinguished Paper Award at the 2019 IEEE Computer Security Foundations Symposium (CSF 2019). Their paper is titled „Journey Beyond Full Abstraction: Exploring Robust Property Preservation for Secure Compilation“.