Stefano Calzavara
TitoloCitata daAnno
Lintent: towards security type-checking of android applications
M Bugliesi, S Calzavara, A Span˛
Formal techniques for distributed systems, 289-304, 2013
322013
HornDroid: Practical and sound static analysis of Android applications by SMT solving
S Calzavara, I Grishchenko, M Maffei
2016 IEEE European Symposium on Security and Privacy (EuroS&P), 47-62, 2016
302016
Quite a mess in my cookie jar!: leveraging machine learning to protect web authentication
S Calzavara, G Tolomei, M Bugliesi, S Orlando
Proceedings of the 23rd international conference on World wide web, 189-200, 2014
292014
Content security problems?: Evaluating the effectiveness of content security policy in the wild
S Calzavara, A Rabitti, M Bugliesi
Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communicationsá…, 2016
282016
Provably sound browser-based enforcement of web session integrity
M Bugliesi, S Calzavara, R Focardi, W Khan, M Tempesta
2014 IEEE 27th Computer Security Foundations Symposium, 366-380, 2014
222014
Automatic and robust client-side protection for cookie-based sessions
M Bugliesi, S Calzavara, R Focardi, W Khan
International Symposium on Engineering Secure Software and Systems, 161-178, 2014
212014
Surviving the web: A journey into web session security
S Calzavara, R Focardi, M Squarcina, M Tempesta
ACM Computing Surveys (CSUR) 50 (1), 13, 2017
202017
CookiExt: Patching the browser against session hijacking attacks
M Bugliesi, S Calzavara, R Focardi, W Khan
Journal of Computer Security 23 (4), 509-537, 2015
202015
Resource-aware authorization policies for statically typed cryptographic protocols
M Bugliesi, S Calzavara, F Eigner, M Maffei
2011 IEEE 24th Computer Security Foundations Symposium, 83-98, 2011
192011
Formal methods for web security
M Bugliesi, S Calzavara, R Focardi
Journal of Logical and Algebraic Methods in Programming 87, 110-126, 2017
172017
Logical foundations of secure resource management in protocol implementations
M Bugliesi, S Calzavara, F Eigner, M Maffei
International Conference on Principles of Security and Trust, 105-125, 2013
142013
A supervised learning approach to protect client authentication on the web
S Calzavara, G Tolomei, A Casini, M Bugliesi, S Orlando
ACM Transactions on the Web (TWEB) 9 (3), 15, 2015
122015
Gran: Model checking grsecurity RBAC policies
M Bugliesi, S Calzavara, R Focardi, M Squarcina
2012 IEEE 25th Computer Security Foundations Symposium, 126-138, 2012
122012
Micro-policies for web session security
S Calzavara, R Focardi, N Grimm, M Maffei
2016 IEEE 29th Computer Security Foundations Symposium (CSF), 179-193, 2016
112016
Security protocol specification and verification with AnBx
M Bugliesi, S Calzavara, S M÷dersheim, P Modesti
Journal of Information Security and Applications 30, 46-63, 2016
92016
Client side web session integrity as a non-interference property
W Khan, S Calzavara, M Bugliesi, W De Groef, F Piessens
International Conference on Information Systems Security, 89-108, 2014
92014
Semantics-based analysis of content security policy deployment
S Calzavara, A Rabitti, M Bugliesi
ACM Transactions on the Web (TWEB) 12 (2), 10, 2018
72018
CCSP: Controlled Relaxation of Content Security Policies by Runtime Policy Composition
S Calzavara, A Rabitti, M Bugliesi
26th USENIX Security Symposium (USENIX Security 17), 695-712, 2017
72017
Affine refinement types for secure distributed programming
M Bugliesi, S Calzavara, F Eigner, M Maffei
ACM Transactions on Programming Languages and Systems (TOPLAS) 37 (4), 11, 2015
72015
Postcards from the Post-HTTP World: Amplification of HTTPS Vulnerabilities in the Web Ecosystem
S Calzavara, R Focardi, M Nemec, A Rabitti, M Squarcina
Postcards from the Post-HTTP World: Amplification of HTTPS Vulnerabilitiesá…, 2019
42019
Il sistema al momento non pu˛ eseguire l'operazione. Riprova pi¨ tardi.
Articoli 1–20