Matteo BUSI

Position
Researcher
E-mail
matteo.busi@unive.it
Scientific sector (SSD)
Informatica [INFO-01/A]
Website
www.unive.it/people/matteo.busi (personal record)
Office
Department of Environmental Sciences, Informatics and Statistics
Website: https://www.unive.it/dep.dais
Where: Campus scientifico via Torino
Room: office Assegnisti B3 (Zeta B building)

M. Busi, R. Focardi, F. Luccio Bridging the Gap: Automated Analysis of Sancus , 37th IEEE Computer Security Foundations Symposium, IEEE, pp. 233-248, Convegno: 37th IEEE Computer Security Foundations Symposium, July 8-12, 2024 (ISBN 979-8-3503-6203-9)
- URL correlato 2024, Article in Conference Proceedings - ARCA card: 10278/5044629


Matteo Busi; Pierpaolo Degano; Letterio Galletta When Obfuscations Preserve Cryptographic Constant-Time , Workshop on Principles of Secure Compilation, No editor, Convegno: Workshop on Principles of Secure Compilation, 20/01/2024
2024, Abstract in Atti di convegno - ARCA card: 10278/5046843


Lanckriet, Emiel; Busi, Matteo; Devriese, Dominique $\pi_{\mathbf{RA}}$: A $\pi\text{-calculus}$ for Verifying Protocols that Use Remote Attestation , 2023 IEEE 36th Computer Security Foundations Symposium (CSF), IEEE, pp. 537-551, Convegno: IEEE Computer Security Foundations Symposium (CSF), 09-13/07/2023 (ISBN 979-8-3503-2192-0)
DOI 2023, Article in Conference Proceedings - ARCA card: 10278/5034714


Francesco Palmarini, Leonardo Veronese, Matteo Busi, Riccardo Focardi, Flaminia Luccio A Recipe for Cost-Effective Secure IoT: the SAFE PLACE Project Case Study , 2023 IEEE International Conference on Cyber Security and Resilience, IEEE, pp. 99-104, Convegno: 2023 IEEE International Conference on Cyber Security and Resilience (IEEE CSR 23), July 31 - August 2, 2023
DOI 2023, Article in Conference Proceedings - ARCA card: 10278/5021702


Matteo Busi, Riccardo Focardi, Flaminia Luccio Automated Learning and Verification of Embedded Security Architectures , Workshop on Principles of Secure Compilation, No editor, Convegno: Workshop on Principles of Secure Compilation (PRISC'23), colocated with the 50th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2023)., Sun 15 - Sat 21 January 2023
2023, Abstract in Atti di convegno - ARCA card: 10278/5021701