Matteo BUSI

Qualifica
Ricercatore
E-mail
matteo.busi@unive.it
SSD
Informatica [INFO-01/A]
Sito web
https://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)

Didattica anno corrente

DIGITAL MANAGEMENT [ET7]
Laurea

DIGITAL MANAGEMENT [ETR7]
Laurea

Didattica anni precedenti

INFORMATICA [R320]
Corso di Dottorato (D.M.226/2021)

Attività e competenze di ricerca

Pubblicazioni in evidenza

Busi, Matteo; Focardi, Riccardo; Guttman, Joshua; Luccio, Flaminia Partial order semantics and operational semantics for strand spaces, via Rocq in THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, vol. 152 (ISSN 2352-2208)
DOI 2027, Articolo su rivista - Scheda ARCA: 10278/5126947


Bramante, Salvatore; Busi, Matteo; Cilardo, Alessandro; Focardi, Riccardo; Luccio, Flaminia; Mazzocca, Nicola; Vitale, Francesco Security Auditing for RISC-V SoCs via Process Mining , ARES 2026 EU Projects Symposium Workshops., LNCS, pp. 589-604, Convegno: ARES 2026 EU Projects Symposium Workshops., August 24-27, 2026 (ISBN 9783032372178; 9783032372185) (ISSN 0302-9743)
DOI 2027, Articolo in Atti di convegno - Scheda ARCA: 10278/5124808


Matteo Busi; Pierpaolo Degano; Letterio Galletta When Obfuscations Preserve Cryptographic Constant-Time , Languages, Compilers, Analysis - From Beautiful Theory to Useful Practice, No editor, Convegno: Symposium and festschrift to celebrate the work of Prof. Alan Mycroft (ISSN 0302-9743)
DOI 2026, Articolo in Atti di convegno - Scheda ARCA: 10278/5046843


Salvatore Bramante, Matteo Busi, Alessandro Cilardo, Riccardo Focardi, Flaminia Luccio , Stefano Mercogliano A Formally Verified Secure Caching Mechanism on TrustZone-enabled Microcontrollers , Proceedings of Design, Automation and Test in Europe Conference (DATE'26), IEEE, pp. 1-3, Convegno: Design, Automation and Test in Europe Conference (DATE'26)
DOI 2026, Abstract in Atti di convegno - Scheda ARCA: 10278/5113527


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


Tutte le pubblicazioni

Curriculum vitae

 

cafoscariNEWS