Michele Bugliesi

According to our database, Michele Bugliesi authored at least 98 papers between 1989 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

ALGOMOVE - A Move Embedding for Algorand.

Lorenzo Benetollo, Michele Bugliesi, Silvia Crafa, Sabina Rossi, Alvise Spanò

Proceedings of the IEEE International Conference on Blockchain, 2023

Cryptographic Web Applications: from Security Engineering to Formal Analysis.

Michele Bugliesi, Stefano Calzavara, Alvise Rabitti

Proceedings of the Handbook of Formal Analysis and Verification in Cryptography, 2023

2019

Sub-session hijacking on the web: Root causes and prevention.

Stefano Calzavara, Alvise Rabitti, Michele Bugliesi

J. Comput. Secur., 2019

Semantically Sound Analysis of Content Security Policies.

Stefano Calzavara, Alvise Rabitti, Michele Bugliesi

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2019

Testing for Integrity Flaws in Web Sessions.

Stefano Calzavara, Alvise Rabitti, Alessio Ragazzo, Michele Bugliesi

Proceedings of the Computer Security - ESORICS 2019, 2019

2018

Semantics-Based Analysis of Content Security Policy Deployment.

Stefano Calzavara, Alvise Rabitti, Michele Bugliesi

ACM Trans. Web, 2018

Dr Cookie and Mr Token - Web Session Implementations and How to Live with Them.

Stefano Calzavara, Alvise Rabitti, Michele Bugliesi

Proceedings of the Second Italian Conference on Cyber Security, Milan, Italy, February 6th - to, 2018

2017

Formal methods for web security.

Michele Bugliesi, Stefano Calzavara, Riccardo Focardi

J. Log. Algebraic Methods Program., 2017

CCSP: Controlled Relaxation of Content Security Policies by Runtime Policy Composition.

Stefano Calzavara, Alvise Rabitti, Michele Bugliesi

Proceedings of the 26th USENIX Security Symposium, 2017

2016

Security protocol specification and verification with AnBx.

Michele Bugliesi, Stefano Calzavara, Sebastian Mödersheim, Paolo Modesti

J. Inf. Secur. Appl., 2016

Static Detection of Collusion Attacks in ARBAC-Based Workflow Systems.

Stefano Calzavara, Alvise Rabitti, Enrico Steffinlongo, Michele Bugliesi

Proceedings of the IEEE 29th Computer Security Foundations Symposium, 2016

Messge from the ECPE Organizing Committee.

Tiberiu Seceleanu, Tiziana Margaria, Rajesh Subramanyan, Michele Bugliesi, Cristina Seceleanu, Bruce M. McMillin

Proceedings of the 40th IEEE Annual Computer Software and Applications Conference, 2016

Content Security Problems?: Evaluating the Effectiveness of Content Security Policy in the Wild.

Stefano Calzavara, Alvise Rabitti, Michele Bugliesi

Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, 2016

2015

A Supervised Learning Approach to Protect Client Authentication on the Web.

Stefano Calzavara, Gabriele Tolomei, Andrea Casini, Michele Bugliesi, Salvatore Orlando

ACM Trans. Web, 2015

Affine Refinement Types for Secure Distributed Programming.

Michele Bugliesi, Stefano Calzavara, Fabienne Eigner, Matteo Maffei

ACM Trans. Program. Lang. Syst., 2015

CookiExt: Patching the browser against session hijacking attacks.

Michele Bugliesi, Stefano Calzavara, Riccardo Focardi, Wilayat Khan

J. Comput. Secur., 2015

Formal Verification of Liferay RBAC.

Stefano Calzavara, Alvise Rabitti, Michele Bugliesi

Proceedings of the Engineering Secure Software and Systems - 7th International Symposium, 2015

Fine-Grained Detection of Privilege Escalation Attacks on Browser Extensions.

Stefano Calzavara, Michele Bugliesi, Silvia Crafa, Enrico Steffinlongo

Proceedings of the Programming Languages and Systems, 2015

Compositional Typed Analysis of ARBAC Policies.

Stefano Calzavara, Alvise Rabitti, Michele Bugliesi

Proceedings of the IEEE 28th Computer Security Foundations Symposium, 2015

2014

Model checking adaptive service compositions.

Michele Bugliesi, Andrea Marin, Sabina Rossi

Sci. Comput. Program., 2014

Behavioural equivalences and interference metrics for mobile ad-hoc networks.

Michele Bugliesi, Lucia Gallina, Sardaouna Hamadou, Andrea Marin, Sabina Rossi

Perform. Evaluation, 2014

Quite a mess in my cookie jar!: leveraging machine learning to protect web authentication.

Stefano Calzavara, Gabriele Tolomei, Michele Bugliesi, Salvatore Orlando

Proceedings of the 23rd International World Wide Web Conference, 2014

