Matteo BUSI

Qualifica
Ricercatore
E-mail
matteo.busi@unive.it
SSD
Informatica [INFO-01/A]
Sito web
www.unive.it/persone/matteo.busi (scheda personale)
Struttura
Dipartimento di Scienze Ambientali, Informatica e Statistica
Sito web struttura: https://www.unive.it/dais
Sede: Campus scientifico via Torino
Stanza: studio Assegnisti B3 (edificio Zeta B)

Matteo Busi; Riccardo Focardi; Sana Gul; Flaminia L. Luccio Automated Analysis of Key Management Policies , Joint National Conference on Cybersecurity (ITASEC & SERICS 2025), CEUR, vol. 3962, Convegno: Joint National Conference on Cybersecurity (ITASEC & SERICS 2025), February 3-8, 2025
- URL correlato 2025, Articolo in Atti di convegno - Scheda ARCA: 10278/5094691


Matteo Busi; Riccardo Focardi; Flaminia L. Luccio Strands Rocq: Why is a Security Protocol Correct, Mechanically? , CSF 2025 – 38th IEEE Computer Security Foundations Symposium, IEEE, Convegno: CSF 2025 – 38th IEEE Computer Security Foundations Symposium, June 16-20, 2025
2025, Articolo in Atti di convegno - Scheda ARCA: 10278/5094692


Ditu, Ion Andy; Berlato, Stefano; Busi, Matteo; Carbone, Roberto; Ranise, Silvio Work-in-Progress: Optimizing Performance of User Revocation in Cryptographic Access Control with Trusted Execution Environments , 2025 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW), IEEE, pp. 613-618, Convegno: Workshop on Operating Systems and Virtualization Security
DOI 2025, Articolo in Atti di convegno - Scheda ARCA: 10278/5103012


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, Articolo in Atti di convegno - Scheda ARCA: 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 - Scheda ARCA: 10278/5046843