Sfoglia per Autore

opzioni
Mostrati risultati da 1 a 20 di 48
Titolo Data di pubblicazione Autori Tipo File Abstract
Secrecy and Authenticity Types for Secure Distributed Messaging 1-gen-2010 BUGLIESI, MicheleCALZAVARA, StefanoMACEDONIO, Damiano 4.1 Articolo in Atti di convegno -
Resource-Aware Authorization Policies for Statically Typed Cryptographic Protocols 1-gen-2011 BUGLIESI, MicheleCALZAVARA, STEFANO + 4.1 Articolo in Atti di convegno -
Gran: model checking grsecurity RBAC policies 1-gen-2012 BUGLIESI, MicheleCALZAVARA, STEFANOFOCARDI, RiccardoSQUARCINA, MARCO 4.1 Articolo in Atti di convegno -
Lintent: Towards Security Type-Checking of Android Applications 1-gen-2013 BUGLIESI, MicheleCALZAVARA, STEFANOSPANO', ALVISE 4.1 Articolo in Atti di convegno -
Logical Foundations of Secure Resource Management in Protocol Implementations 1-gen-2013 BUGLIESI, MicheleCALZAVARA, STEFANO + 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 -
Client Side Web Session Integrity as a Non-Interference Property 1-gen-2014 KHAN, WILAYATCALZAVARA, STEFANOBUGLIESI, Michele + 4.1 Articolo in Atti di convegno -
Quite a mess in my cookie jar! Leveraging machine learning to protect web authentication 1-gen-2014 CALZAVARA, STEFANOTOLOMEI, GABRIELEBUGLIESI, MicheleORLANDO, Salvatore 4.1 Articolo in Atti di convegno -
Provably Sound Browser-Based Enforcement of Web Session Integrity 1-gen-2014 BUGLIESI, MicheleCALZAVARA, STEFANOFOCARDI, RiccardoKHAN, WILAYATTEMPESTA, MAURO 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 -
Formal verification of Liferay RBAC 1-gen-2015 CALZAVARA, STEFANORabitti, AlviseBUGLIESI, Michele 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 -
Compositional Typed Analysis of ARBAC Policies 1-gen-2015 CALZAVARA, STEFANORABITTI, ALVISEBUGLIESI, Michele 4.1 Articolo in Atti di convegno -
Fine-grained Detection of Privilege Escalation Attacks on Browser Extensions 1-gen-2015 CALZAVARA, STEFANOBUGLIESI, MicheleSteffinlongo, Enrico + 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 -
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 -
Security protocol specification and verification with AnBx 1-gen-2016 BUGLIESI, MicheleCALZAVARA, STEFANO + 2.1 Articolo su rivista -
Static Detection of Collusion Attacks in ARBAC-based Workflow Systems 1-gen-2016 CALZAVARA, STEFANORabitti, AlviseSteffinlongo, EnricoBUGLIESI, 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 -
Micro-Policies for Web Session Security 1-gen-2016 CALZAVARA, STEFANOFOCARDI, RiccardoMAFFEI, Matteo + 4.1 Articolo in Atti di convegno -
Mostrati risultati da 1 a 20 di 48
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