Mobile Processes with a Distributed Environment. - Chiara Bodei; Pierpaolo Degano; Corrado Priami (ICALP, 1996)

True Concurrency via Abstract Interpretation. - Chiara Bodei; Corrado Priami (SAS, 1997)

Control Flow Analysis for the pi-calculus. - Chiara Bodei; Pierpaolo Degano; Flemming Nielson; Hanne Riis Nielson (CONCUR, 1998)

Constructing Specific SOS Semantics for Concurrency via Abstract Interpretation. - Chiara Bodei; Pierpaolo Degano; Corrado Priami (SAS, 1998)

Authentication via Localized Names. - Chiara Bodei; Pierpaolo Degano; Riccardo Focardi; Corrado Priami (CSFW, 1999)

Static Analysis of Processes for No and Read-Up nad No Write-Down. - Chiara Bodei; Pierpaolo Degano; Flemming Nielson; Hanne Riis Nielson (FoSSaCS, 1999)

Safe Ambients: Control Flow Analysis and Security. - Pierpaolo Degano; Francesca Levi; Chiara Bodei (ASIAN, 2000)

Security Analysis using Flow Logics. - Chiara Bodei; Pierpaolo Degano; Flemming Nielson; Hanne Riis Nielson (Bull. EATCS, 2000)

Security Analysis Using Flow Logics. - Chiara Bodei; Pierpaolo Degano; Flemming Nielson; Hanne Riis Nielson (Current Trends in Theoretical Computer Science, 2001)

Static Analysis for Secrecy and Non-interference in Networks of Processes. - Chiara Bodei; Pierpaolo Degano; Flemming Nielson; Hanne Riis Nielson (PaCT, 2001)

Techniques for Security Checking: Non-Interference vs Control Flow Analysis. - Chiara Bodei; Pierpaolo Degano; Riccardo Focardi; Roberto Gorrieri; Fabio Martinelli (TOSCA, 2001)

Static Analysis for the pi-Calculus with Applications to Security. - Chiara Bodei; Pierpaolo Degano; Flemming Nielson; Hanne Riis Nielson (Inf. Comput., 2001)

Names of the -calculus agents handled locally. - Chiara Bodei; Pierpaolo Degano; Corrado Priami (Theor. Comput. Sci., 2001)

Flow logic for Dolev-Yao secrecy in cryptographic processes. - Chiara Bodei; Pierpaolo Degano; Flemming Nielson; Hanne Riis Nielson (Future Gener. Comput. Syst., 2002)

Primitives for authentication in process algebras. - Chiara Bodei; Pierpaolo Degano; Riccardo Focardi; Corrado Priami (Theor. Comput. Sci., 2002)

Automatic Validation of Protocol Narration. - Chiara Bodei; Mikael Buchholtz; Pierpaolo Degano; Flemming Nielson; Hanne Riis Nielson (CSFW, 2003)

Authentication Primitives for Protocol Specifications. - Chiara Bodei; Pierpaolo Degano; Riccardo Focardi; Corrado Priami (PaCT, 2003)

A Control Flow Analysis for Safe and Boxed Ambients. - Francesca Levi; Chiara Bodei (ESOP, 2004)

Performance Evaluation of Security Protocols Specified in LySa. - Chiara Bodei; Michele Curti; Pierpaolo Degano; Mikael Buchholtz; Flemming Nielson; Hanne Riis Nielson; Corrado Priami (QAPL, 2004)

A Quantitative Study of Two Attacks. - Chiara Bodei; Michele Curti; Pierpaolo Degano; Corrado Priami (WISP@ICATPN, 2004)

On Evaluating the Performance of Security Protocols. - Chiara Bodei; Mikael Buchholtz; Michele Curti; Pierpaolo Degano; Flemming Nielson; Hanne Riis Nielson; Corrado Priami (PaCT, 2005)

Authentication primitives for secure protocol specifications. - Chiara Bodei; Pierpaolo Degano; Riccardo Focardi; Corrado Priami (Future Gener. Comput. Syst., 2005)

Static validation of security protocols. - Chiara Bodei; Mikael Buchholtz; Pierpaolo Degano; Flemming Nielson; Hanne Riis Nielson (J. Comput. Secur., 2005)

