RABITTI, Alvise
RABITTI, Alvise
A hard lesson: Assessing the HTTPS deployment of Italian university websites
2020-01-01 Calzavara, S.; Focardi, R.; Rabitti, A.; Soligo, L.
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.
CCSP: Controlled relaxation of content security policies by runtime policy composition
2017-01-01 Calzavara, Stefano; Rabitti, Alvise; Bugliesi, Michele
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
Cryptographic Web Applications: from Security Engineering to Formal Analysis
2023-01-01 Bugliesi, Michele; Calzavara, Stefano; Rabitti, Alvise
Dr Cookie and Mr Token - Web session implementations and how to live with them
2018-01-01 Calzavara, Stefano; Rabitti, Alvise; Bugliesi, Michele
Formal verification of Liferay RBAC
2015-01-01 Calzavara, Stefano; Rabitti, Alvise; Bugliesi, Michele
Machine Learning for Web Vulnerability Detection: The Case of Cross-Site Request Forgery
2020-01-01 Calzavara, S.; Conti, M.; Focardi, R.; Rabitti, A.; Tolomei, G.
Measuring Web Session Security at Scale
2021-01-01 Calzavara, S.; Jonker, H.; Krumnow, B.; Rabitti, A.
Mitch: A machine learning approach to the black-box detection of CSRF vulnerabilities
2019-01-01 Calzavara, Stefano; Conti, Mauro; Focardi, Riccardo; Rabitti, Alvise; Tolomei, Gabriele
Postcards from the post-HTTP world: Amplification of HTTPS vulnerabilities in the web ecosystem
2019-01-01 Calzavara, Stefano; Focardi, Riccardo; Nemec, Matus; Rabitti, Alvise; Squarcina, Marco
Semantically Sound Analysis of Content Security Policies
2019-01-01 Calzavara, S.; Rabitti, A.; Bugliesi, M.
Semantics-based analysis of content security policy deployment
2018-01-01 Calzavara, Stefano; Rabitti, Alvise; Bugliesi, Michele
Static Detection of Collusion Attacks in ARBAC-based Workflow Systems
2016-01-01 Calzavara, Stefano; Rabitti, Alvise; Steffinlongo, Enrico; Bugliesi, Michele
Sub-session hijacking on the web: Root causes and prevention
2019-01-01 Calzavara, Stefano; Rabitti, Alvise; Bugliesi, Michele
Testing for Integrity Flaws in Web Sessions
2019-01-01 Calzavara, S.; Rabitti, A.; Ragazzo, A.; Bugliesi, M.
The Security Lottery: Measuring Client-Side Web Security Inconsistencies
2022-01-01 Roth, S.; Calzavara, S.; Wilhelm, M.; Rabitti, A.; Stock, B.
You Call This Archaeology? Evaluating Web Archives for Reproducible Web Security Measurements
2023-01-01 Hantke, F.; Calzavara, S.; Wilhelm, M.; Rabitti, A.; Stock, B.