PriSC-22

Composing Secure Compilers

Matthis Kruse, Marco Patrignani

ACM SIGPLAN Workshop on Principles of Secure Compilation, 2022