Sfoglia per Autore
Bulwark: Holistic and verified security monitoring of web protocols
2020-01-01 Veronese, L.; Calzavara, S.; Compagna, L.
Certifying decision trees against evasion attacks by program analysis
2020-01-01 Calzavara, S.; Ferrara, P.; Lucchese, C.
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.
Complex Security Policy? A Longitudinal Analysis of Deployed Content Security Policies
2020-01-01 Roth, S; Barron, T; Calzavara, S; Nikiforakis, N; Stock, B
Reining in the Web's Inconsistencies with Site Policy
2021-01-01 Calzavara, S; Urban, T; Tatang, D; Steffens, M; Stock, B
AMEBA: An Adaptive Approach to the Black-Box Evasion of Machine Learning Models
2021-01-01 Calzavara, S.; Cazzaro, L.; Lucchese, C.
The Remote on the Local: Exacerbating Web Attacks Via Service Workers Caches
2021-01-01 Squarcina, M.; Calzavara, S.; Maffei, M.
Measuring Web Session Security at Scale
2021-01-01 Calzavara, S.; Jonker, H.; Krumnow, B.; Rabitti, A.
Feature partitioning for robust tree ensembles and their certification in adversarial scenarios
2021-01-01 Calzavara, Stefano; Lucchese, Claudio; Marcuzzi, Federico; Orlando, Salvatore
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.
Beyond robustness: Resilience verification of tree-based classifiers
2022-01-01 Calzavara, S.; Cazzaro, L.; Lucchese, C.; Marcuzzi, F.; Orlando, S.
The Security Lottery: Measuring Client-Side Web Security Inconsistencies
2022-01-01 Roth, S.; Calzavara, S.; Wilhelm, M.; Rabitti, A.; Stock, B.
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
Explainable Global Fairness Verification of Tree-Based Classifiers
2023-01-01 Calzavara, S.; Cazzaro, L.; Lucchese, C.; Marcuzzi, F.
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.
Certifying machine learning models against evasion attacks by program analysis
2023-01-01 Calzavara, S; Ferrara, P; Lucchese, C
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