Michele Bugliesi

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