Client Side Web Session Integrity as a Non-interference Property.

Wilayat Khan, Stefano Calzavara, Michele Bugliesi, Willem De Groef, Frank Piessens

Proceedings of the Information Systems Security - 10th International Conference, 2014

Automatic and Robust Client-Side Protection for Cookie-Based Sessions.

Michele Bugliesi, Stefano Calzavara, Riccardo Focardi, Wilayat Khan

Proceedings of the Engineering Secure Software and Systems - 6th International Symposium, 2014

Provably Sound Browser-Based Enforcement of Web Session Integrity.

Michele Bugliesi, Stefano Calzavara, Riccardo Focardi, Wilayat Khan, Mauro Tempesta

Proceedings of the IEEE 27th Computer Security Foundations Symposium, 2014

2013

Logical Foundations of Secure Resource Management in Protocol Implementations.

Michele Bugliesi, Stefano Calzavara, Fabienne Eigner, Matteo Maffei

Proceedings of the Principles of Security and Trust - Second International Conference, 2013

Lintent: Towards Security Type-Checking of Android Applications.

Michele Bugliesi, Stefano Calzavara, Alvise Spanò

Proceedings of the Formal Techniques for Distributed Systems, 2013

2012

Affine Refinement Types for Authentication and Authorization.

Michele Bugliesi, Stefano Calzavara, Fabienne Eigner, Matteo Maffei

Proceedings of the Trustworthy Global Computing - 7th International Symposium, 2012

On Casanova and Databases or the Similarity Between Games and DBs.

Giuseppe Maggiore, Renzo Orsini, Michele Bugliesi

Proceedings of the Twentieth Italian Symposium on Advanced Database Systems, 2012

A compilation technique to increase X3D performance and safety.

Giuseppe Maggiore, Fabio Pittarello, Michele Bugliesi, Mohamed Abbadi

Proceedings of the ACM Symposium on Applied Computing, 2012

Interference-Sensitive Preorders for MANETs.

Michele Bugliesi, Lucia Gallina, Andrea Marin, Sabina Rossi, Sardaouna Hamadou

Proceedings of the Ninth International Conference on Quantitative Evaluation of Systems, 2012

Writing Real-Time .Net Games in Casanova.

Giuseppe Maggiore, Pieter Spronck, Renzo Orsini, Michele Bugliesi, Enrico Steffinlongo, Mohamed Abbadi

Proceedings of the Entertainment Computing - ICEC 2012 - 11th International Conference, 2012

A formal specification for casanova, a language for computer games.

Giuseppe Maggiore, Alvise Spanò, Renzo Orsini, Michele Bugliesi, Mohamed Abbadi, Enrico Steffinlongo

Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2012

Gran: Model Checking Grsecurity RBAC Policies.

Michele Bugliesi, Stefano Calzavara, Riccardo Focardi, Marco Squarcina

Proceedings of the 25th IEEE Computer Security Foundations Symposium, 2012

2011

Typing Legacy COBOL Code.

Alvise Spanò, Michele Bugliesi, Agostino Cortesi

Proceedings of the Software and Data Technologies - 6th International Conference, 2011

Type-flow Analysis for Legacy COBOL Code.

Alvise Spanò, Michele Bugliesi, Agostino Cortesi

Proceedings of the ICSOFT 2011, 2011

Resource-Aware Authorization Policies for Statically Typed Cryptographic Protocols.

Michele Bugliesi, Stefano Calzavara, Fabienne Eigner, Matteo Maffei

Proceedings of the 24th IEEE Computer Security Foundations Symposium, 2011

Designing Casanova: A Language for Games.

Giuseppe Maggiore, Alvise Spanò, Renzo Orsini, Giulia Costantini, Michele Bugliesi, Mohamed Abbadi

Proceedings of the Advances in Computer Games - 13th International Conference, 2011

2010

Channel abstractions for network security.

Michele Bugliesi, Riccardo Focardi

Math. Struct. Comput. Sci., 2010

AnBx - Security Protocols Design and Verification.

Michele Bugliesi, Paolo Modesti

Proceedings of the Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, 2010

Secrecy and Authenticity Types for Secure Distributed Messaging.

Michele Bugliesi, Stefano Calzavara, Damiano Macedonio

Proceedings of the Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, 2010

2009

A type system for Discretionary Access Control.

Michele Bugliesi, Dario Colazzo, Silvia Crafa, Damiano Macedonio

Math. Struct. Comput. Sci., 2009

Compliance Preorders for Web Services.

Michele Bugliesi, Damiano Macedonio, Luca Pino, Sabina Rossi

Proceedings of the Web Services and Formal Methods, 6th International Workshop, 2009

2008

Security Abstractions and Intruder Models (Extended Abstract).

Michele Bugliesi, Riccardo Focardi

