Sfoglia per Autore RABITTI, ALVISE
Compositional Typed Analysis of ARBAC Policies
2015-01-01 Calzavara, Stefano; Rabitti, Alvise; Bugliesi, Michele
Formal verification of Liferay RBAC
2015-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
Content Security Problems? Evaluating the Effectiveness of Content Security Policy in the Wild
2016-01-01 Calzavara, Stefano; Rabitti, Alvise; Bugliesi, Michele
CCSP: Controlled relaxation of content security policies by runtime policy composition
2017-01-01 Calzavara, Stefano; Rabitti, Alvise; Bugliesi, Michele
Semantics-based analysis of content security policy deployment
2018-01-01 Calzavara, Stefano; Rabitti, Alvise; Bugliesi, Michele
Dr Cookie and Mr Token - Web session implementations and how to live with them
2018-01-01 Calzavara, Stefano; Rabitti, Alvise; Bugliesi, Michele
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
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
Testing for Integrity Flaws in Web Sessions
2019-01-01 Calzavara, S.; Rabitti, A.; Ragazzo, A.; Bugliesi, M.
Semantically Sound Analysis of Content Security Policies
2019-01-01 Calzavara, S.; Rabitti, A.; Bugliesi, M.
Sub-session hijacking on the web: Root causes and prevention
2019-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.
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.
Measuring Web Session Security at Scale
2021-01-01 Calzavara, S.; Jonker, H.; Krumnow, B.; Rabitti, A.
Cryptographic Web Applications: from Security Engineering to Formal Analysis
2022-01-01 Bugliesi, Michele; Calzavara, Stefano; Rabitti, Alvise
The Security Lottery: Measuring Client-Side Web Security Inconsistencies
2022-01-01 Roth, S.; Calzavara, S.; Wilhelm, M.; Rabitti, A.; Stock, B.
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile