Michele Bugliesi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
32
Venues
19
Active years
1992–2025
Best venue rank
A*
Where they publish
Papers
32 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | FORTE | Assessing Code Understanding in LLMs. | Cosimo Laneve, Alvise Span, Dalila Ressi, Sabina Rossi, Michele Bugliesi |
| 2019 | ESORICS | Testing for Integrity Flaws in Web Sessions. | Stefano Calzavara, Alvise Rabitti, Alessio Ragazzo, Michele Bugliesi |
| 2019 | FORTE | Semantically Sound Analysis of Content Security Policies. | Stefano Calzavara, Alvise Rabitti, Michele Bugliesi |
| 2016 | CCS | Content Security Problems?: Evaluating the Effectiveness of Content Security Policy in the Wild. | Stefano Calzavara, Alvise Rabitti, Michele Bugliesi |
| 2016 | COMPSAC | Messge from the ECPE Organizing Committee. | Tiberiu Seceleanu, Tiziana Margaria, Rajesh Subramanyan, Michele Bugliesi, Cristina Seceleanu, Bruce M. McMillin |
| 2015 | ESOP | Fine-Grained Detection of Privilege Escalation Attacks on Browser Extensions. | Stefano Calzavara, Michele Bugliesi, Silvia Crafa, Enrico Steffinlongo |
| 2014 | ICISS | Client Side Web Session Integrity as a Non-interference Property. | Wilayat Khan, Stefano Calzavara, Michele Bugliesi, Willem De Groef, Frank Piessens |
| 2014 | WWW | Quite a mess in my cookie jar!: leveraging machine learning to protect web authentication. | Stefano Calzavara, Gabriele Tolomei, Michele Bugliesi, Salvatore Orlando |
| 2013 | FORTE | Lintent: Towards Security Type-Checking of Android Applications. | Michele Bugliesi, Stefano Calzavara, Alvise Span |
| 2012 | EICS | A formal specification for casanova, a language for computer games. | Giuseppe Maggiore, Alvise Span, Renzo Orsini, Michele Bugliesi, Mohamed Abbadi, Enrico Steffinlongo |
| 2012 | ICEC | Writing Real-Time .Net Games in Casanova. | Giuseppe Maggiore, Pieter Spronck, Renzo Orsini, Michele Bugliesi, Enrico Steffinlongo, Mohamed Abbadi |
| 2012 | SAC | A compilation technique to increase X3D performance and safety. | Giuseppe Maggiore, Fabio Pittarello, Michele Bugliesi, Mohamed Abbadi |
| 2011 | ICSoft | Type-flow Analysis for Legacy COBOL Code. | Alvise Span, Michele Bugliesi, Agostino Cortesi |
| 2011 | ICSoft | Typing Legacy COBOL Code. | Alvise Span, Michele Bugliesi, Agostino Cortesi |
| 2008 | SYNASC | A Theory of Adaptable Contract-Based Service Composition. | Giovanni Bernardi, Michele Bugliesi, Damiano Macedonio, Sabina Rossi |
| 2007 | POPL | Secure implementations of typed channel abstractions. | Michele Bugliesi, Marco Giunti |
| 2004 | CCS | Authenticity by tagging and typing. | Michele Bugliesi, Riccardo Focardi, Matteo Maffei |
| 2004 | CONCUR | Type Based Discretionary Access Control. | Michele Bugliesi, Dario Colazzo, Silvia Crafa |
| 2004 | ESOP | Compositional Analysis of Authentication Protocols. | Michele Bugliesi, Riccardo Focardi, Matteo Maffei |
| 2003 | FCT | Context-Sensitive Equivalences for Non-interference Based Protocol Analysis. | Michele Bugliesi, Ambra Ceccato, Sabina Rossi |
| 2003 | ICALP | Secrecy in Untrusted Networks. | Michele Bugliesi, Silvia Crafa, Amela Prelic, Vladimiro Sassone |
| 2001 | CONCUR | Reasoning about Security in Mobile Ambients. | Michele Bugliesi, Giuseppe Castagna, Silvia Crafa |
| 2001 | POPL | Secure safe ambients. | Michele Bugliesi, Giuseppe Castagna |
| 2000 | CONCUR | Typed Mobile Objects. | Michele Bugliesi, Giuseppe Castagna, Silvia Crafa |
| 1999 | FCT | Interpretations of Extensible Objects and Types. | Viviana Bono, Michele Bugliesi |
| 1996 | ICLP | A Linear Logic Calculus Objects. | Michele Bugliesi, Giorgio Delzanno, Luigi Liquori, Maurizio Martelli |
| 1996 | MFCS | A Lambda Calculus of Incomplete Objects. | Viviana Bono, Michele Bugliesi, Luigi Liquori |
| 1995 | ICDT | A Stable Model Semantics for Behavioral Inheritance in Deductive Object Oriented Languages. | Michele Bugliesi, Hasan M. Jamil |
| 1993 | ICLP | A New Fixpoint Semantics for Prolog. | Annalisa Bossi, Michele Bugliesi, Massimo Fabris |
| 1993 | ICLP | SelfLog: Language and Implementation. | Michele Bugliesi, Giuseppe Nardiello |
| 1993 | POPL | Differential Logic Programming. | Annalisa Bossi, Michele Bugliesi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo |
| 1992 | ICLP | A Declarative View of Inheritance in Logic Programming. | Michele Bugliesi |