BUGLIESI, Michele
BUGLIESI, Michele
Dipartimento di Scienze Ambientali, Informatica e Statistica
A Calculus of Bounded Capacities
2003-01-01 Franco, Barbanera; Bugliesi, Michele; MARIANGIOLA DEZANI, Ciancaglini; Vladimiro, Sassone
A compilation technique to increase X3D performance and safety
2012-01-01 Maggiore, Giuseppe; Abbadi, Mohamed; Pittarello, Fabio; Bugliesi, Michele
A formal specification for Casanova, a language for computer games
2012-01-01 Giuseppe, Maggiore; Alvise, Spanò; Orsini, Renzo; Bugliesi, Michele; Abbadi, Mohamed; Steffinlongo, Enrico
A subtyping for Extensible Incomplete Objects
1999-01-01 Bono, V.; Bugliesi, Michele; Liquori, L.; DEZANI CIANCAGLINI, M.
A Supervised Learning Approach to Protect Client Authentication on the Web
2015-01-01 Calzavara, Stefano; Tolomei, Gabriele; Casini, Andrea; Bugliesi, Michele; Orlando, Salvatore
A Survey of Name-Passing Calculi and Crypto-Primitives
2002-01-01 Bugliesi, Michele; Giuseppe, Castagna; Silvia, Crafa; Focardi, Riccardo; Vladimiro, Sassone
A Theory of Adaptable Contract-based Service Composition.
2008-01-01 G., Bernardi; Bugliesi, Michele; D., Macedonio; Rossi, Sabina
A Type System for Discretionary Access Control
2009-01-01 Bugliesi, Michele; Colazzo, D; Crafa, S; Macedonio, M.
Abstractions for Distributed Protocol Design
2010-01-01 Bugliesi, Michele; Modesti, P.
Access Control for Mobile Agents: the Calculus of Boxed Ambients
2004-01-01 Bugliesi, Michele; Castagna, G.; Crafa, S.
Affine Refinement Types for Authentication and Authorization
2013-01-01 Bugliesi, Michele; Calzavara, Stefano; Fabienne, Eigner; Matteo, Maffei
Affine Refinement Types for Secure Distributed Programming
2015-01-01 Bugliesi, Michele; Calzavara, Stefano; Eigner, Fabienne; Maffei, Matteo
ALGOMOVE – A Move Embedding for Algorand
2023-01-01 Benetollo, Lorenzo; Bugliesi, Michele; Crafa, Silvia; Rossi, Sabina; Spanò, Alvise
An overview of Boxed Ambients
2001-01-01 Castagna, G; Bugliesi, Michele; Silvia, Crafa
Analysis of Typed Analyses of Authentication Protocols
2005-01-01 Bugliesi, Michele; Focardi, Riccardo; Maffei, M.
Authenticity by tagging and typing
2004-01-01 Bugliesi, Michele; Focardi, Riccardo; Maffei, M.
Automata, Languages and Programming, 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I
2006-01-01 Bugliesi, Michele; Preneel, B; Sassone, V; Wegener, I; Editors,
Automata, Languages and Programming, 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II
2006-01-01 Bugliesi, Michele; Preneel, B; Sassone, V; Wegener, I; Editors,
Automatic and robust client-side protection for cookie-based sessions
2014-01-01 Bugliesi, Michele; Calzavara, Stefano; Focardi, Riccardo; Khan, Wilayat
Behavioural equivalences and interference metrics for mobile ad-hoc networks
2014-01-01 Bugliesi, Michele; Gallina, Lucia; S., Hamadou; Marin, Andrea; Rossi, Sabina