Matteo Busi

25 papers A 4B 1Misc 2Journal 9Unranked 8
YearRankTypeTitle / Venue / Authors
2026 — conf
When Obfuscations Preserve Constant-Time.
Languages, Compilers, Analysis
Matteo Busi, Pierpaolo Degano, Letterio Galletta
2025 — conf
Automated Analysis of Key Management Policies.
ITASEC/SERICS
Matteo Busi, Riccardo Focardi, Sana Gul, Flaminia L. Luccio
2025 A conf
Strands Rocq: Why is a Security Protocol Correct, Mechanically?
CSF
Matteo Busi, Riccardo Focardi, Flaminia L. Luccio
2025 J jnl
Strands Rocq: Why is a Security Protocol Correct, Mechanically?
CoRR
Matteo Busi, Riccardo Focardi, Flaminia L. Luccio
2025 — conf
Work-in-Progress: Optimizing Performance of User Revocation in Cryptographic Access Control with Trusted Execution Environments.
EuroS&P (Workshops)
Ion Andy Ditu, Stefano Berlato, Matteo Busi, Roberto Carbone, Silvio Ranise
2024 A conf
Bridging the Gap: Automated Analysis of Sancus.
CSF
Matteo Busi, Riccardo Focardi, Flaminia L. Luccio
2024 J jnl
Bridging the Gap: Automated Analysis of Sancus.
CoRR
Matteo Busi, Riccardo Focardi, Flaminia L. Luccio
2023 A conf
$\pi_{\mathbf{RA}}$: A $\pi\text{-calculus}$ for Verifying Protocols that Use Remote Attestation.
CSF
Emiel Lanckriet, Matteo Busi, Dominique Devriese
2023 Misc conf
A Recipe for Cost-Effective Secure IoT: the Safe Place Project Case Study.
CSR
Francesco Palmarini, Leonardo Veronese, Matteo Busi, Riccardo Focardi, Flaminia L. Luccio
2022 Misc conf
Towards effective preservation of robust safety properties.
SAC
Matteo Busi, Pierpaolo Degano, Letterio Galletta
2021 B conf
Fully Abstract and Robust Compilation: And How to Reconcile the Two, Abstractly.
APLAS
Carmine Abate, Matteo Busi, Stelios Tsampas
2021 J jnl
Mechanical incrementalization of typing algorithms.
Sci. Comput. Program.
Matteo Busi, Pierpaolo Degano, Letterio Galletta
2021 — —
Secure Compilation All the Way Down.
Matteo Busi
2021 J jnl
Securing Interruptible Enclaved Execution on Small Microprocessors.
ACM Trans. Program. Lang. Syst.
Matteo Busi, Job Noorman, Jo Van Bulck, Letterio Galletta, Pierpaolo Degano, Jan Tobias Mühlberg, Frank Piessens
2020 J jnl
Control-flow Flattening Preserves the Constant-Time Policy (Extended Version).
CoRR
Matteo Busi, Pierpaolo Degano, Letterio Galletta
2020 — conf
Control-flow Flattening Preserves the Constant-Time Policy.
ITASEC
Matteo Busi, Pierpaolo Degano, Letterio Galletta
2020 A conf
Provably Secure Isolation for Interruptible Enclaved Execution on Small Microprocessors.
CSF
Matteo Busi, Job Noorman, Jo Van Bulck, Letterio Galletta, Pierpaolo Degano, Jan Tobias Mühlberg, Frank Piessens
2020 J jnl
Provably Secure Isolation for Interruptible Enclaved Execution on Small Microprocessors: Extended Version.
CoRR
Matteo Busi, Job Noorman, Jo Van Bulck, Letterio Galletta, Pierpaolo Degano, Jan Tobias Mühlberg, Frank Piessens
2020 J jnl
The Fox and the Hound: Comparing Fully Abstract and Robust Compilation.
CoRR
Carmine Abate, Matteo Busi
2019 — conf
A Brief Tour of Formally Secure Compilation.
ITASEC
Matteo Busi, Letterio Galletta
2019 — conf
Robust Declassification by Incremental Typing.
Foundations of Security, Protocols, and Equational Reasoning
Matteo Busi, Pierpaolo Degano, Letterio Galletta
2019 J jnl
Translation Validation for Security Properties.
CoRR
Matteo Busi, Pierpaolo Degano, Letterio Galletta
2019 — conf
Using Standard Typing Algorithms Incrementally.
NFM
Matteo Busi, Pierpaolo Degano, Letterio Galletta
2018 J jnl
Using Standard Typing Algorithms Incrementally.
CoRR
Matteo Busi, Pierpaolo Degano, Letterio Galletta
2016 — conf
A Semantics for Disciplined Concurrency in COP.
ICTCS
Matteo Busi, Pierpaolo Degano, Letterio Galletta