PriSC-23

  • 21st Jan 2022

Blame-Preserving Secure Compilation

Marco Patrignani, Matthis Kruse

ACM SIGPLAN Workshop on Principles of Secure Compilation, 2023

CitePDF