Checking security policies through an enhanced Control Flow Analysis. - Chiara Bodei; Pierpaolo Degano; Corrado Priami (J. Comput. Secur., 2005)

A Formal Analysis for Capturing Replay Attacks in Cryptographic Protocols. - Han Gao 002; Chiara Bodei; Pierpaolo Degano; Hanne Riis Nielson (ASIAN, 2007)

Knitting for Fun: A Recursive Sweater. - Anna Bernasconi 001; Chiara Bodei; Linda Pagli (FUN, 2007)

A Static Analysis for Beta-Binders. - Chiara Bodei (FBTC@CONCUR, 2007)

Detecting and Preventing Type flaws: a Control Flow Analysis with Tags. - Chiara Bodei; Pierpaolo Degano; Han Gao 002; Linda Brodo (SecCO@CONCUR, 2007)

A Formal Analysis of Complex Type Flaw Attacks on Security Protocols. - Han Gao 002; Chiara Bodei; Pierpaolo Degano (AMAST, 2008)

On deducing causality in metabolic networks. - Chiara Bodei; Andrea Bracciali; Davide Chiarugi (BMC Bioinform., 2008)

Control Flow Analysis for Brane Calculi. - Chiara Bodei; Andrea Bracciali; Davide Chiarugi (MeCBIC, 2008)

Static Detection of Logic Flaws in Service-Oriented Applications. - Chiara Bodei; Linda Brodo; Roberto Bruni 001 (ARSPA-WITS, 2009)

Choreography Rehearsal. - Chiara Bodei; Gian-Luigi Ferrari 002 (WS-FM, 2009)

A Control Flow Analysis for Beta-binders with and without static compartments. - Chiara Bodei (Theor. Comput. Sci., 2009)

A Taxonomy of Causality-Based Biological Properties - Chiara Bodei; Andrea Bracciali; Davide Chiarugi; Roberta Gori (FBTC, 2010)

Safer in the Clouds (Extended Abstract) - Chiara Bodei; Viet Dung Dinh; Gian-Luigi Ferrari 002 (ICE, 2010)

Detecting and preventing type flaws at static time. - Chiara Bodei; Linda Brodo; Pierpaolo Degano; Han Gao 002 (J. Comput. Secur., 2010)

Static Analysis Techniques for Session-Oriented Calculi. - Lucia Acciai; Chiara Bodei; Michele Boreale; Roberto Bruni 001; Hugo Torres Vieira (Results of the SENSORIA Project, 2011)

Predicting global usages of resources endowed with local policies - Chiara Bodei; Viet Dung Dinh; Gian-Luigi Ferrari 002 (FOCLASA, 2011)

Brane Calculi Systems: A Static Preview of their Possible Behaviour - Chiara Bodei; Linda Brodo (CoRR, 2011)

Control Flow Analysis of Generalised Boolean Networks. - Chiara Bodei; Linda Brodo; Davide Chiarugi (SASB, 2011)

Formalising Security in Ubiquitous and Cloud Scenarios. - Chiara Bodei; Pierpaolo Degano; Gian-Luigi Ferrari 002; Letterio Galletta; Gianluca Mezzetti (CISIM, 2012)

Open Multiparty Interaction. - Chiara Bodei; Linda Brodo; Roberto Bruni 001 (WADT, 2012)

An Analysis for Causal Properties of Membrane Interactions. - Chiara Bodei; Roberta Gori; Francesca Levi (CS2Bio, 2013)

Security in Pervasive Applications: A Survey. - Chiara Bodei; Pierpaolo Degano; Letterio Galletta; Gianluca Mezzetti; Gianluigi Ferrari 002 (Eur. J. Law Technol., 2013)

Linguistic Mechanisms for Context-Aware Security. - Chiara Bodei; Pierpaolo Degano; Letterio Galletta; Francesco Salvatori (ICTAC, 2014)

A Flat Process Calculus for Nested Membrane Interactions. - Chiara Bodei; Linda Brodo; Roberto Bruni 001; Davide Chiarugi (Sci. Ann. Comput. Sci., 2014)

