Sfoglia per Autore
Security protocol specification and verification with AnBx
2016-01-01 Bugliesi, Michele; Calzavara, Stefano; Mödersheim, Sebastian; Modesti, Paolo
Formal methods for web security
2017-01-01 Bugliesi, Michele; Calzavara, Stefano; Focardi, Riccardo
CCSP: Controlled relaxation of content security policies by runtime policy composition
2017-01-01 Calzavara, Stefano; Rabitti, Alvise; Bugliesi, Michele
A Sound Flow-Sensitive Heap Abstraction for the Static Analysis of Android Applications
2017-01-01 Calzavara, Stefano; Grishchenko, Ilya; Koutsos, Adrien; Maffei, Matteo
Surviving the Web: A Journey into Web Session Security
2017-01-01 Calzavara, Stefano; Focardi, Riccardo; Squarcina, Marco; Tempesta, Mauro
Surviving the Web: A Journey into Web Session Security
2018-01-01 Calzavara, S.; Focardi, R.; Squarcina, M.; Tempesta, M.
WPSE: Fortifying Web Protocols via Browser-Side Security Monitoring
2018-01-01 Calzavara, Stefano; Focardi, Riccardo; Maffei, Matteo; Schneidewind, Clara; Squarcina, Marco; Tempesta, Mauro
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
Adversarial training of gradient-boosted decision trees
2019-01-01 Calzavara, S.; Lucchese, C.; Tolomei, G.
Semantically Sound Analysis of Content Security Policies
2019-01-01 Calzavara, S.; Rabitti, A.; Bugliesi, M.
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.
Sub-session hijacking on the web: Root causes and prevention
2019-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
Language-Based Web Session Integrity
2020-01-01 Calzavara, S.; Focardi, R.; Grimm, N.; Maffei, M.; Tempesta, M.
Bulwark: Holistic and verified security monitoring of web protocols
2020-01-01 Veronese, L.; Calzavara, S.; Compagna, L.
Treant: training evasion-aware decision trees
2020-01-01 Calzavara, S.; Lucchese, C.; Tolomei, G.; Abebe, S. A.; Orlando, S.
A hard lesson: Assessing the HTTPS deployment of Italian university websites
2020-01-01 Calzavara, S.; Focardi, R.; Rabitti, A.; Soligo, L.
Complex Security Policy? A Longitudinal Analysis of Deployed Content Security Policies
2020-01-01 Roth, S; Barron, T; Calzavara, S; Nikiforakis, N; 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