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