Static Evidences for Attack Reconstruction. - Chiara Bodei; Linda Brodo; Riccardo Focardi (Programming Languages with Applications to Biology and Security, 2015)

Pierpaolo Degano. - Chiara Bodei; Gian-Luigi Ferrari 002; Corrado Priami (Programming Languages with Applications to Biology and Security, 2015)

A Global Occurrence Counting Analysis for Brane Calculi. - Chiara Bodei; Linda Brodo; Roberta Gori; Diana Hermith; Francesca Levi (LOPSTR, 2015)

On the impact of discreteness and abstractions on modelling noise in gene regulatory networks. - Chiara Bodei; Luca Bortolussi; Davide Chiarugi; Maria Luisa Guerriero; Alberto Policriti; Alessandro Romanel (Comput. Biol. Chem., 2015)

Causal static analysis for Brane Calculi. - Chiara Bodei; Roberta Gori; Francesca Levi (Theor. Comput. Sci., 2015)

Last Mile's Resources. - Chiara Bodei; Pierpaolo Degano; Gian-Luigi Ferrari 002; Letterio Galletta (Semantics, Logics, and Calculi, 2016)

Where Do Your IoT Ingredients Come From? - Chiara Bodei; Pierpaolo Degano; Gian-Luigi Ferrari 002; Letterio Galletta (COORDINATION, 2016)

The Cost of Securing IoT Communications. - Chiara Bodei; Letterio Galletta (ICTCS, 2016)

A Step Towards Checking Security in IoT. - Chiara Bodei; Pierpaolo Degano; Gian-Luigi Ferrari 002; Letterio Galletta (ICE, 2016)

Context-aware security: Linguistic mechanisms and static analysis. - Chiara Bodei; Pierpaolo Degano; Letterio Galletta; Francesco Salvatori (J. Comput. Secur., 2016)

Tracking Sensitive and Untrustworthy Data in IoT. - Chiara Bodei; Letterio Galletta (ITASEC, 2017)

Experimenting with a Context-Aware Language. - Chiara Bodei; Pierpaolo Degano; Gian-Luigi Ferrari 002; Letterio Galletta (PaCT, 2017)

Tool Supported Analysis of IoT. - Chiara Bodei; Pierpaolo Degano; Letterio Galletta; Emilio Tuosto (ICE@DisCoTec, 2017)

Tracing where IoT data are collected and aggregated. - Chiara Bodei; Pierpaolo Degano; Gian-Luigi Ferrari 002; Letterio Galletta (Log. Methods Comput. Sci., 2017)

Checking global usage of resources handled with local policies. - Chiara Bodei; Viet Dung Dinh; Gian-Luigi Ferrari 002 (Sci. Comput. Program., 2017)

A static analysis for Brane Calculi providing global occurrence counting information. - Chiara Bodei; Linda Brodo; Roberta Gori; Francesca Levi; Antonio Bernini; Diana Hermith (Theor. Comput. Sci., 2017)

Language-Independent Synthesis of Firewall Policies. - Chiara Bodei; Pierpaolo Degano; Letterio Galletta; Riccardo Focardi; Mauro Tempesta; Lorenzo Veronese (EuroS&P, 2018)

Firewall Management With FireWall Synthesizer. - Chiara Bodei; Pierpaolo Degano; Riccardo Focardi; Letterio Galletta; Mauro Tempesta; Lorenzo Veronese (ITASEC, 2018)

Transcompiling Firewalls. - Chiara Bodei; Pierpaolo Degano; Riccardo Focardi; Letterio Galletta; Mauro Tempesta (POST, 2018)

From Natural Projection to Partial Model Checking and Back. - Gabriele Costa 001; David A. Basin; Chiara Bodei; Pierpaolo Degano; Letterio Galletta (TACAS (1), 2018)

Revealing the Trajectories of KLAIM Tuples, Statically. - Chiara Bodei; Pierpaolo Degano; Gian-Luigi Ferrari 002; Letterio Galletta (Models, Languages, and Tools for Concurrent and Distributed Programming, 2019)

Tracking Data Trajectories in IoT. - Chiara Bodei; Letterio Galletta (ICISSP, 2019)

