Michele Bugliesi

Publication Activity (10 Years)

Years Active: 1989-2024
Publications (10 Years): 14

Top Venues

CSF

CoRR

J. Comput. Secur.

ESSoS

Publications

Massimo Bartoletti, Lorenzo Benetollo, Michele Bugliesi, Silvia Crafa, Giacomo Dal Sasso, Roberto Pettinau, Andrea Pinna, Mattia Piras, Sabina Rossi, Stefano Salis, Alvise Spanò, Viacheslav Tkachenko, Roberto Tonelli, Roberto Zunino
Smart Contract Languages: a comparative analysis. CoRR (2024)
Dalila Ressi, Alvise Spanò, Lorenzo Benetollo, Carla Piazza, Michele Bugliesi, Sabina Rossi
Vulnerability Detection in Ethereum Smart Contracts via Machine Learning: A Qualitative Analysis. CoRR (2024)
Lorenzo Benetollo, Michele Bugliesi, Silvia Crafa, Sabina Rossi, Alvise Spanò
ALGOMOVE - A Move Embedding for Algorand. Blockchain (2023)
Stefano Calzavara, Alvise Rabitti, Alessio Ragazzo, Michele Bugliesi
Testing for Integrity Flaws in Web Sessions. ESORICS (2) (2019)
Stefano Calzavara, Alvise Rabitti, Michele Bugliesi
Sub-session hijacking on the web: Root causes and prevention. J. Comput. Secur. 27 (2) (2019)
Stefano Calzavara, Alvise Rabitti, Michele Bugliesi
Semantically Sound Analysis of Content Security Policies. FORTE (2019)
Stefano Calzavara, Alvise Rabitti, Michele Bugliesi
Semantics-Based Analysis of Content Security Policy Deployment. ACM Trans. Web 12 (2) (2018)
Stefano Calzavara, Alvise Rabitti, Michele Bugliesi
Dr Cookie and Mr Token - Web Session Implementations and How to Live with Them. ITASEC (2018)
Michele Bugliesi, Stefano Calzavara, Riccardo Focardi
Formal methods for web security. J. Log. Algebraic Methods Program. 87 (2017)
Stefano Calzavara, Alvise Rabitti, Michele Bugliesi
CCSP: Controlled Relaxation of Content Security Policies by Runtime Policy Composition. USENIX Security Symposium (2017)
Tiberiu Seceleanu, Tiziana Margaria, Rajesh Subramanyan, Michele Bugliesi, Cristina Seceleanu, Bruce M. McMillin
Messge from the ECPE Organizing Committee. COMPSAC (2016)
Stefano Calzavara, Alvise Rabitti, Michele Bugliesi
Content Security Problems?: Evaluating the Effectiveness of Content Security Policy in the Wild. CCS (2016)
Stefano Calzavara, Alvise Rabitti, Enrico Steffinlongo, Michele Bugliesi
Static Detection of Collusion Attacks in ARBAC-Based Workflow Systems. CSF (2016)
Michele Bugliesi, Stefano Calzavara, Sebastian Mödersheim, Paolo Modesti
Security protocol specification and verification with AnBx. J. Inf. Secur. Appl. 30 (2016)
Stefano Calzavara, Alvise Rabitti, Michele Bugliesi
Formal Verification of Liferay RBAC. ESSoS (2015)
Stefano Calzavara, Alvise Rabitti, Michele Bugliesi
Compositional Typed Analysis of ARBAC Policies. CSF (2015)
Michele Bugliesi, Stefano Calzavara, Fabienne Eigner, Matteo Maffei
Affine Refinement Types for Secure Distributed Programming. ACM Trans. Program. Lang. Syst. 37 (4) (2015)
Stefano Calzavara, Michele Bugliesi, Silvia Crafa, Enrico Steffinlongo
Fine-Grained Detection of Privilege Escalation Attacks on Browser Extensions. ESOP (2015)
Stefano Calzavara, Gabriele Tolomei, Andrea Casini, Michele Bugliesi, Salvatore Orlando
A Supervised Learning Approach to Protect Client Authentication on the Web. ACM Trans. Web 9 (3) (2015)
Michele Bugliesi, Stefano Calzavara, Riccardo Focardi, Wilayat Khan
CookiExt: Patching the browser against session hijacking attacks. J. Comput. Secur. 23 (4) (2015)
Michele Bugliesi, Stefano Calzavara, Riccardo Focardi, Wilayat Khan
Automatic and Robust Client-Side Protection for Cookie-Based Sessions. ESSoS (2014)
Michele Bugliesi, Lucia Gallina, Sardaouna Hamadou, Andrea Marin, Sabina Rossi
Behavioural equivalences and interference metrics for mobile ad-hoc networks. Perform. Evaluation 73 (2014)
Michele Bugliesi, Andrea Marin, Sabina Rossi
Model checking adaptive service compositions. Sci. Comput. Program. 94 (2014)
Michele Bugliesi, Stefano Calzavara, Riccardo Focardi, Wilayat Khan, Mauro Tempesta
Provably Sound Browser-Based Enforcement of Web Session Integrity. CSF (2014)
Stefano Calzavara, Gabriele Tolomei, Michele Bugliesi, Salvatore Orlando
Quite a mess in my cookie jar!: leveraging machine learning to protect web authentication. WWW (2014)
Wilayat Khan, Stefano Calzavara, Michele Bugliesi, Willem De Groef, Frank Piessens
Client Side Web Session Integrity as a Non-interference Property. ICISS (2014)
Michele Bugliesi, Stefano Calzavara, Fabienne Eigner, Matteo Maffei
Logical Foundations of Secure Resource Management in Protocol Implementations. POST (2013)
Michele Bugliesi, Stefano Calzavara, Alvise Spanò
Lintent: Towards Security Type-Checking of Android Applications. FMOODS/FORTE (2013)
Michele Bugliesi, Lucia Gallina, Andrea Marin, Sabina Rossi, Sardaouna Hamadou
Interference-Sensitive Preorders for MANETs. QEST (2012)
Giuseppe Maggiore, Renzo Orsini, Michele Bugliesi
On Casanova and Databases or the Similarity Between Games and DBs. SEBD (2012)
Giuseppe Maggiore, Fabio Pittarello, Michele Bugliesi, Mohamed Abbadi
A compilation technique to increase X3D performance and safety. SAC (2012)
Giuseppe Maggiore, Alvise Spanò, Renzo Orsini, Michele Bugliesi, Mohamed Abbadi, Enrico Steffinlongo
A formal specification for casanova, a language for computer games. EICS (2012)
Michele Bugliesi, Stefano Calzavara, Riccardo Focardi, Marco Squarcina
Gran: Model Checking Grsecurity RBAC Policies. CSF (2012)
Michele Bugliesi, Stefano Calzavara, Fabienne Eigner, Matteo Maffei
Affine Refinement Types for Authentication and Authorization. TGC (2012)
Giuseppe Maggiore, Pieter Spronck, Renzo Orsini, Michele Bugliesi, Enrico Steffinlongo, Mohamed Abbadi
Writing Real-Time .Net Games in Casanova. ICEC (2012)
Giuseppe Maggiore, Alvise Spanò, Renzo Orsini, Giulia Costantini, Michele Bugliesi, Mohamed Abbadi
Designing Casanova: A Language for Games. ACG (2011)
Alvise Spanò, Michele Bugliesi, Agostino Cortesi
Type-flow Analysis for Legacy COBOL Code. ICSOFT (2) (2011)
Michele Bugliesi, Stefano Calzavara, Fabienne Eigner, Matteo Maffei
Resource-Aware Authorization Policies for Statically Typed Cryptographic Protocols. CSF (2011)
Alvise Spanò, Michele Bugliesi, Agostino Cortesi
Typing Legacy COBOL Code. ICSOFT (Selected Papers) (2011)
Michele Bugliesi, Paolo Modesti
AnBx - Security Protocols Design and Verification. ARSPA-WITS (2010)
Michele Bugliesi, Stefano Calzavara, Damiano Macedonio
Secrecy and Authenticity Types for Secure Distributed Messaging. ARSPA-WITS (2010)
Michele Bugliesi, Riccardo Focardi
Channel abstractions for network security. Math. Struct. Comput. Sci. 20 (1) (2010)
Michele Bugliesi, Damiano Macedonio, Luca Pino, Sabina Rossi
Compliance Preorders for Web Services. WS-FM (2009)
Michele Bugliesi, Dario Colazzo, Silvia Crafa, Damiano Macedonio
A type system for Discretionary Access Control. Math. Struct. Comput. Sci. 19 (4) (2009)
Michele Bugliesi, Riccardo Focardi
Security Abstractions and Intruder Models (Extended Abstract). EXPRESS (2008)
Giovanni Bernardi, Michele Bugliesi, Damiano Macedonio, Sabina Rossi
A Theory of Adaptable Contract-Based Service Composition. SYNASC (2008)
Michele Bugliesi, Riccardo Focardi
Language Based Secure Communication. CSF (2008)
Franco Barbanera, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Vladimiro Sassone
Space-aware ambients and processes. Theor. Comput. Sci. 373 (1-2) (2007)
Michele Bugliesi, Damiano Macedonio, Sabina Rossi
Static vs Dynamic Typing for Access Control in Pi-Calculus. ASIAN (2007)
Michele Bugliesi, Marco Giunti
Secure implementations of typed channel abstractions. POPL (2007)
Michele Bugliesi, Riccardo Focardi, Matteo Maffei
Dynamic types for authentication. J. Comput. Secur. 15 (6) (2007)
Michele Bugliesi, Riccardo Focardi, Matteo Maffei
Analysis of Typed Analyses of Authentication Protocols. CSFW (2005)
Viviana Bono, Michele Bugliesi, Sophia Drossopoulou
Preface. Electron. Notes Theor. Comput. Sci. 138 (2) (2005)
Michele Bugliesi, Sabina Rossi
Non-interference proof techniques for the analysis of cryptographic protocols. J. Comput. Secur. 13 (1) (2005)
Michele Bugliesi, Silvia Crafa, Massimo Merro, Vladimiro Sassone
Communication and mobility control in boxed ambients. Inf. Comput. 202 (1) (2005)
Michele Bugliesi, Marco Giunti
Typed Processes in Untyped Contexts. TGC (2005)
Michele Bugliesi, Giuseppe Castagna, Silvia Crafa
Access control for mobile agents: The calculus of boxed ambients. ACM Trans. Program. Lang. Syst. 26 (1) (2004)
Michele Bugliesi, Riccardo Focardi, Matteo Maffei
Compositional Analysis of Authentication Protocols. ESOP (2004)
Michele Bugliesi, Dario Colazzo, Silvia Crafa
Type Based Discretionary Access Control. CONCUR (2004)
Michele Bugliesi, Riccardo Focardi, Matteo Maffei
Authenticity by tagging and typing. FMSE (2004)
Michele Bugliesi, Silvia Crafa, Amela Prelic, Vladimiro Sassone
Secrecy in Untrusted Networks. ICALP (2003)
Michele Bugliesi, Ambra Ceccato, Sabina Rossi
Context-Sensitive Equivalences for Non-interference Based Protocol Analysis. FCT (2003)
Viviana Bono, Michele Bugliesi
First Workshop on Object Oriented Developments - Preface. Electron. Notes Theor. Comput. Sci. 82 (7) (2003)
Franco Barbanera, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Vladimiro Sassone
A Calculus of Bounded Capacities. ASIAN (2003)
Michele Bugliesi, Riccardo Focardi, Matteo Maffei
Principles for Entity Authentication. Ershov Memorial Conference (2003)
Michele Bugliesi, Giuseppe Castagna, Silvia Crafa, Riccardo Focardi, Vladimiro Sassone
A Survey of Name-Passing Calculi and Crypto-Primitives. FOSAD (2002)
Michele Bugliesi, Silvia Crafa, Massimo Merro, Vladimiro Sassone
Communication Interference in Mobile Boxed Ambients. FSTTCS (2002)
Michele Bugliesi, Santiago M. Pericás-Geertsen
Type Inference for Variant Object Types. Inf. Comput. 177 (1) (2002)
Silvia Crafa, Michele Bugliesi, Giuseppe Castagna
Information Flow Security for Boxed Ambients. Electron. Notes Theor. Comput. Sci. 66 (3) (2002)
Michele Bugliesi, Giuseppe Castagna
Behavioural typing for safe ambients. Comput. Lang. Syst. Struct. 28 (1) (2002)
Viviana Bono, Michele Bugliesi, Silvia Crafa
Typed interpretations of extensible objects. ACM Trans. Comput. Log. 3 (4) (2002)
Michele Bugliesi, Giuseppe Castagna, Silvia Crafa
Boxed Ambients. TACS (2001)
Michele Bugliesi, Giuseppe Castagna
Secure safe ambients. POPL (2001)
Michele Bugliesi, Giuseppe Castagna, Silvia Crafa
Subtyping and Matching for Mobile Objects. ICTCS (2001)
Michele Bugliesi, Giuseppe Castagna, Silvia Crafa
Reasoning about Security in Mobile Ambients. CONCUR (2001)
Giuseppe Castagna, Michele Bugliesi, Silvia Crafa
An overview of Boxed Ambients. Electron. Notes Theor. Comput. Sci. 62 (2001)
Michele Bugliesi, Giuseppe Castagna, Silvia Crafa
Typed Mobile Objects. CONCUR (2000)
Michele Bugliesi, Giorgio Delzanno, Luigi Liquori, Maurizio Martelli
Object calculi in linear logic. J. Log. Comput. 10 (1) (2000)
Viviana Bono, Michele Bugliesi
Matching for the lambda Calculus of Objects. Theor. Comput. Sci. 212 (1-2) (1999)
Viviana Bono, Michele Bugliesi
Interpretations of Extensible Objects and Types. FCT (1999)
Viviana Bono, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Luigi Liquori
A Subtyping for Extensible, Incomplete Objects. Fundam. Informaticae 38 (4) (1999)
Michele Bugliesi, Anna Ciampolini, Evelina Lamma, Paola Mello
Optimizing Modular Logic Languages. ACM Comput. Surv. 30 (3es) (1998)
Viviana Bono, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Luigi Liquori
Subtyping Constraints for Incomplete Objects (Extended Abstract). TAPSOFT (1997)
Viviana Bono, Michele Bugliesi
Matching Constraints for the Lambda Calculus of Objects. TLCA (1997)
Viviana Bono, Michele Bugliesi, Luigi Liquori
A Lambda Calculus of Incomplete Objects. MFCS (1996)
Michele Bugliesi, Giorgio Delzanno, Luigi Liquori, Maurizio Martelli
A Linear Logic Calculus Objects. JICSLP (1996)
Annalisa Bossi, Michele Bugliesi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo
Differential Logic Programs: Programming Methodologies and Semantics. Sci. Comput. Program. 27 (3) (1996)
Michele Bugliesi, Hasan M. Jamil
A Stable Model Semantics for Behavioral Inheritance in Deductive Object Oriented Languages. ICDT (1995)
Michele Bugliesi, Hasan M. Jamil
A Logic for Encapsulation in Object Oriented Languages. PLILP (1994)
Michele Bugliesi, Hasan M. Jamil
A Logic for Encapsulation in Object-Oriented Languages. GULP-PRODE (2) (1994)
Michele Bugliesi, Evelina Lamma, Paola Mello
Modularity in Logic Programming. J. Log. Program. (1994)
Annalisa Bossi, Michele Bugliesi, Massimo Fabris
A New Fixpoint Semantics for Prolog. ICLP (1993)
Michele Bugliesi, Giuseppe Nardiello
SelfLog: Language and Implementation. PLILP (1993)
Michele Bugliesi, Giuseppe Nardiello
SelfLog: Language and Implementation. ICLP-Workshops on Implementation of Logic Programming Systems (1993)
Annalisa Bossi, Michele Bugliesi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo
Differential Logic Programming. POPL (1993)
Michele Bugliesi, Evelina Lamma, Paola Mello
Partial Deduction for Structured Logic Programming. J. Log. Program. 16 (1) (1993)
Annalisa Bossi, Michele Bugliesi, Massimo Fabris
A New Fixpoint Semantics for Prolog. GULP (1993)
Michele Bugliesi
A Declarative View of Inheritance in Logic Programming. JICSLP (1992)
Michele Bugliesi
On the Semantics of Inheritance in Logic Programming: Compositionality and Full Abstraction. ELP (1992)
Marco Bellia, Michele Bugliesi, M. Eugenia Occhiuto
Combinatory Forms for Equational Programming: Instances, Unification and Narrowing. CAAP (1990)

Michele Bugliesi.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Michele Bugliesi