| 2025 | VTC | OLIVE: Adaptive Containerized Architecture for Multi-Factor Authentication in V2X. | Marco De Vincenzi, Chiara Bodei, Ilaria Matteucci |
| 2025 | VTC | TLM: A Spatial Messaging Language for Autonomous Vehicle Navigation. | Marco De Vincenzi, Chiara Bodei, Ilaria Matteucci, Sanjay E. Sarma, Stephen S. Ho |
| 2024 | ISoLA | Riding the Data Storms: Specifying and Analysing IoT Security Requirements with SURFING. | Francesco Rubino, Chiara Bodei, Gian-Luigi Ferrari |
| 2024 | SAC | OLIVE: Flexible, Portable, and Sustainable V2X Multi-Factor Authentication. | Marco De Vincenzi, Chiara Bodei, Ilaria Matteucci |
| 2023 | AICCSA | Securing Automotive Ethernet: Design and Implementation of Security Data Link Solutions. | Marco De Vincenzi, Chiara Bodei, Ilaria Matteucci |
| 2023 | ICISSP | Vehicle Data Collection: A Privacy Policy Analysis and Comparison. | Chiara Bodei, Gianpiero Costantino, Marco De Vincenzi, Ilaria Matteucci, Anna Monreale |
| 2023 | INDIN | From Hardware-Functional to Software-Defined Vehicles and their Security Issues. | Chiara Bodei, Marco De Vincenzi, Ilaria Matteucci |
| 2019 | ICISSP | Tracking Data Trajectories in IoT. | Chiara Bodei, Letterio Galletta |
| 2019 | ICISSP | Analysing the Provenance of IoT Data. | Chiara Bodei, Letterio Galletta |
| 2018 | TACAS | From Natural Projection to Partial Model Checking and Back. | Gabriele Costa, David A. Basin, Chiara Bodei, Pierpaolo Degano, Letterio Galletta |
| 2017 | PACT | Experimenting with a Context-Aware Language. | Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta |
| 2016 | Coordination | Where Do Your IoT Ingredients Come From? | Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta |
| 2015 | LOPSTR | A Global Occurrence Counting Analysis for Brane Calculi. | Chiara Bodei, Linda Brodo, Roberta Gori, Diana Hermith, Francesca Levi |
| 2014 | ICTAC | Linguistic Mechanisms for Context-Aware Security. | Chiara Bodei, Pierpaolo Degano, Letterio Galletta, Francesco Salvatori |
| 2007 | FUN | Knitting for Fun: A Recursive Sweater. | Anna Bernasconi, Chiara Bodei, Linda Pagli |
| 2005 | PACT | On Evaluating the Performance of Security Protocols. | Chiara Bodei, Mikael Buchholtz, Michele Curti, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson, Corrado Priami |
| 2004 | ESOP | A Control Flow Analysis for Safe and Boxed Ambients. | Francesca Levi, Chiara Bodei |
| 2003 | PACT | Authentication Primitives for Protocol Specifications. | Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Corrado Priami |
| 2001 | PACT | Static Analysis for Secrecy and Non-interference in Networks of Processes. | Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson |
| 1999 | FOSSACS | Static Analysis of Processes for No and Read-Up nad No Write-Down. | Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson |
| 1998 | CONCUR | Control Flow Analysis for the pi-calculus. | Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson |
| 1998 | SAS | Constructing Specific SOS Semantics for Concurrency via Abstract Interpretation. | Chiara Bodei, Pierpaolo Degano, Corrado Priami |
| 1997 | SAS | True Concurrency via Abstract Interpretation. | Chiara Bodei, Corrado Priami |
| 1996 | ICALP | Mobile Processes with a Distributed Environment. | Chiara Bodei, Pierpaolo Degano, Corrado Priami |