Analysing the Provenance of IoT Data. - Chiara Bodei; Letterio Galletta (ICISSP (Revised Selected Papers), 2019)

A formal approach to open multiparty interactions. - Chiara Bodei; Linda Brodo; Roberto Bruni 001 (Theor. Comput. Sci., 2019)

Measuring security in IoT communications. - Chiara Bodei; Stefano Chessa; Letterio Galletta (Theor. Comput. Sci., 2019)

Programming in a context-aware language. - Chiara Bodei; Pierpaolo Degano; Gian-Luigi Ferrari 002; Letterio Galletta (J. Supercomput., 2019)

Security Metrics at Work on the Things in IoT Systems. - Chiara Bodei; Pierpaolo Degano; Gian-Luigi Ferrari 002; Letterio Galletta (From Lambda Calculus to Cybersecurity Through Program Analysis, 2020)

The link-calculus for open multiparty interactions. - Chiara Bodei; Linda Brodo; Roberto Bruni 001 (Inf. Comput., 2020)

Natural Projection as Partial Model Checking. - Gabriele Costa 001; Letterio Galletta; Pierpaolo Degano; David A. Basin; Chiara Bodei (J. Autom. Reason., 2020)

FWS: Analyzing, maintaining and transcompiling firewalls. - Chiara Bodei; Lorenzo Ceragioli; Pierpaolo Degano; Riccardo Focardi; Letterio Galletta; Flaminia L. Luccio; Mauro Tempesta; Lorenzo Veronese (J. Comput. Secur., 2021)

Modelling and analysing IoT systems. - Chiara Bodei; Pierpaolo Degano; Gian-Luigi Ferrari 002; Letterio Galletta (J. Parallel Distributed Comput., 2021)

Securing Automotive Ethernet: Design and Implementation of Security Data Link Solutions. - Marco De Vincenzi 001; Chiara Bodei; Ilaria Matteucci (AICCSA, 2023)

Vehicle Data Collection: A Privacy Policy Analysis and Comparison. - Chiara Bodei; Gianpiero Costantino; Marco De Vincenzi 001; Ilaria Matteucci; Anna Monreale (ICISSP, 2023)

From Hardware-Functional to Software-Defined Vehicles and their Security Issues. - Chiara Bodei; Marco De Vincenzi 001; Ilaria Matteucci (INDIN, 2023)

Data Collection in Automotive: A Deep Analysis of Carmakers' Mobile App Privacy Policies. - Chiara Bodei; Gianpiero Costantino; Marco De Vincenzi 001; Ilaria Matteucci; Anna Monreale (ITSC, 2023)

Risk Estimation in IoT Systems. - Chiara Bodei; Gian-Luigi Ferrari 002; Letterio Galletta; Pierpaolo Degano (Challenges of Software Verification, 2023)

Riding the Data Storms: Specifying and Analysing IoT Security Requirements with SURFING. - Francesco Rubino; Chiara Bodei; Gian-Luigi Ferrari 002 (ISoLA (1), 2024)

OLIVE: Flexible, Portable, and Sustainable V2X Multi-Factor Authentication. - Marco De Vincenzi 001; Chiara Bodei; Ilaria Matteucci (SAC, 2024)

Contextualizing Security and Privacy of Software-Defined Vehicles: State of the Art and Industry Perspectives. - Marco De Vincenzi 001; Mert D. Pesé; Chiara Bodei; Ilaria Matteucci; Richard R. Brooks; Monowar Hasan; Andrea Saracino; Mohammad Hamad; Sebastian Steinhorst (CoRR, 2024)

Formal analysis of an AUTOSAR-based basic software module. - Chiara Bodei; Marco De Vincenzi 001; Ilaria Matteucci (Int. J. Softw. Tools Technol. Transf., 2024)

Vehicular Communication Security: Multi-Channel and Multi-Factor Authentication. - Marco De Vincenzi 001; Shuyang Sun; Chen Bo Calvin Zhang; Manuel Garcia; Shaozu Ding; Chiara Bodei; Ilaria Matteucci; Sanjay E. Sarma; Dajiang Suo (CoRR, 2025)