Roberto Blanco and Catalin Hritcu are qualified to endorse.
SecurePtrs: Proving Secure Compilation with Data-Flow Back-Translation and Turn-Taking Simulation
Akram El-Korashy: | Is registered as an author of this paper. Not currently an endorser. (why?) |
Roberto Blanco: | Is registered as an author of this paper. Can endorse for cs.CR. (why?) |
Catalin Hritcu: | Is registered as an author of this paper. Can endorse for cs.CR, cs.PL. (why?) |
Jérémy Thibault, Adrien Durier and Deepak Garg are not registered as owners of this paper. (why?)