Nanopass Back-Translation of Call-Return Trees for Mechanized Secure Compilation Proofs.

Jrmy Thibault, Joseph Lenormand, Catalin Hritcu

Browse the full ITP paper archive.