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-01-01 Lanckriet, Emiel; Busi, Matteo; Devriese, Dominique
A brief tour of formally secure compilation
2019-01-01 Busi, M.; Galletta, L.
A Recipe for Cost-Effective Secure IoT: the SAFE PLACE Project Case Study
2023-01-01 Palmarini, Francesco; Veronese, Leonardo; Busi, Matteo; Focardi, Riccardo; Luccio, Flaminia
A semantics for disciplined concurrency in COP
2016-01-01 Busi, M.; Degano, P.; Galletta, L.
Automated Learning and Verification of Embedded Security Architectures
2023-01-01 Busi, Matteo; Focardi, Riccardo; Luccio, Flaminia
Bridging the Gap: Automated Analysis of Sancus
2024-01-01 Busi, M.; Focardi, R.; Luccio, F.
Control-flow flattening preserves the constant-time policy
2020-01-01 Busi, M.; Degano, P.; Galletta, L.
Don't Get Stranded: Secure and Dynamic Key Management Policies with Strand Spaces
2023-01-01 Busi, Matteo; Focardi, Riccardo; Luccio, Flaminia
Fully Abstract and Robust Compilation: And How to Reconcile the Two, Abstractly
2021-01-01 Abate, C.; Busi, M.; Tsampas, S.
Mechanical incrementalization of typing algorithms
2021-01-01 Busi, M.; Degano, P.; Galletta, L.
Provably Secure Isolation for Interruptible Enclaved Execution on Small Microprocessors
2020-01-01 Busi, M.; Noorman, J.; Bulck, J. V.; Galletta, L.; Degano, P.; Muhlberg, J. T.; Piessens, F.
Robust Declassification by Incremental Typing
2019-01-01 Busi, M.; Degano, P.; Galletta, L.
Securing Interruptible Enclaved Execution on Small Microprocessors
2021-01-01 Busi, M.; Noorman, J.; Van Bulck, J.; Galletta, L.; Degano, P.; Muhlberg, J. T.; Piessens, F.
Towards effective preservation of robust safety properties
2022-01-01 Busi, M.; Degano, P.; Galletta, L.
Using standard typing algorithms incrementally
2019-01-01 Busi, M.; Degano, P.; Galletta, L.
When Obfuscations Preserve Cryptographic Constant-Time
2024-01-01 Busi, Matteo; Degano, Pierpaolo; Galletta, Letterio