Partial Evaluation in Prolog: Some Improvements about Cut. - Michele Bugliesi; F. Russo (NACLP, 1989)

Combinatory Forms for Equational Programming: Instances, Unification and Narrowing. - Marco Bellia; Michele Bugliesi; M. Eugenia Occhiuto (CAAP, 1990)

Partial Evaluation for Hierarchies of Logic Theories. - Michele Bugliesi; Evelina Lamma; Paola Mello (NACLP, 1990)

On the Semantics of Inheritance in Logic Programming: Compositionality and Full Abstraction. - Michele Bugliesi (ELP, 1992)

A Declarative View of Inheritance in Logic Programming. - Michele Bugliesi (JICSLP, 1992)

A New Fixpoint Semantics for Prolog. - Annalisa Bossi; Michele Bugliesi; Massimo Fabris (ICLP, 1993)

SelfLog: Language and Implementation. - Michele Bugliesi; Giuseppe Nardiello (ICLP-Workshops on Implementation of Logic Programming Systems, 1993)

Differential Logic Programming. - Annalisa Bossi; Michele Bugliesi; Maurizio Gabbrielli; Giorgio Levi; Maria Chiara Meo (POPL, 1993)

Partial Deduction for Structured Logic Programming. - Michele Bugliesi; Evelina Lamma; Paola Mello (J. Log. Program., 1993)

A Logic for Encapsulation in Object-Oriented Languages. - Michele Bugliesi; Hasan M. Jamil (GULP-PRODE (2), 1994)

Modularity in Logic Programming. - Michele Bugliesi; Evelina Lamma; Paola Mello (J. Log. Program., 1994)

A Stable Model Semantics for Behavioral Inheritance in Deductive Object Oriented Languages. - Michele Bugliesi; Hasan M. Jamil (ICDT, 1995)

A Linear Logic Calculus Objects. - Michele Bugliesi; Giorgio Delzanno; Luigi Liquori; Maurizio Martelli (JICSLP, 1996)

A Lambda Calculus of Incomplete Objects. - Viviana Bono; Michele Bugliesi; Luigi Liquori (MFCS, 1996)

Differential Logic Programs: Programming Methodologies and Semantics. - Annalisa Bossi; Michele Bugliesi; Maurizio Gabbrielli; Giorgio Levi; Maria Chiara Meo (Sci. Comput. Program., 1996)

Subtyping Constraints for Incomplete Objects (Extended Abstract). - Viviana Bono; Michele Bugliesi; Mariangiola Dezani-Ciancaglini; Luigi Liquori (TAPSOFT, 1997)

Matching Constraints for the Lambda Calculus of Objects. - Viviana Bono; Michele Bugliesi (TLCA, 1997)

Optimizing Modular Logic Languages. - Michele Bugliesi; Anna Ciampolini; Evelina Lamma; Paola Mello (ACM Comput. Surv., 1998)

Interpretations of Extensible Objects and Types. - Viviana Bono; Michele Bugliesi (FCT, 1999)

A Subtyping for Extensible, Incomplete Objects. - Viviana Bono; Michele Bugliesi; Mariangiola Dezani-Ciancaglini; Luigi Liquori (Fundam. Informaticae, 1999)

Matching for the lambda Calculus of Objects. - Viviana Bono; Michele Bugliesi (Theor. Comput. Sci., 1999)

Typed Mobile Objects. - Michele Bugliesi; Giuseppe Castagna; Silvia Crafa (CONCUR, 2000)

Object calculi in linear logic. - Michele Bugliesi; Giorgio Delzanno; Luigi Liquori; Maurizio Martelli (J. Log. Comput., 2000)

Reasoning about Security in Mobile Ambients. - Michele Bugliesi; Giuseppe Castagna; Silvia Crafa (CONCUR, 2001)

Subtyping and Matching for Mobile Objects. - Michele Bugliesi; Giuseppe Castagna; Silvia Crafa (ICTCS, 2001)

Secure safe ambients. - Michele Bugliesi; Giuseppe Castagna (POPL, 2001)

Boxed Ambients. - Michele Bugliesi; Giuseppe Castagna; Silvia Crafa (TACS, 2001)

An overview of Boxed Ambients. - Giuseppe Castagna; Michele Bugliesi; Silvia Crafa (TOSCA, 2001)

A Survey of Name-Passing Calculi and Crypto-Primitives. - Michele Bugliesi; Giuseppe Castagna; Silvia Crafa; Riccardo Focardi; Vladimiro Sassone (FOSAD, 2002)

Communication Interference in Mobile Boxed Ambients. - Michele Bugliesi; Silvia Crafa; Massimo Merro; Vladimiro Sassone (FSTTCS, 2002)

Behavioural typing for safe ambients. - Michele Bugliesi; Giuseppe Castagna (Comput. Lang. Syst. Struct., 2002)

Information Flow Security for Boxed Ambients. - Silvia Crafa; Michele Bugliesi; Giuseppe Castagna (F-WAN@ICALP, 2002)

Type Inference for Variant Object Types. - Michele Bugliesi; Santiago M. Pericás-Geertsen (Inf. Comput., 2002)

Typed interpretations of extensible objects. - Viviana Bono; Michele Bugliesi; Silvia Crafa (ACM Trans. Comput. Log., 2002)

A Calculus of Bounded Capacities. - Franco Barbanera; Michele Bugliesi; Mariangiola Dezani-Ciancaglini; Vladimiro Sassone (ASIAN, 2003)

Principles for Entity Authentication. - Michele Bugliesi; Riccardo Focardi; Matteo Maffei (Ershov Memorial Conference, 2003)

Context-Sensitive Equivalences for Non-interference Based Protocol Analysis. - Michele Bugliesi; Ambra Ceccato; Sabina Rossi (FCT, 2003)

Secrecy in Untrusted Networks. - Michele Bugliesi; Silvia Crafa; Amela Prelic; Vladimiro Sassone (ICALP, 2003)

First Workshop on Object Oriented Developments - Preface. - Viviana Bono; Michele Bugliesi (WOOD, 2003)

Authenticity by tagging and typing. - Michele Bugliesi; Riccardo Focardi; Matteo Maffei (FMSE, 2004)

Type Based Discretionary Access Control. - Michele Bugliesi; Dario Colazzo; Silvia Crafa (CONCUR, 2004)

Compositional Analysis of Authentication Protocols. - Michele Bugliesi; Riccardo Focardi; Matteo Maffei (ESOP, 2004)

Preface. - Viviana Bono; Michele Bugliesi; Sophia Drossopoulou (WOOD, 2004)

Access control for mobile agents: The calculus of boxed ambients. - Michele Bugliesi; Giuseppe Castagna; Silvia Crafa (ACM Trans. Program. Lang. Syst., 2004)

Analysis of Typed Analyses of Authentication Protocols. - Michele Bugliesi; Riccardo Focardi; Matteo Maffei (CSFW, 2005)

Typed Processes in Untyped Contexts. - Michele Bugliesi; Marco Giunti (TGC, 2005)

Communication and mobility control in boxed ambients. - Michele Bugliesi; Silvia Crafa; Massimo Merro; Vladimiro Sassone (Inf. Comput., 2005)

Non-interference proof techniques for the analysis of cryptographic protocols. - Michele Bugliesi; Sabina Rossi (J. Comput. Secur., 2005)

Static vs Dynamic Typing for Access Control in Pi-Calculus. - Michele Bugliesi; Damiano Macedonio; Sabina Rossi (ASIAN, 2007)

Secure implementations of typed channel abstractions. - Michele Bugliesi; Marco Giunti (POPL, 2007)

Dynamic types for authentication. - Michele Bugliesi; Riccardo Focardi; Matteo Maffei (J. Comput. Secur., 2007)

Space-aware ambients and processes. - Franco Barbanera; Michele Bugliesi; Mariangiola Dezani-Ciancaglini; Vladimiro Sassone (Theor. Comput. Sci., 2007)

Language Based Secure Communication. - Michele Bugliesi; Riccardo Focardi (CSF, 2008)

A Theory of Adaptable Contract-Based Service Composition. - Giovanni Bernardi 001; Michele Bugliesi; Damiano Macedonio; Sabina Rossi (SYNASC, 2008)

Security Abstractions and Intruder Models (Extended Abstract). - Michele Bugliesi; Riccardo Focardi (EXPRESS, 2008)

Compliance Preorders for Web Services. - Michele Bugliesi; Damiano Macedonio; Luca Pino; Sabina Rossi (WS-FM, 2009)

