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

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

25 March 2025

Jérémy Thibault

Joseph Lenormand

Cătălin Hriţcu

Papers citing "Nanopass Back-Translation of Call-Return Trees for Mechanized Secure Compilation Proofs"

Title
No papers