3 citations · 5 across the 5 of their papers we have counts for
3 papers · 1 filter
Fully Abstract and Robust Compilation and How to Reconcile the Two, Abstractly
Carmine Abate, Matteo Busi, Stelios Tsampas
The most prominent formal criterion for secure compilation is full abstraction, the preservation and reflection of contextual equivalence. Recent work introduced robust compilation…
Control-flow Flattening Preserves the Constant-Time Policy (Extended Version)
Matteo Busi, Pierpaolo Degano, Letterio Galletta
Obfuscating compilers protect a software by obscuring its meaning and impeding the reconstruction of its original source code. The typical concern when defining such compilers is t…
Provably Secure Isolation for Interruptible Enclaved Execution on Small Microprocessors: Extended Version
Matteo Busi, Job Noorman, Jo Van Bulck +4
Computer systems often provide hardware support for isolation mechanisms like privilege levels, virtual memory, or enclaved execution. Over the past years, several successful softw…