3 citations · 5 across the 5 of their papers we have counts for
5 papers
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…
Translation Validation for Security Properties
Matteo Busi, Pierpaolo Degano, Letterio Galletta
Secure compilation aims to build compilation chains that preserve security properties when translating programs from a source to a target language. Recent research led to the defin…
Using Standard Typing Algorithms Incrementally
Matteo Busi, Pierpaolo Degano, Letterio Galletta
Modern languages are equipped with static type checking/inference that helps programmers to keep a clean programming style and to reduce errors. However, the ever-growing size of p…