Secure Compilation (Dagstuhl Seminar 21481)

David Chisnall, Deepak Garg 0001, Catalin Hritcu, Mathias Payer. Secure Compilation (Dagstuhl Seminar 21481). Dagstuhl Reports, 11(10):173-204, 2021. [doi]

Abstract

Abstract is missing.