Stefano Calzavara
Scholar

Stefano Calzavara

Google Scholar ID: hje68Y4AAAAJ
Università Ca' Foscari Venezia
Formal methodsStatic analysisWeb security
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
1,257
 
H-index
20
 
i10-index
31
 
Publications
20
 
Co-authors
14
list available
Contact
Emailstefano.calzavara@unive.it
Publications
2 items
LLM-Assisted Web Measurements
2025
Cited
0
Timber! Poisoning Decision Trees
arXiv.org · 2024
Cited
0
Resume (English only)
Academic Achievements
  • Several papers accepted and published in journals and conferences such as CoSe, USENIX Security, JCS, etc.
Research Experience
  • Currently an Associate Professor in Computer Science at Università Ca’ Foscari Venezia. His research areas include formal methods, software security, and their intersection.
Education
  • PhD, Università Ca' Foscari Venezia
Background
  • Associate Professor in Computer Science at Università Ca’ Foscari Venezia, Italy. His research focuses on formal methods, software security and their intersection. Current topics of interest include web security, language-based security, and adversarial machine learning. He has also worked on access control and mobile security in the past.
Miscellany
  • Contact: stefano.calzavara@unive.it
Co-authors
14 total
Michele Bugliesi
Michele Bugliesi
Professor of Computer Science, Universita' Ca' Foscari Venezia
Co-author 2
Co-author 2
Riccardo Focardi
Riccardo Focardi
DAIS, Ca' Foscari University, Venice
Matteo Maffei
Matteo Maffei
Full Professor at TU Wien, Co-Director TU Wien Cybersecurity Center
Co-author 5
Co-author 5
Co-author 6
Co-author 6
Gabriele Tolomei
Gabriele Tolomei
Associate Professor of Computer Science at Sapienza University of Rome
Co-author 8
Co-author 8