Search filters

List of works by Marco Patrignani

An Extended Account of Trace-relating Compiler Correctness and Secure Compilation

scientific article published in 2021

Formal Approaches to Secure Compilation

scholarly article

MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code

scientific article published on 11 January 2023

Universal Composability is Robust Compilation

scientific article published on 10 October 2024

Paulina is supported by:

About Paulina

Help