Sfoglia per Autore
Secrecy and Authenticity Types for Secure Distributed Messaging
2010-01-01 Bugliesi, Michele; Calzavara, Stefano; Macedonio, Damiano
Resource-Aware Authorization Policies for Statically Typed Cryptographic Protocols
2011-01-01 Bugliesi, Michele; Calzavara, Stefano; Maffei, M.; Eigner, F.
Gran: model checking grsecurity RBAC policies
2012-01-01 Bugliesi, Michele; Calzavara, Stefano; Focardi, Riccardo; Squarcina, Marco
Lintent: Towards Security Type-Checking of Android Applications
2013-01-01 Bugliesi, Michele; Calzavara, Stefano; Spano', Alvise
Affine Refinement Types for Authentication and Authorization
2013-01-01 Bugliesi, Michele; Calzavara, Stefano; Fabienne, Eigner; Matteo, Maffei
Logical Foundations of Secure Resource Management in Protocol Implementations
2013-01-01 Bugliesi, Michele; Calzavara, Stefano; Fabienne, Eigner; Matteo, Maffei
Client Side Web Session Integrity as a Non-Interference Property
2014-01-01 Khan, Wilayat; Calzavara, Stefano; Bugliesi, Michele; DE GROEF, W.; Piessens, F.
Quite a mess in my cookie jar! Leveraging machine learning to protect web authentication
2014-01-01 Calzavara, Stefano; Tolomei, Gabriele; Bugliesi, Michele; Orlando, Salvatore
Automatic and robust client-side protection for cookie-based sessions
2014-01-01 Bugliesi, Michele; Calzavara, Stefano; Focardi, Riccardo; Khan, Wilayat
Provably Sound Browser-Based Enforcement of Web Session Integrity
2014-01-01 Bugliesi, Michele; Calzavara, Stefano; Focardi, Riccardo; Khan, Wilayat; Tempesta, Mauro
A Supervised Learning Approach to Protect Client Authentication on the Web
2015-01-01 Calzavara, Stefano; Tolomei, Gabriele; Casini, Andrea; Bugliesi, Michele; Orlando, Salvatore
Compositional Typed Analysis of ARBAC Policies
2015-01-01 Calzavara, Stefano; Rabitti, Alvise; Bugliesi, Michele
Fine-grained Detection of Privilege Escalation Attacks on Browser Extensions
2015-01-01 Calzavara, Stefano; Bugliesi, Michele; S., Crafa; Steffinlongo, Enrico
Affine Refinement Types for Secure Distributed Programming
2015-01-01 Bugliesi, Michele; Calzavara, Stefano; Eigner, Fabienne; Maffei, Matteo
Formal verification of Liferay RBAC
2015-01-01 Calzavara, Stefano; Rabitti, Alvise; Bugliesi, Michele
CookiExt: Patching the browser against session hijacking attacks
2015-01-01 Bugliesi, Michele; Calzavara, Stefano; Focardi, Riccardo; Khan, Wilayat
Static Detection of Collusion Attacks in ARBAC-based Workflow Systems
2016-01-01 Calzavara, Stefano; Rabitti, Alvise; Steffinlongo, Enrico; Bugliesi, Michele
Security protocol specification and verification with AnBx
2016-01-01 Bugliesi, Michele; Calzavara, Stefano; Mödersheim, Sebastian; Modesti, Paolo
HornDroid: Practical and Sound Static Analysis of Android Applications by SMT Solving
2016-01-01 Calzavara, Stefano; Grishchenko, Ilya; Maffei, Matteo
Content Security Problems? Evaluating the Effectiveness of Content Security Policy in the Wild
2016-01-01 Calzavara, Stefano; Rabitti, Alvise; Bugliesi, Michele
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