Matteo Busi
Scholar

Matteo Busi

Google Scholar ID: OaOyNBIAAAAJ
Ca' Foscari University of Venice
Secure CompilationSecurityProgramming LanguagesFormal methods
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
97
 
H-index
5
 
i10-index
3
 
Publications
20
 
Co-authors
12
list available
Contact
Emailmatteo.busi@unive.itCVOpen ↗TwitterOpen ↗GitHubOpen ↗
Publications
1 items
Strands Rocq: Why is a Security Protocol Correct, Mechanically?
2025
Cited
0
Resume
Background
  • Researcher @ Ca’ Foscari University of Venice, Dept. of Environmental Sciences, Informatics and Statistics.
Miscellany
  • CV and papers are accessible via provided links.
Co-authors
8 total
Letterio Galletta
Letterio Galletta
IMT School for Advanced Studies Lucca
Jo Van Bulck
Jo Van Bulck
DistriNet, KU Leuven
Frank Piessens
Frank Piessens
Professor of Computer Science, Katholieke Universiteit Leuven
Jan Tobias Muehlberg
Jan Tobias Muehlberg
Prof. for Embedded Systems Security, Universite Libre de Bruxelles, Belgium
Riccardo Focardi
Riccardo Focardi
DAIS, Ca' Foscari University, Venice
Flaminia LUCCIO
Flaminia LUCCIO
Associate Professor, DAIS, Ca' Foscari University, Venice
Stelios Tsampas
Stelios Tsampas
Assistant Professor
Dominique Devriese
Dominique Devriese
KU Leuven