Matteo Busi

According to our database, Matteo Busi authored at least 18 papers between 2016 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Bridging the Gap: Automated Analysis of Sancus.

Matteo Busi, Riccardo Focardi, Flaminia L. Luccio

Proceedings of the 37th IEEE Computer Security Foundations Symposium, 2024

2023

A Recipe for Cost-Effective Secure IoT: the Safe Place Project Case Study.

Francesco Palmarini, Leonardo Veronese, Matteo Busi, Riccardo Focardi, Flaminia L. Luccio

Proceedings of the IEEE International Conference on Cyber Security and Resilience, 2023

$\pi_{\mathbf{RA}}$: A $\pi\text{-calculus}$ for Verifying Protocols that Use Remote Attestation.

Emiel Lanckriet, Matteo Busi, Dominique Devriese

Proceedings of the 36th IEEE Computer Security Foundations Symposium, 2023

2022

Towards effective preservation of robust safety properties.

Matteo Busi, Pierpaolo Degano, Letterio Galletta

Proceedings of the SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, April 25, 2022

2021

Secure Compilation All the Way Down.

Matteo Busi

PhD thesis, 2021

Securing Interruptible Enclaved Execution on Small Microprocessors.

Matteo Busi, Job Noorman, Jo Van Bulck, Letterio Galletta, Pierpaolo Degano, Jan Tobias Mühlberg, Frank Piessens

ACM Trans. Program. Lang. Syst., 2021

Mechanical incrementalization of typing algorithms.

Matteo Busi, Pierpaolo Degano, Letterio Galletta

Sci. Comput. Program., 2021

Fully Abstract and Robust Compilation: And How to Reconcile the Two, Abstractly.

Carmine Abate, Matteo Busi, Stelios Tsampas

Proceedings of the Programming Languages and Systems - 19th Asian Symposium, 2021

2020

The Fox and the Hound: Comparing Fully Abstract and Robust Compilation.

Carmine Abate, Matteo Busi

CoRR, 2020

Control-flow Flattening Preserves the Constant-Time Policy (Extended Version).

Matteo Busi, Pierpaolo Degano, Letterio Galletta

CoRR, 2020

Provably Secure Isolation for Interruptible Enclaved Execution on Small Microprocessors: Extended Version.

Matteo Busi, Job Noorman, Jo Van Bulck, Letterio Galletta, Pierpaolo Degano, Jan Tobias Mühlberg, Frank Piessens

CoRR, 2020

Control-flow Flattening Preserves the Constant-Time Policy.

Matteo Busi, Pierpaolo Degano, Letterio Galletta

Proceedings of the Fourth Italian Conference on Cyber Security, 2020

Provably Secure Isolation for Interruptible Enclaved Execution on Small Microprocessors.

Matteo Busi, Job Noorman, Jo Van Bulck, Letterio Galletta, Pierpaolo Degano, Jan Tobias Mühlberg, Frank Piessens

Proceedings of the 33rd IEEE Computer Security Foundations Symposium, 2020

2019

Translation Validation for Security Properties.

Matteo Busi, Pierpaolo Degano, Letterio Galletta

CoRR, 2019

Using Standard Typing Algorithms Incrementally.

Matteo Busi, Pierpaolo Degano, Letterio Galletta

Proceedings of the NASA Formal Methods - 11th International Symposium, 2019

A Brief Tour of Formally Secure Compilation.

Matteo Busi, Letterio Galletta

Proceedings of the Third Italian Conference on Cyber Security, 2019

Robust Declassification by Incremental Typing.

Matteo Busi, Pierpaolo Degano, Letterio Galletta

Proceedings of the Foundations of Security, Protocols, and Equational Reasoning, 2019

2016

A Semantics for Disciplined Concurrency in COP.

Matteo Busi, Pierpaolo Degano, Letterio Galletta

Proceedings of the 17th Italian Conference on Theoretical Computer Science, 2016