POPL-2418th Jul 2022Secure Composition of Robust and Optimising CompilersMatthis Kruse, Michael Backes, Marco PatrignaniArxiv, 2024CitePDF