Akram El-Korashy

Registered user since Wed 12 Jan 2022

Name:Akram El-Korashy
Affiliation:Max Planck Institute for Software Systems (MPI-SWS)

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