Proceedings of the 15th Workshop on Expressiveness in Concurrency, 2008

A Theory of Adaptable Contract-Based Service Composition.

Giovanni Bernardi, Michele Bugliesi, Damiano Macedonio, Sabina Rossi

Proceedings of the SYNASC 2008, 2008

Language Based Secure Communication.

Michele Bugliesi, Riccardo Focardi

Proceedings of the 21st IEEE Computer Security Foundations Symposium, 2008

2007

Space-aware ambients and processes.

Franco Barbanera, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Vladimiro Sassone

Theor. Comput. Sci., 2007

Dynamic types for authentication.

Michele Bugliesi, Riccardo Focardi, Matteo Maffei

J. Comput. Secur., 2007

Secure implementations of typed channel abstractions.

Michele Bugliesi, Marco Giunti

Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2007

Static vs Dynamic Typing for Access Control in Pi-Calculus.

Michele Bugliesi, Damiano Macedonio, Sabina Rossi

Proceedings of the Advances in Computer Science, 2007

2005

Non-interference proof techniques for the analysis of cryptographic protocols.

Michele Bugliesi, Sabina Rossi

J. Comput. Secur., 2005

Communication and mobility control in boxed ambients.

Michele Bugliesi, Silvia Crafa, Massimo Merro, Vladimiro Sassone

Inf. Comput., 2005

Typed Processes in Untyped Contexts.

Michele Bugliesi, Marco Giunti

Proceedings of the Trustworthy Global Computing, International Symposium, 2005

Analysis of Typed Analyses of Authentication Protocols.

Michele Bugliesi, Riccardo Focardi, Matteo Maffei

Proceedings of the 18th IEEE Computer Security Foundations Workshop, 2005

2004

Access control for mobile agents: The calculus of boxed ambients.

Michele Bugliesi, Giuseppe Castagna, Silvia Crafa

ACM Trans. Program. Lang. Syst., 2004

Preface.

Viviana Bono, Michele Bugliesi, Sophia Drossopoulou

Proceedings of the Second Workshop on Object Oriented Developments, 2004

Compositional Analysis of Authentication Protocols.

Michele Bugliesi, Riccardo Focardi, Matteo Maffei

Proceedings of the Programming Languages and Systems, 2004

Type Based Discretionary Access Control.

Michele Bugliesi, Dario Colazzo, Silvia Crafa

Proceedings of the CONCUR 2004 - Concurrency Theory, 15th International Conference, London, UK, August 31, 2004

Authenticity by tagging and typing.

Michele Bugliesi, Riccardo Focardi, Matteo Maffei

Proceedings of the 2004 ACM Workshop on Formal Methods in Security Engineering, 2004

2003

First Workshop on Object Oriented Developments - Preface.

Viviana Bono, Michele Bugliesi

Proceedings of the Workshop on Object Oriented Developments, 2003

Secrecy in Untrusted Networks.

Michele Bugliesi, Silvia Crafa, Amela Prelic, Vladimiro Sassone

Proceedings of the Automata, Languages and Programming, 30th International Colloquium, 2003

Context-Sensitive Equivalences for Non-interference Based Protocol Analysis.

Michele Bugliesi, Ambra Ceccato, Sabina Rossi

Proceedings of the Fundamentals of Computation Theory, 14th International Symposium, 2003

Principles for Entity Authentication.

Michele Bugliesi, Riccardo Focardi, Matteo Maffei

Proceedings of the Perspectives of Systems Informatics, 2003

A Calculus of Bounded Capacities.

Franco Barbanera, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Vladimiro Sassone

Proceedings of the Advances in Computing Science, 2003

2002

Typed interpretations of extensible objects.

Viviana Bono, Michele Bugliesi, Silvia Crafa

ACM Trans. Comput. Log., 2002

Type Inference for Variant Object Types.

Michele Bugliesi, Santiago M. Pericás-Geertsen

Inf. Comput., 2002

Information Flow Security for Boxed Ambients.

Silvia Crafa, Michele Bugliesi, Giuseppe Castagna

Proceedings of the Foundations of Wide Area Network Computing, 2002

Behavioural typing for safe ambients.

Michele Bugliesi, Giuseppe Castagna

Comput. Lang. Syst. Struct., 2002

Communication Interference in Mobile Boxed Ambients.

Michele Bugliesi, Silvia Crafa, Massimo Merro, Vladimiro Sassone

Proceedings of the FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science, 2002

A Survey of Name-Passing Calculi and Crypto-Primitives.

Michele Bugliesi, Giuseppe Castagna, Silvia Crafa, Riccardo Focardi, Vladimiro Sassone

Proceedings of the Foundations of Security Analysis and Design II, 2002

2001

An overview of Boxed Ambients.

Giuseppe Castagna, Michele Bugliesi, Silvia Crafa

