Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 87
Titolo Data di pubblicazione Autori Tipo File Abstract
Smart contract languages: A comparative analysis 1-gen-2024 Benetollo, LorenzoBugliesi, MicheleCrafa, SilviaRossi, SabinaSpanò, Alvise + 2.1 Articolo su rivista -
Fostering SMEs Digital Innovation through Advanced Training and Design Thinking. Italy as a Case Study 1-gen-2024 Michele BugliesiStefano Micelli 3.1 Articolo su libro -
Short Circuits 4.0- How to Connect Business and Higher Technical Education 1-gen-2023 Michele BugliesiStefano Micelli 4.1 Articolo in Atti di convegno -
Cryptographic Web Applications: from Security Engineering to Formal Analysis 1-gen-2023 Michele BugliesiStefano CalzavaraAlvise Rabitti 3.1 Articolo su libro -
ALGOMOVE – A Move Embedding for Algorand 1-gen-2023 Benetollo, LorenzoBugliesi, MicheleCrafa, SilviaRossi, SabinaSpanò, Alvise 4.1 Articolo in Atti di convegno -
UNA REPUBBLICA DA DIGITALIZZARE 1-gen-2022 Michele Bugliesi + 3.1 Articolo su libro -
Testing for Integrity Flaws in Web Sessions 1-gen-2019 Calzavara S.Rabitti A.Bugliesi M. + 4.1 Articolo in Atti di convegno -
Semantically Sound Analysis of Content Security Policies 1-gen-2019 Calzavara S.Rabitti A.Bugliesi M. 4.1 Articolo in Atti di convegno -
Sub-session hijacking on the web: Root causes and prevention 1-gen-2019 Calzavara, StefanoRabitti, AlviseBugliesi, Michele 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 -
Semantics-based analysis of content security policy deployment 1-gen-2018 Calzavara, StefanoRabitti, AlviseBugliesi, Michele 2.1 Articolo su rivista -
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 -
Formal methods for web security 1-gen-2017 BUGLIESI, MicheleCALZAVARA, STEFANOFOCARDI, Riccardo 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 -
Security protocol specification and verification with AnBx 1-gen-2016 BUGLIESI, MicheleCALZAVARA, STEFANO + 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 -
Affine Refinement Types for Secure Distributed Programming 1-gen-2015 BUGLIESI, MicheleCALZAVARA, STEFANO + 2.1 Articolo su rivista -
Formal verification of Liferay RBAC 1-gen-2015 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 -
Mostrati risultati da 1 a 20 di 87
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