Follow
Matteo Busi
Title
Cited by
Cited by
Year
Provably Secure Isolation for Interruptible Enclaved Execution on Small Microprocessors
M Busi, J Noorman, J Van Bulck, L Galletta, P Degano, JT Mühlberg, ...
33rd IEEE CSF, 2020
312020
Securing interruptible enclaved execution on small microprocessors
M Busi, J Noorman, J Van Bulck, L Galletta, P Degano, JT Mühlberg, ...
ACM Transactions on Programming Languages and Systems (TOPLAS) 43 (3), 1-77, 2021
72021
Using standard typing algorithms incrementally
M Busi, P Degano, L Galletta
NASA Formal Methods Symposium, 106-122, 2019
72019
Fully abstract and robust compilation: and how to reconcile the two, abstractly
C Abate, M Busi, S Tsampas
Programming Languages and Systems: 19th Asian Symposium, APLAS 2021, Chicago …, 2021
62021
Towards effective preservation of robust safety properties
M Busi, P Degano, L Galletta
Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing, 1674-1683, 2022
5*2022
A Brief Tour of Formally Secure Compilation
M Busi, L Galletta
3rd Italian Conference on Cybersecurity ITASEC, 2019
52019
A Semantics for Disciplined Concurrency in COP
M Busi, P Degano, L Galletta
ICTCS, 177-189, 2016
22016
Secure Compilation All the Way Down
M Busi
Università di Pisa, 2021
12021
Control-flow Flattening Preserves the Constant-Time Policy
M Busi, P Degano, L Galletta
4th Italian Conference on Cybersecurity ITASEC, 2020
1*2020
Robust Declassification by Incremental Typing
M Busi, P Degano, L Galletta
Foundations of Security, Protocols, and Equational Reasoning: Essays …, 2019
12019
When Obfuscations Preserve Cryptographic Constant-Time
M Busi, P Degano, L Galletta
Workshop on Principles of Secure Compilation, 2024
2024
Bridging the Gap: Automated Analysis of Sancus
M Busi, R Focardi, F Luccio
37th IEEE Computer Security Foundations Symposium, 2024
2024
A Recipe for Cost-Effective Secure IoT: the Safe Place Project Case Study
F Palmarini, L Veronese, M Busi, R Focardi, F Luccio
2023 IEEE International Conference on Cyber Security and Resilience (CSR …, 2023
2023
pi_RA: A pi-calculus for Verifying Protocols that Use Remote Attestation
E Lanckriet, M Busi, D Devriese
2023 2023 IEEE 36th Computer Security Foundations Symposium (CSF)(CSF), 284-298, 2023
2023
Don't Get Stranded: Secure and Dynamic Key Management Policies with Strand Spaces
M Busi, R Focardi, F Luccio
Workshop on Foundations of Computer Security (FCS23), 2023
2023
Automated Learning and Verification of Embedded Security Architectures
M Busi, R Focardi, F Luccio
Workshop on Principles of Secure Compilation, 2023
2023
Mechanical incrementalization of typing algorithms
M Busi, P Degano, L Galletta
Science of Computer Programming 208, 102657, 2021
2021
The Fox and the Hound: Comparing Fully Abstract and Robust Compilation.
C Abate, M Busi
CoRR, 2020
2020
Securing Interruptible Enclaves
M Busi, J Noorman, J Van Bulck, L Galletta, P Degano, JT Mühlberg, ...
Workshop on Principles of Secure Compilation 2020, 2020
2020
Four semantics for a disciplined concurrency in COP
M Busi
2017
The system can't perform the operation now. Try again later.
Articles 1–20