Proceedings of the Theory of Concurrency, Higher Order Languages and Types, 2001

Boxed Ambients.

Michele Bugliesi, Giuseppe Castagna, Silvia Crafa

Proceedings of the Theoretical Aspects of Computer Software, 4th International Symposium, 2001

Secure safe ambients.

Michele Bugliesi, Giuseppe Castagna

Proceedings of the Conference Record of POPL 2001: The 28th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2001

Subtyping and Matching for Mobile Objects.

Michele Bugliesi, Giuseppe Castagna, Silvia Crafa

Proceedings of the Theoretical Computer Science, 7th Italian Conference, 2001

Reasoning about Security in Mobile Ambients.

Michele Bugliesi, Giuseppe Castagna, Silvia Crafa

Proceedings of the CONCUR 2001, 2001

2000

Object calculi in linear logic.

Michele Bugliesi, Giorgio Delzanno, Luigi Liquori, Maurizio Martelli

J. Log. Comput., 2000

Typed Mobile Objects.

Michele Bugliesi, Giuseppe Castagna, Silvia Crafa

Proceedings of the CONCUR 2000, 2000

1999

Matching for the lambda Calculus of Objects.

Viviana Bono, Michele Bugliesi

Theor. Comput. Sci., 1999

A Subtyping for Extensible, Incomplete Objects.

Viviana Bono, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Luigi Liquori

Fundam. Informaticae, 1999

Interpretations of Extensible Objects and Types.

Viviana Bono, Michele Bugliesi

Proceedings of the Fundamentals of Computation Theory, 12th International Symposium, 1999

1998

Optimizing Modular Logic Languages.

Michele Bugliesi, Anna Ciampolini, Evelina Lamma, Paola Mello

ACM Comput. Surv., 1998

1997

Matching Constraints for the Lambda Calculus of Objects.

Viviana Bono, Michele Bugliesi

Proceedings of the Typed Lambda Calculi and Applications, 1997

Subtyping Constraints for Incomplete Objects (Extended Abstract).

Viviana Bono, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Luigi Liquori

Proceedings of the TAPSOFT'97: Theory and Practice of Software Development, 1997

1996

Differential Logic Programs: Programming Methodologies and Semantics.

Annalisa Bossi, Michele Bugliesi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo

Sci. Comput. Program., 1996

A Lambda Calculus of Incomplete Objects.

Viviana Bono, Michele Bugliesi, Luigi Liquori

Proceedings of the Mathematical Foundations of Computer Science 1996, 1996

A Linear Logic Calculus Objects.

Michele Bugliesi, Giorgio Delzanno, Luigi Liquori, Maurizio Martelli

Proceedings of the Logic Programming, 1996

1995

A Stable Model Semantics for Behavioral Inheritance in Deductive Object Oriented Languages.

Michele Bugliesi, Hasan M. Jamil

Proceedings of the Database Theory, 1995

1994

Modularity in Logic Programming.

Michele Bugliesi, Evelina Lamma, Paola Mello

J. Log. Program., 1994

A Logic for Encapsulation in Object-Oriented Languages.

Michele Bugliesi, Hasan M. Jamil

Proceedings of the 1994 Joint Conference on Declarative Programming, 1994

1993

Partial Deduction for Structured Logic Programming.

Michele Bugliesi, Evelina Lamma, Paola Mello

J. Log. Program., 1993

Differential Logic Programming.

Annalisa Bossi, Michele Bugliesi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo

Proceedings of the Conference Record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1993

SelfLog: Language and Implementation.

Michele Bugliesi, Giuseppe Nardiello

Proceedings of the Programming Language Implementation and Logic Programming, 1993

A New Fixpoint Semantics for Prolog.

Annalisa Bossi, Michele Bugliesi, Massimo Fabris

Proceedings of the 8th Italian Conference on Logic Programming, 1993

1992

A Declarative View of Inheritance in Logic Programming.

Michele Bugliesi

Proceedings of the Logic Programming, 1992

On the Semantics of Inheritance in Logic Programming: Compositionality and Full Abstraction.

Michele Bugliesi

Proceedings of the Extensions of Logic Programming, Third International Workshop, 1992

1990

Partial Evaluation for Hierarchies of Logic Theories.

Michele Bugliesi, Evelina Lamma, Paola Mello

Proceedings of the Logic Programming, Proceedings of the 1990 North American Conference, Austin, Texas, USA, October 29, 1990

Combinatory Forms for Equational Programming: Instances, Unification and Narrowing.

Marco Bellia, Michele Bugliesi, M. Eugenia Occhiuto

Proceedings of the CAAP '90, 1990

1989

Partial Evaluation in Prolog: Some Improvements about Cut.

Michele Bugliesi, F. Russo

Proceedings of the Logic Programming, 1989