Alvise Rabitti

19 papers A* 6A 3C 1Journal 4Unranked 4
YearRankTypeTitle / Venue / Authors
2023 — ch.
Cryptographic Web Applications: from Security Engineering to Formal Analysis.
Handb. Formal Anal. Verification Cryptogr.
Michele Bugliesi, Stefano Calzavara, Alvise Rabitti
2023 A* conf
You Call This Archaeology? Evaluating Web Archives for Reproducible Web Security Measurements.
CCS
Florian Hantke, Stefano Calzavara, Moritz Wilhelm, Alvise Rabitti, Ben Stock
2022 A* conf
The Security Lottery: Measuring Client-Side Web Security Inconsistencies.
USENIX Security Symposium
Sebastian Roth, Stefano Calzavara, Moritz Wilhelm, Alvise Rabitti, Ben Stock
2021 J jnl
Measuring Web Session Security at Scale.
Comput. Secur.
Stefano Calzavara, Hugo Jonker, Benjamin Krumnow, Alvise Rabitti
2020 — conf
A Hard Lesson: Assessing the HTTPS Deployment of Italian University Websites.
ITASEC
Stefano Calzavara, Riccardo Focardi, Alvise Rabitti, Lorenzo Soligo
2020 A* conf
A Tale of Two Headers: A Formal Analysis of Inconsistent Click-Jacking Protection on the Web.
USENIX Security Symposium
Stefano Calzavara, Sebastian Roth, Alvise Rabitti, Michael Backes, Ben Stock
2020 J jnl
Machine Learning for Web Vulnerability Detection: The Case of Cross-Site Request Forgery.
IEEE Secur. Priv.
Stefano Calzavara, Mauro Conti, Riccardo Focardi, Alvise Rabitti, Gabriele Tolomei
2019 A conf
Mitch: A Machine Learning Approach to the Black-Box Detection of CSRF Vulnerabilities.
EuroS&P
Stefano Calzavara, Mauro Conti, Riccardo Focardi, Alvise Rabitti, Gabriele Tolomei
2019 A* conf
Postcards from the Post-HTTP World: Amplification of HTTPS Vulnerabilities in the Web Ecosystem.
IEEE Symposium on Security and Privacy
Stefano Calzavara, Riccardo Focardi, Matús Nemec, Alvise Rabitti, Marco Squarcina
2019 C conf
Semantically Sound Analysis of Content Security Policies.
FORTE
Stefano Calzavara, Alvise Rabitti, Michele Bugliesi
2019 J jnl
Sub-session hijacking on the web: Root causes and prevention.
J. Comput. Secur.
Stefano Calzavara, Alvise Rabitti, Michele Bugliesi
2019 — conf
Testing for Integrity Flaws in Web Sessions.
ESORICS (2)
Stefano Calzavara, Alvise Rabitti, Alessio Ragazzo, Michele Bugliesi
2018 — conf
Dr Cookie and Mr Token - Web Session Implementations and How to Live with Them.
ITASEC
Stefano Calzavara, Alvise Rabitti, Michele Bugliesi
2018 J jnl
Semantics-Based Analysis of Content Security Policy Deployment.
ACM Trans. Web
Stefano Calzavara, Alvise Rabitti, Michele Bugliesi
2017 A* conf
CCSP: Controlled Relaxation of Content Security Policies by Runtime Policy Composition.
USENIX Security Symposium
Stefano Calzavara, Alvise Rabitti, Michele Bugliesi
2016 A* conf
Content Security Problems?: Evaluating the Effectiveness of Content Security Policy in the Wild.
CCS
Stefano Calzavara, Alvise Rabitti, Michele Bugliesi
2016 A conf
Static Detection of Collusion Attacks in ARBAC-Based Workflow Systems.
CSF
Stefano Calzavara, Alvise Rabitti, Enrico Steffinlongo, Michele Bugliesi
2015 A conf
Compositional Typed Analysis of ARBAC Policies.
CSF
Stefano Calzavara, Alvise Rabitti, Michele Bugliesi
2015 — conf
Formal Verification of Liferay RBAC.
ESSoS
Stefano Calzavara, Alvise Rabitti, Michele Bugliesi