- Web Security
- Machine Learning
- Formal Methods
- +۴ مورد دیگر
Stefano CALZAVARA is an Associate Professor at the Department of Environmental Sciences, Computer Science and Statistics, Ca' Foscari University of Venice. His expertise spans web security, machine learning, and formal methods. He holds a Ph.D. in Computer Science from his alma mater, following a B.A. and M.A. in the same field. His research focuses on secure web protocols, vulnerability detection, and adversarial machine learning. He teaches courses like Web Security and Computability, and contributes to the Research Institute for Complexity Communications. Notable work includes verifying tree ensembles against evasion attacks and analyzing web session security at scale. Education: Ph.D. Computer Science, Ca' Foscari University of Venice (2010-2012) M.A. Computer Science, Ca' Foscari University of Venice (2007-2009) B.A. Computer Science, Ca' Foscari University of Venice (2004-2007) Research Interests: Web security, including session integrity and content policies Machine learning robustness and certification Formal methods for protocol verification Adversarial attacks and defenses Recent Articles Trends: His recent work emphasizes securing machine learning models against adversarial attacks, formal verification of web protocols, and empirical analysis of web storage vulnerabilities. Publications appear in top venues like ACM CCS and IEEE Security Symposiums. Awards: None explicitly listed. Advising & Grants: Postdoctoral research at Ca' Foscari (2013-2015) and Saarland University (2015). Active in teaching and ethical research governance as an Ethics Commission member. Labs/Teams: Part of the Research Institute for Complexity Communications, focusing on interdisciplinary security challenges.




