60 citations · 119 across the 21 of their papers we have counts for
4 papers · 1 filter
Memory Safety Preservation for WebAssembly
Marco Vassena, Marco Patrignani
WebAssembly (Wasm) is a next-generation portable compilation target for deploying applications written in high-level languages on the web. In order to protect their memory from unt…
Universal Composability is Robust Compilation
Marco Patrignani, Robert Künnemann, Riad S. Wahby
This paper discusses the relationship between two frameworks: universal composability (UC) and robust compilation (RC). In cryptography, UC is a framework for the specification and…
Exorcising Spectres with Secure Compilers
Marco Patrignani, Marco Guarnieri
Attackers can access sensitive information of programs by exploiting the side-effects of speculatively-executed instructions using Spectre attacks. To mitigate theses attacks, popu…
Trace-Relating Compiler Correctness and Secure Compilation
Carmine Abate, Roberto Blanco, Stefan Ciobaca +6
Compiler correctness is, in its simplest form, defined as the inclusion of the set of traces of the compiled program into the set of traces of the original program, which is equiva…