CALZAVARA, Stefano

CALZAVARA, Stefano  

Dipartimento di Scienze Ambientali, Informatica e Statistica  

Mostra records
Risultati 1 - 20 di 51 (tempo di esecuzione: 0.0 secondi).
Titolo Data di pubblicazione Autori Tipo File Abstract
Adversarial training of gradient-boosted decision trees 1-gen-2019 Calzavara S.Lucchese C. + 4.1 Articolo in Atti di convegno -
Affine Refinement Types for Authentication and Authorization 1-gen-2013 BUGLIESI, MicheleCALZAVARA, STEFANO + 4.1 Articolo in Atti di convegno -
Affine Refinement Types for Secure Distributed Programming 1-gen-2015 BUGLIESI, MicheleCALZAVARA, STEFANO + 2.1 Articolo su rivista -
AMEBA: An Adaptive Approach to the Black-Box Evasion of Machine Learning Models 1-gen-2021 Calzavara S.Cazzaro L.Lucchese C. 4.1 Articolo in Atti di convegno -
Automatic and robust client-side protection for cookie-based sessions 1-gen-2014 BUGLIESI, MicheleCALZAVARA, STEFANOFOCARDI, RiccardoKHAN, WILAYAT 4.1 Articolo in Atti di convegno -
Beyond robustness: Resilience verification of tree-based classifiers 1-gen-2022 Calzavara S.Cazzaro L.Lucchese C.Marcuzzi F.Orlando S. 2.1 Articolo su rivista -
Bulwark: Holistic and verified security monitoring of web protocols 1-gen-2020 Veronese L.Calzavara S. + 4.1 Articolo in Atti di convegno -
Can i take your subdomain? Exploring same-site attacks in the modern web 1-gen-2021 Calzavara S. + 4.1 Articolo in Atti di convegno -
CCSP: Controlled relaxation of content security policies by runtime policy composition 1-gen-2017 Stefano CalzavaraAlvise RabittiMichele Bugliesi 4.1 Articolo in Atti di convegno -
Certifying decision trees against evasion attacks by program analysis 1-gen-2020 Calzavara S.Ferrara P.Lucchese C. 4.1 Articolo in Atti di convegno -
Client Side Web Session Integrity as a Non-Interference Property 1-gen-2014 KHAN, WILAYATCALZAVARA, STEFANOBUGLIESI, Michele + 4.1 Articolo in Atti di convegno -
Complex Security Policy? A Longitudinal Analysis of Deployed Content Security Policies 1-gen-2020 Calzavara, S + 4.1 Articolo in Atti di convegno -
Compositional Typed Analysis of ARBAC Policies 1-gen-2015 CALZAVARA, STEFANORABITTI, ALVISEBUGLIESI, Michele 4.1 Articolo in Atti di convegno -
Content Security Problems? Evaluating the Effectiveness of Content Security Policy in the Wild 1-gen-2016 CALZAVARA, STEFANORabitti, AlviseBUGLIESI, Michele 4.1 Articolo in Atti di convegno -
CookiExt: Patching the browser against session hijacking attacks 1-gen-2015 Bugliesi, MicheleCalzavara, StefanoFocardi, RiccardoKhan, Wilayat 2.1 Articolo su rivista -
Dr Cookie and Mr Token - Web session implementations and how to live with them 1-gen-2018 Calzavara, StefanoRabitti, AlviseBugliesi, Michele 4.1 Articolo in Atti di convegno -
Feature partitioning for robust tree ensembles and their certification in adversarial scenarios 1-gen-2021 Calzavara, StefanoLucchese, ClaudioMarcuzzi, FedericoOrlando, Salvatore 2.1 Articolo su rivista -
Fine-grained Detection of Privilege Escalation Attacks on Browser Extensions 1-gen-2015 CALZAVARA, STEFANOBUGLIESI, MicheleSteffinlongo, Enrico + 4.1 Articolo in Atti di convegno -
Formal methods for web security 1-gen-2017 BUGLIESI, MicheleCALZAVARA, STEFANOFOCARDI, Riccardo 2.1 Articolo su rivista -
Formal verification of Liferay RBAC 1-gen-2015 CALZAVARA, STEFANORabitti, AlviseBUGLIESI, Michele 4.1 Articolo in Atti di convegno -