Sfoglia per Autore
HornDroid: Practical and Sound Static Analysis of Android Applications by SMT Solving
2016-01-01 Calzavara, Stefano; Grishchenko, Ilya; Maffei, Matteo
Formal methods for web security
2017-01-01 Bugliesi, Michele; Calzavara, Stefano; Focardi, Riccardo
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
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
WPSE: Fortifying Web Protocols via Browser-Side Security Monitoring
2018-01-01 Calzavara, Stefano; Focardi, Riccardo; Maffei, Matteo; Schneidewind, Clara; Squarcina, Marco; Tempesta, Mauro
Surviving the Web: A Journey into Web Session Security
2018-01-01 Calzavara, S.; Focardi, R.; Squarcina, M.; Tempesta, M.
Dr Cookie and Mr Token - Web session implementations and how to live with them
2018-01-01 Calzavara, Stefano; Rabitti, Alvise; Bugliesi, Michele
Testing for Integrity Flaws in Web Sessions
2019-01-01 Calzavara, S.; Rabitti, A.; Ragazzo, A.; Bugliesi, M.
Adversarial training of gradient-boosted decision trees
2019-01-01 Calzavara, S.; Lucchese, C.; Tolomei, G.
Sub-session hijacking on the web: Root causes and prevention
2019-01-01 Calzavara, Stefano; Rabitti, Alvise; Bugliesi, Michele
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
Semantically Sound Analysis of Content Security Policies
2019-01-01 Calzavara, S.; Rabitti, A.; Bugliesi, M.
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
A hard lesson: Assessing the HTTPS deployment of Italian university websites
2020-01-01 Calzavara, S.; Focardi, R.; Rabitti, A.; Soligo, L.
On Compliance of Cookie Purposes with the Purpose Specification Principle
2020-01-01 Fouad, I.; Santos, C.; Al Kassar, F.; Bielova, N.; Calzavara, S.
Complex Security Policy? A Longitudinal Analysis of Deployed Content Security Policies
2020-01-01 Roth, S; Barron, T; Calzavara, S; Nikiforakis, N; Stock, B
Treant: training evasion-aware decision trees
2020-01-01 Calzavara, S.; Lucchese, C.; Tolomei, G.; Abebe, S. A.; Orlando, S.
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.
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