Not registered as user yet

Name:Adrien Durier
Affiliation:Max Planck Institute for Security and Privacy (MPI-SP)

Contributions

PriSC 2022 Author of SecurePtrs: Proving Secure Compilation with Data-Flow Back-Translation and Turn-Taking Simulation within the PriSC 2022-track