Alvise Rabitti

Publication Activity (10 Years)

Years Active: 2015-2023
Publications (10 Years): 16

Top Topics

Machine Learning

Formal Analysis

Top Venues

USENIX Security Symposium

Publications

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