A type system for Discretionary Access Control. - Michele Bugliesi; Dario Colazzo; Silvia Crafa; Damiano Macedonio (Math. Struct. Comput. Sci., 2009)

Secrecy and Authenticity Types for Secure Distributed Messaging. - Michele Bugliesi; Stefano Calzavara; Damiano Macedonio (ARSPA-WITS, 2010)

AnBx - Security Protocols Design and Verification. - Michele Bugliesi; Paolo Modesti (ARSPA-WITS, 2010)

Channel abstractions for network security. - Michele Bugliesi; Riccardo Focardi (Math. Struct. Comput. Sci., 2010)

Designing Casanova: A Language for Games. - Giuseppe Maggiore; Alvise Spanò; Renzo Orsini; Giulia Costantini; Michele Bugliesi; Mohamed Abbadi (ACG, 2011)

Resource-Aware Authorization Policies for Statically Typed Cryptographic Protocols. - Michele Bugliesi; Stefano Calzavara; Fabienne Eigner; Matteo Maffei (CSF, 2011)

Type-flow Analysis for Legacy COBOL Code. - Alvise Spanò; Michele Bugliesi; Agostino Cortesi (ICSOFT (2), 2011)

Typing Legacy COBOL Code. - Alvise Spanò; Michele Bugliesi; Agostino Cortesi (ICSOFT (Selected Papers), 2011)

Gran: Model Checking Grsecurity RBAC Policies. - Michele Bugliesi; Stefano Calzavara; Riccardo Focardi; Marco Squarcina (CSF, 2012)

A formal specification for casanova, a language for computer games. - Giuseppe Maggiore; Alvise Spanò; Renzo Orsini; Michele Bugliesi; Mohamed Abbadi; Enrico Steffinlongo (EICS, 2012)

Writing Real-Time .Net Games in Casanova. - Giuseppe Maggiore; Pieter Spronck; Renzo Orsini; Michele Bugliesi; Enrico Steffinlongo; Mohamed Abbadi (ICEC, 2012)

Interference-Sensitive Preorders for MANETs. - Michele Bugliesi; Lucia Gallina; Andrea Marin; Sabina Rossi; Sardaouna Hamadou (QEST, 2012)

A compilation technique to increase X3D performance and safety. - Giuseppe Maggiore; Fabio Pittarello; Michele Bugliesi; Mohamed Abbadi (SAC, 2012)

On Casanova and Databases or the Similarity Between Games and DBs. - Giuseppe Maggiore; Renzo Orsini; Michele Bugliesi (SEBD, 2012)

Affine Refinement Types for Authentication and Authorization. - Michele Bugliesi; Stefano Calzavara; Fabienne Eigner; Matteo Maffei (TGC, 2012)

Lintent: Towards Security Type-Checking of Android Applications. - Michele Bugliesi; Stefano Calzavara; Alvise Spanò (FMOODS/FORTE, 2013)

Logical Foundations of Secure Resource Management in Protocol Implementations. - Michele Bugliesi; Stefano Calzavara; Fabienne Eigner; Matteo Maffei (POST, 2013)

Provably Sound Browser-Based Enforcement of Web Session Integrity. - Michele Bugliesi; Stefano Calzavara; Riccardo Focardi; Wilayat Khan; Mauro Tempesta (CSF, 2014)

Automatic and Robust Client-Side Protection for Cookie-Based Sessions. - Michele Bugliesi; Stefano Calzavara; Riccardo Focardi; Wilayat Khan (ESSoS, 2014)

Client Side Web Session Integrity as a Non-interference Property. - Wilayat Khan; Stefano Calzavara; Michele Bugliesi; Willem De Groef; Frank Piessens (ICISS, 2014)

Quite a mess in my cookie jar!: leveraging machine learning to protect web authentication. - Stefano Calzavara; Gabriele Tolomei; Michele Bugliesi; Salvatore Orlando 001 (WWW, 2014)

Behavioural equivalences and interference metrics for mobile ad-hoc networks. - Michele Bugliesi; Lucia Gallina; Sardaouna Hamadou; Andrea Marin; Sabina Rossi (Perform. Evaluation, 2014)

Model checking adaptive service compositions. - Michele Bugliesi; Andrea Marin; Sabina Rossi (Sci. Comput. Program., 2014)

Compositional Typed Analysis of ARBAC Policies. - Stefano Calzavara; Alvise Rabitti; Michele Bugliesi (CSF, 2015)

