Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                

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?)