BUSI, Matteo
BUSI, Matteo
Dipartimento di Scienze Ambientali, Informatica e Statistica
$\pi_{\mathbf{RA}}$: A $\pi\text{-calculus}$ for Verifying Protocols that Use Remote Attestation
2023 Lanckriet, Emiel; Busi, Matteo; Devriese, Dominique
A brief tour of formally secure compilation
2019 Busi, M.; Galletta, L.
A Recipe for Cost-Effective Secure IoT: the SAFE PLACE Project Case Study
2023 Palmarini, Francesco; Veronese, Leonardo; Busi, Matteo; Focardi, Riccardo; Luccio, Flaminia
A semantics for disciplined concurrency in COP
2016 Busi, M.; Degano, P.; Galletta, L.
Automated Analysis of Key Management Policies
2025 Busi, Matteo; Focardi, Riccardo; Gul, Sana; Luccio, Flaminia L.
Automated Learning and Verification of Embedded Security Architectures
2023 Busi, Matteo; Focardi, Riccardo; Luccio, Flaminia
Bridging the Gap: Automated Analysis of Sancus
2024 Busi, M.; Focardi, R.; Luccio, F.
Control-flow flattening preserves the constant-time policy
2020 Busi, M.; Degano, P.; Galletta, L.
Don't Get Stranded: Secure and Dynamic Key Management Policies with Strand Spaces
2023 Busi, Matteo; Focardi, Riccardo; Luccio, Flaminia
Fully Abstract and Robust Compilation: And How to Reconcile the Two, Abstractly
2021 Abate, C.; Busi, M.; Tsampas, S.
Mechanical incrementalization of typing algorithms
2021 Busi, M.; Degano, P.; Galletta, L.
Provably Secure Isolation for Interruptible Enclaved Execution on Small Microprocessors
2020 Busi, M.; Noorman, J.; Bulck, J. V.; Galletta, L.; Degano, P.; Muhlberg, J. T.; Piessens, F.
Robust Declassification by Incremental Typing
2019 Busi, M.; Degano, P.; Galletta, L.
Securing Interruptible Enclaved Execution on Small Microprocessors
2021 Busi, M.; Noorman, J.; Van Bulck, J.; Galletta, L.; Degano, P.; Muhlberg, J. T.; Piessens, F.
Strands Rocq: Why is a Security Protocol Correct, Mechanically?
2025 Busi, Matteo; Focardi, Riccardo; Luccio, Flaminia L.
Towards effective preservation of robust safety properties
2022 Busi, M.; Degano, P.; Galletta, L.
Using standard typing algorithms incrementally
2019 Busi, M.; Degano, P.; Galletta, L.
When Obfuscations Preserve Cryptographic Constant-Time
2024 Busi, Matteo; Degano, Pierpaolo; Galletta, Letterio
Work-in-Progress: Optimizing Performance of User Revocation in Cryptographic Access Control with Trusted Execution Environments
2025 Ditu, Ion Andy; Berlato, Stefano; Busi, Matteo; Carbone, Roberto; Ranise, Silvio