Sfoglia per Autore
Bulwark: Holistic and verified security monitoring of web protocols
2020-01-01 Veronese, L.; Calzavara, S.; Compagna, L.
A hard lesson: Assessing the HTTPS deployment of Italian university websites
2020-01-01 Calzavara, S.; Focardi, R.; Rabitti, A.; Soligo, L.
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.
Language-Based Web Session Integrity
2020-01-01 Calzavara, S.; Focardi, R.; Grimm, N.; Maffei, M.; Tempesta, M.
On Compliance of Cookie Purposes with the Purpose Specification Principle
2020-01-01 Fouad, I.; Santos, C.; Al Kassar, F.; Bielova, N.; Calzavara, S.
AMEBA: An Adaptive Approach to the Black-Box Evasion of Machine Learning Models
2021-01-01 Calzavara, S.; Cazzaro, L.; Lucchese, C.
Can i take your subdomain? Exploring same-site attacks in the modern web
2021-01-01 Squarcina, M.; Tempesta, M.; Veronese, L.; Calzavara, S.; Maffei, M.
Feature partitioning for robust tree ensembles and their certification in adversarial scenarios
2021-01-01 Calzavara, Stefano; Lucchese, Claudio; Marcuzzi, Federico; Orlando, Salvatore
Measuring Web Session Security at Scale
2021-01-01 Calzavara, S.; Jonker, H.; Krumnow, B.; Rabitti, A.
Reining in the Web's Inconsistencies with Site Policy
2021-01-01 Calzavara, S; Urban, T; Tatang, D; Steffens, M; Stock, B
The Remote on the Local: Exacerbating Web Attacks Via Service Workers Caches
2021-01-01 Squarcina, M.; Calzavara, S.; Maffei, M.
The Security Lottery: Measuring Client-Side Web Security Inconsistencies
2022-01-01 Roth, S.; Calzavara, S.; Wilhelm, M.; Rabitti, A.; Stock, B.
Beyond robustness: Resilience verification of tree-based classifiers
2022-01-01 Calzavara, S.; Cazzaro, L.; Lucchese, C.; Marcuzzi, F.; Orlando, S.
An Empirical Analysis of Web Storage and Its Applications to Web Tracking
2023-01-01 Ahmad, Z.; Casarin, S.; Calzavara, S.
Verifiable Learning for Robust Tree Ensembles
2023-01-01 Calzavara, S.; Cazzaro, L.; Pibiri, G. E.; Prezza, N.
Explainable Global Fairness Verification of Tree-Based Classifiers
2023-01-01 Calzavara, S.; Cazzaro, L.; Lucchese, C.; Marcuzzi, F.
Certifying machine learning models against evasion attacks by program analysis
2023-01-01 Calzavara, S; Ferrara, P; Lucchese, C
You Call This Archaeology? Evaluating Web Archives for Reproducible Web Security Measurements
2023-01-01 Hantke, F.; Calzavara, S.; Wilhelm, M.; Rabitti, A.; Stock, B.
Cryptographic Web Applications: from Security Engineering to Formal Analysis
2023-01-01 Bugliesi, Michele; Calzavara, Stefano; Rabitti, Alvise
Information flow control for comparative privacy analyses
2024-01-01 Ahmad, Z.; Calzavara, S.; Casarin, S.; 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