CALZAVARA, Stefano

CALZAVARA, Stefano  

Dipartimento di Scienze Ambientali, Informatica e Statistica  

Mostra records
Risultati 1 - 20 di 58 (tempo di esecuzione: 0.001 secondi).
Titolo Data di pubblicazione Autori Tipo File Abstract
A hard lesson: Assessing the HTTPS deployment of Italian university websites 1-gen-2020 Calzavara S.Focardi R.Rabitti A.Soligo L. 4.1 Articolo in Atti di convegno -
A Sound Flow-Sensitive Heap Abstraction for the Static Analysis of Android Applications 1-gen-2017 Calzavara, StefanoMaffei, Matteo + 4.1 Articolo in Atti di convegno -
A Supervised Learning Approach to Protect Client Authentication on the Web 1-gen-2015 CALZAVARA, STEFANOTOLOMEI, GABRIELECasini, AndreaBUGLIESI, MicheleORLANDO, Salvatore 2.1 Articolo su rivista -
A tale of two headers: A formal analysis of inconsistent click-jacking protection on the web 1-gen-2020 Calzavara S.Rabitti A. + 4.1 Articolo in Atti di convegno -
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 -
An Empirical Analysis of Web Storage and Its Applications to Web Tracking 1-gen-2023 Ahmad Z.Casarin S.Calzavara S. 2.1 Articolo su rivista -
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 -
Certifying machine learning models against evasion attacks by program analysis 1-gen-2023 Calzavara, SFerrara, PLucchese, C 2.1 Articolo su rivista -
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 -