POPL-24

  • 18th Jul 2022

Secure Composition of Robust and Optimising Compilers

Matthis Kruse, Michael Backes, Marco Patrignani

Arxiv, 2024