Bachelor's Degree Programme in
Linguistic and Cultural Mediation

Linguistic and Cultural Mediation [LT5-21-21]
Enrolled in a.y. 2021/2022

Stefano CALZAVARA

Qualifica
Professore Associato
Incarichi
Componente della Commissione Etica
Telefono
041 234 8463
E-mail
stefano.calzavara@unive.it
SSD
Informatica [INFO-01/A]
Sito web
www.unive.it/persone/stefano.calzavara (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 Z.B13 (edificio Zeta B)
Research Institute
Research Institute for Complexity

Calzavara S.; Cazzaro L.; Pibiri G.E.; Prezza N. Verifiable Learning for Robust Tree Ensembles , CCS 2023 - Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, Association for Computing Machinery, Inc, pp. 1850-1864, Convegno: 30th ACM SIGSAC Conference on Computer and Communications Security, CCS 2023, 2023 (ISBN 9798400700507)
DOI 2023, Articolo in Atti di convegno - Scheda ARCA: 10278/5046160


Calzavara S.; Jonker H.; Krumnow B.; Rabitti A. Measuring Web Session Security at Scale in COMPUTERS & SECURITY, vol. 111, pp. 102472 (ISSN 0167-4048)
DOI 2021, Articolo su rivista - Scheda ARCA: 10278/5004094


Calzavara S.; Roth S.; Rabitti A.; Backes M.; Stock B. A tale of two headers: A formal analysis of inconsistent click-jacking protection on the web , Proceedings of the 29th USENIX Security Symposium, USENIX Association, pp. 683-697, Convegno: 29th USENIX Security Symposium, 2020
2020, Articolo in Atti di convegno - Scheda ARCA: 10278/3731395


Calzavara, Stefano; Rabitti, Alvise; Bugliesi, Michele Semantics-based analysis of content security policy deployment in ACM TRANSACTIONS ON THE WEB, vol. 12, pp. 1-36 (ISSN 1559-1131)
DOI - URL correlato 2018, Articolo su rivista - Scheda ARCA: 10278/3698102


Bugliesi, Michele; Calzavara, Stefano; Eigner, Fabienne; Maffei, Matteo Affine Refinement Types for Secure Distributed Programming in ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, Association for Computing Machinery, vol. 37, pp. 1-66 (ISSN 0164-0925)
DOI - URL correlato 2015, Articolo su rivista - Scheda ARCA: 10278/3661939