CALZAVARA, Stefano
CALZAVARA, Stefano
Dipartimento di Scienze Ambientali, Informatica e Statistica
A hard lesson: Assessing the HTTPS deployment of Italian university websites
2020 Calzavara, S.; Focardi, R.; Rabitti, A.; Soligo, L.
A Sound Flow-Sensitive Heap Abstraction for the Static Analysis of Android Applications
2017 Calzavara, Stefano; Grishchenko, Ilya; Koutsos, Adrien; Maffei, Matteo
A Supervised Learning Approach to Protect Client Authentication on the Web
2015 Calzavara, Stefano; Tolomei, Gabriele; Casini, Andrea; Bugliesi, Michele; Orlando, Salvatore
A tale of two headers: A formal analysis of inconsistent click-jacking protection on the web
2020 Calzavara, S.; Roth, S.; Rabitti, A.; Backes, M.; Stock, B.
Adversarial training of gradient-boosted decision trees
2019 Calzavara, S.; Lucchese, C.; Tolomei, G.
Affine Refinement Types for Authentication and Authorization
2013 Bugliesi, Michele; Calzavara, Stefano; Fabienne, Eigner; Matteo, Maffei
Affine Refinement Types for Secure Distributed Programming
2015 Bugliesi, Michele; Calzavara, Stefano; Eigner, Fabienne; Maffei, Matteo
AMEBA: An Adaptive Approach to the Black-Box Evasion of Machine Learning Models
2021 Calzavara, S.; Cazzaro, L.; Lucchese, C.
An Empirical Analysis of Web Storage and Its Applications to Web Tracking
2023 Ahmad, Z.; Casarin, S.; Calzavara, S.
Automatic and robust client-side protection for cookie-based sessions
2014 Bugliesi, Michele; Calzavara, Stefano; Focardi, Riccardo; Khan, Wilayat
Behind the Curtain: A Server-Side View of Web Session Security
2025 Bozzolan, S.; Calzavara, S.; Hantke, F.; Stock, B.
Beyond robustness: Resilience verification of tree-based classifiers
2022 Calzavara, S.; Cazzaro, L.; Lucchese, C.; Marcuzzi, F.; Orlando, S.
Bulwark: Holistic and verified security monitoring of web protocols
2020 Veronese, L.; Calzavara, S.; Compagna, L.
Can i take your subdomain? Exploring same-site attacks in the modern web
2021 Squarcina, M.; Tempesta, M.; Veronese, L.; Calzavara, S.; Maffei, M.
CCSP: Controlled relaxation of content security policies by runtime policy composition
2017 Calzavara, Stefano; Rabitti, Alvise; Bugliesi, Michele
Certifying decision trees against evasion attacks by program analysis
2020 Calzavara, S.; Ferrara, P.; Lucchese, C.
Certifying machine learning models against evasion attacks by program analysis
2023 Calzavara, S; Ferrara, P; Lucchese, C
Client Side Web Session Integrity as a Non-Interference Property
2014 Khan, Wilayat; Calzavara, Stefano; Bugliesi, Michele; DE GROEF, W.; Piessens, F.
Complex Security Policy? A Longitudinal Analysis of Deployed Content Security Policies
2020 Roth, S; Barron, T; Calzavara, S; Nikiforakis, N; Stock, B
Compositional Typed Analysis of ARBAC Policies
2015 Calzavara, Stefano; Rabitti, Alvise; Bugliesi, Michele