Not registered as user yet

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

Contributions

PriSC 2022 SecurePtrs: Proving Secure Compilation with Data-Flow Back-Translation and Turn-Taking Simulation
Show activities from other conferences

POPL 2022-profile
View general profile