Fine-Grained Detection of Privilege Escalation Attacks on Browser Extensions. - Stefano Calzavara; Michele Bugliesi; Silvia Crafa; Enrico Steffinlongo (ESOP, 2015)

Formal Verification of Liferay RBAC. - Stefano Calzavara; Alvise Rabitti; Michele Bugliesi (ESSoS, 2015)

CookiExt: Patching the browser against session hijacking attacks. - Michele Bugliesi; Stefano Calzavara; Riccardo Focardi; Wilayat Khan (J. Comput. Secur., 2015)

Affine Refinement Types for Secure Distributed Programming. - Michele Bugliesi; Stefano Calzavara; Fabienne Eigner; Matteo Maffei (ACM Trans. Program. Lang. Syst., 2015)

A Supervised Learning Approach to Protect Client Authentication on the Web. - Stefano Calzavara; Gabriele Tolomei; Andrea Casini; Michele Bugliesi; Salvatore Orlando 001 (ACM Trans. Web, 2015)

Content Security Problems?: Evaluating the Effectiveness of Content Security Policy in the Wild. - Stefano Calzavara; Alvise Rabitti; Michele Bugliesi (CCS, 2016)

Messge from the ECPE Organizing Committee. - Tiberiu Seceleanu; Tiziana Margaria; Rajesh Subramanyan; Michele Bugliesi; Cristina Seceleanu; Bruce M. McMillin (COMPSAC, 2016)

Static Detection of Collusion Attacks in ARBAC-Based Workflow Systems. - Stefano Calzavara; Alvise Rabitti; Enrico Steffinlongo; Michele Bugliesi (CSF, 2016)

Security protocol specification and verification with AnBx. - Michele Bugliesi; Stefano Calzavara; Sebastian Mödersheim; Paolo Modesti (J. Inf. Secur. Appl., 2016)

CCSP: Controlled Relaxation of Content Security Policies by Runtime Policy Composition. - Stefano Calzavara; Alvise Rabitti; Michele Bugliesi (USENIX Security Symposium, 2017)

Formal methods for web security. - Michele Bugliesi; Stefano Calzavara; Riccardo Focardi (J. Log. Algebraic Methods Program., 2017)

Dr Cookie and Mr Token - Web Session Implementations and How to Live with Them. - Stefano Calzavara; Alvise Rabitti; Michele Bugliesi (ITASEC, 2018)

Semantics-Based Analysis of Content Security Policy Deployment. - Stefano Calzavara; Alvise Rabitti; Michele Bugliesi (ACM Trans. Web, 2018)

Testing for Integrity Flaws in Web Sessions. - Stefano Calzavara; Alvise Rabitti; Alessio Ragazzo; Michele Bugliesi (ESORICS (2), 2019)

Semantically Sound Analysis of Content Security Policies. - Stefano Calzavara; Alvise Rabitti; Michele Bugliesi (FORTE, 2019)

Sub-session hijacking on the web: Root causes and prevention. - Stefano Calzavara; Alvise Rabitti; Michele Bugliesi (J. Comput. Secur., 2019)

Cryptographic Web Applications: from Security Engineering to Formal Analysis. - Michele Bugliesi; Stefano Calzavara; Alvise Rabitti (Handb. Formal Anal. Verification Cryptogr., 2023)

ALGOMOVE - A Move Embedding for Algorand. - Lorenzo Benetollo; Michele Bugliesi; Silvia Crafa; Sabina Rossi; Alvise Spanò (Blockchain, 2023)

Vulnerability Detection in Ethereum Smart Contracts via Machine Learning: A Qualitative Analysis. - Dalila Ressi; Alvise Spanò; Lorenzo Benetollo; Carla Piazza; Michele Bugliesi; Sabina Rossi (CoRR, 2024)

Assessing Code Understanding in LLMs. - Cosimo Laneve; Alvise Spanò; Dalila Ressi; Sabina Rossi; Michele Bugliesi (FORTE, 2025)

Smart contract languages: A comparative analysis. - Massimo Bartoletti; Lorenzo Benetollo; Michele Bugliesi; Silvia Crafa; Giacomo Dal Sasso; Roberto Pettinau; Andrea Pinna 002; Mattia Piras; Sabina Rossi; Stefano Salis; Alvise Spanò; Viacheslav Tkachenko; et al. (Future Gener. Comput. Syst., 2025)