Volgen
Alvise Rabitti
Alvise Rabitti
security researcher, Università Ca'Foscari Venezia
Geverifieerd e-mailadres voor unive.it
Titel
Geciteerd door
Geciteerd door
Jaar
Content security problems? evaluating the effectiveness of content security policy in the wild
S Calzavara, A Rabitti, M Bugliesi
Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications …, 2016
762016
Semantics-based analysis of content security policy deployment
S Calzavara, A Rabitti, M Bugliesi
ACM Transactions on the Web (TWEB) 12 (2), 1-36, 2018
522018
Mitch: A machine learning approach to the black-box detection of CSRF vulnerabilities
S Calzavara, M Conti, R Focardi, A Rabitti, G Tolomei
2019 IEEE European Symposium on Security and Privacy (EuroS&P), 528-543, 2019
462019
Postcards from the post-http world: Amplification of https vulnerabilities in the web ecosystem
S Calzavara, R Focardi, M Nemec, A Rabitti, M Squarcina
2019 IEEE Symposium on Security and Privacy (SP), 281-298, 2019
382019
A Tale of Two Headers: A Formal Analysis of Inconsistent {Click-Jacking} Protection on the Web
S Calzavara, S Roth, A Rabitti, M Backes, B Stock
29th USENIX Security Symposium (USENIX Security 20), 683-697, 2020
292020
Machine learning for web vulnerability detection: the case of cross-site request forgery
S Calzavara, M Conti, R Focardi, A Rabitti, G Tolomei
IEEE Security & Privacy 18 (3), 8-16, 2020
222020
Testing for integrity flaws in web sessions
S Calzavara, A Rabitti, A Ragazzo, M Bugliesi
Computer Security–ESORICS 2019: 24th European Symposium on Research in …, 2019
222019
Sub-session hijacking on the web: Root causes and prevention
S Calzavara, A Rabitti, M Bugliesi
Journal of Computer Security 27 (2), 233-257, 2019
172019
The Security Lottery: Measuring {Client-Side} Web Security Inconsistencies
S Roth, S Calzavara, M Wilhelm, A Rabitti, B Stock
31st USENIX Security Symposium (USENIX Security 22), 2047-2064, 2022
162022
{CCSP}: Controlled Relaxation of Content Security Policies by Runtime Policy Composition
S Calzavara, A Rabitti, M Bugliesi
26th USENIX Security Symposium (USENIX Security 17), 695-712, 2017
142017
Compositional typed analysis of ARBAC policies
S Calzavara, A Rabitti, M Bugliesi
2015 IEEE 28th Computer Security Foundations Symposium, 33-45, 2015
92015
Dr Cookie and Mr Token-Web Session Implementations and How to Live with Them.
S Calzavara, A Rabitti, M Bugliesi
ITASEC, 2018
62018
Static detection of collusion attacks in ARBAC-based workflow systems
S Calzavara, A Rabitti, E Steffinlongo, M Bugliesi
2016 IEEE 29th Computer Security Foundations Symposium (CSF), 458-470, 2016
62016
Measuring web session security at scale
S Calzavara, H Jonker, B Krumnow, A Rabitti
Computers & Security 111, 102472, 2021
52021
Formal verification of Liferay RBAC
S Calzavara, A Rabitti, M Bugliesi
Engineering Secure Software and Systems: 7th International Symposium, ESSoS …, 2015
32015
A hard lesson: Assessing the HTTPS deployment of Italian university websites
S Calzavara, R Focardi, A Rabitti, L Soligo
CEUR WORKSHOP PROCEEDINGS 2597, 93-104, 2020
22020
You Call This Archaeology? Evaluating Web Archives for Reproducible Web Security Measurements
F Hantke, S Calzavara, M Wilhelm, A Rabitti, B Stock
Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications …, 2023
12023
6 Cryptographic Web Applications: from
M Bugliesi, S Calzavara, A Rabitti
Handbook of Formal Analysis and Verification in Cryptography, 275, 2023
2023
Cryptographic Web Applications: from Security Engineering to Formal Analysis
M Bugliesi, S Calzavara, A Rabitti
Handbook of Formal Analysis and Verification in Cryptography, 275-318, 2022
2022
Semantically Sound Analysis of Content Security Policies
S Calzavara, A Rabitti, M Bugliesi
Formal Techniques for Distributed Objects, Components, and Systems: 39th …, 2019
2019
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20