BUGLIESI, Michele

BUGLIESI, Michele  

Dipartimento di Scienze Ambientali, Informatica e Statistica  

Mostra records
Risultati 1 - 20 di 86 (tempo di esecuzione: 0.0 secondi).
Titolo Data di pubblicazione Autori Tipo File Abstract
A Calculus of Bounded Capacities 1-gen-2003 BUGLIESI, Michele + 4.1 Articolo in Atti di convegno -
A compilation technique to increase X3D performance and safety 1-gen-2012 MAGGIORE, GIUSEPPEABBADI, MOHAMEDPITTARELLO, FabioBUGLIESI, Michele 4.1 Articolo in Atti di convegno -
A formal specification for Casanova, a language for computer games 1-gen-2012 Alvise SpanòORSINI, RenzoBUGLIESI, MicheleABBADI, MOHAMEDSteffinlongo, Enrico + 4.1 Articolo in Atti di convegno -
A subtyping for Extensible Incomplete Objects 1-gen-1999 BUGLIESI, Michele + 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 -
A Survey of Name-Passing Calculi and Crypto-Primitives 1-gen-2002 BUGLIESI, MicheleFOCARDI, Riccardo + 3.1 Articolo su libro -
A Theory of Adaptable Contract-based Service Composition. 1-gen-2008 BUGLIESI, MicheleROSSI, Sabina + 4.1 Articolo in Atti di convegno -
A Type System for Discretionary Access Control 1-gen-2009 BUGLIESI, Michele + 2.1 Articolo su rivista -
Abstractions for Distributed Protocol Design 1-gen-2010 BUGLIESI, Michele + 4.1 Articolo in Atti di convegno -
Access Control for Mobile Agents: the Calculus of Boxed Ambients 1-gen-2004 BUGLIESI, Michele + 2.1 Articolo su rivista -
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 -
ALGOMOVE – A Move Embedding for Algorand 1-gen-2023 Benetollo, LorenzoBugliesi, MicheleCrafa, SilviaRossi, SabinaSpanò, Alvise 4.1 Articolo in Atti di convegno -
An overview of Boxed Ambients 1-gen-2001 BUGLIESI, Michele + 2.1 Articolo su rivista -
Analysis of Typed Analyses of Authentication Protocols 1-gen-2005 BUGLIESI, MicheleFOCARDI, Riccardo + 4.1 Articolo in Atti di convegno -
Authenticity by tagging and typing 1-gen-2004 BUGLIESI, MicheleFOCARDI, Riccardo + 4.1 Articolo in Atti di convegno -
Automata, Languages and Programming, 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I 1-gen-2006 BUGLIESI, Michele + 5.1 Curatela -
Automata, Languages and Programming, 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II 1-gen-2006 BUGLIESI, Michele + 5.1 Curatela -
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 -
Behavioural equivalences and interference metrics for mobile ad-hoc networks 1-gen-2014 BUGLIESI, MicheleGALLINA, LUCIAMARIN, AndreaROSSI, Sabina + 2.1 Articolo su rivista -