Chiara Bodei

Publication Activity (10 Years)

Years Active: 1996-2024
Publications (10 Years): 38

Top Topics

Context Aware Mobile

Gene Regulatory

Static Analysis

Top Venues

Theor. Comput. Sci.

J. Comput. Secur.

Publications

Marco De Vincenzi, Chiara Bodei, Ilaria Matteucci
OLIVE: Flexible, Portable, and Sustainable V2X Multi-Factor Authentication. SAC (2024)
Marco De Vincenzi, Chiara Bodei, Ilaria Matteucci
Securing Automotive Ethernet: Design and Implementation of Security Data Link Solutions. AICCSA (2023)
Chiara Bodei, Marco De Vincenzi, Ilaria Matteucci
From Hardware-Functional to Software-Defined Vehicles and their Security Issues. INDIN (2023)
Chiara Bodei, Gianpiero Costantino, Marco De Vincenzi, Ilaria Matteucci, Anna Monreale
Data Collection in Automotive: A Deep Analysis of Carmakers' Mobile App Privacy Policies. ITSC (2023)
Chiara Bodei, Gianpiero Costantino, Marco De Vincenzi, Ilaria Matteucci, Anna Monreale
Vehicle Data Collection: A Privacy Policy Analysis and Comparison. ICISSP (2023)
Chiara Bodei, Lorenzo Ceragioli, Pierpaolo Degano, Riccardo Focardi, Letterio Galletta, Flaminia L. Luccio, Mauro Tempesta, Lorenzo Veronese
FWS: Analyzing, maintaining and transcompiling firewalls. J. Comput. Secur. 29 (1) (2021)
Chiara Bodei, Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta
Modelling and analysing IoT systems. J. Parallel Distributed Comput. 157 (2021)
Chiara Bodei, Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta
Security Metrics at Work on the Things in IoT Systems. From Lambda Calculus to Cybersecurity Through Program Analysis (2020)
Gabriele Costa, Letterio Galletta, Pierpaolo Degano, David A. Basin, Chiara Bodei
Natural Projection as Partial Model Checking. J. Autom. Reason. 64 (7) (2020)
Chiara Bodei, Linda Brodo, Roberto Bruni
The link-calculus for open multiparty interactions. Inf. Comput. 275 (2020)
Chiara Bodei, Letterio Galletta
Analysing the Provenance of IoT Data. ICISSP (Revised Selected Papers) (2019)
Chiara Bodei, Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta
Programming in a context-aware language. J. Supercomput. 75 (12) (2019)
Chiara Bodei, Linda Brodo, Roberto Bruni
A formal approach to open multiparty interactions. Theor. Comput. Sci. 763 (2019)
Chiara Bodei, Stefano Chessa, Letterio Galletta
Measuring security in IoT communications. Theor. Comput. Sci. 764 (2019)
Chiara Bodei, Letterio Galletta
Tracking Data Trajectories in IoT. ICISSP (2019)
Chiara Bodei, Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta
Revealing the Trajectories of KLAIM Tuples, Statically. Models, Languages, and Tools for Concurrent and Distributed Programming (2019)
Gabriele Costa, David A. Basin, Chiara Bodei, Pierpaolo Degano, Letterio Galletta
From Natural Projection to Partial Model Checking and Back. TACAS (1) (2018)
Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Letterio Galletta, Mauro Tempesta, Lorenzo Veronese
Firewall Management With FireWall Synthesizer. ITASEC (2018)
Chiara Bodei, Pierpaolo Degano, Letterio Galletta, Riccardo Focardi, Mauro Tempesta, Lorenzo Veronese
Language-Independent Synthesis of Firewall Policies. EuroS&P (2018)
Chiara Bodei, Linda Brodo, Roberto Bruni
A Formal Approach to Open Multiparty Interactions. CoRR (2018)
Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Letterio Galletta, Mauro Tempesta
Transcompiling Firewalls. POST (2018)
Chiara Bodei, Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta
Experimenting with a Context-Aware Language. PaCT (2017)
Chiara Bodei, Linda Brodo, Roberta Gori, Francesca Levi, Antonio Bernini, Diana Hermith
A static analysis for Brane Calculi providing global occurrence counting information. Theor. Comput. Sci. 696 (2017)
Chiara Bodei, Pierpaolo Degano, Letterio Galletta, Emilio Tuosto
Tool Supported Analysis of IoT. ICE@DisCoTec (2017)
Chiara Bodei, Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta
Tracing where IoT data are collected and aggregated. Log. Methods Comput. Sci. 13 (3) (2017)
Chiara Bodei, Letterio Galletta
Tracking Sensitive and Untrustworthy Data in IoT. ITASEC (2017)
Chiara Bodei, Viet Dung Dinh, Gian Luigi Ferrari
Checking global usage of resources handled with local policies. Sci. Comput. Program. 133 (2017)
Chiara Bodei, Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta
Where Do Your IoT Ingredients Come From? COORDINATION (2016)
Chiara Bodei, Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta
Last Mile's Resources. Semantics, Logics, and Calculi (2016)
Chiara Bodei, Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta
A Step Towards Checking Security in IoT. ICE (2016)
Chiara Bodei, Pierpaolo Degano, Letterio Galletta, Francesco Salvatori
Context-aware security: Linguistic mechanisms and static analysis. J. Comput. Secur. 24 (4) (2016)
Chiara Bodei, Letterio Galletta
The Cost of Securing IoT Communications. ICTCS (2016)
Chiara Bodei, Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta
Tracing where IoT data are collected and aggregated. CoRR (2016)
Chiara Bodei, Linda Brodo, Riccardo Focardi
Static Evidences for Attack Reconstruction. Programming Languages with Applications to Biology and Security (2015)
Chiara Bodei, Gian Luigi Ferrari, Corrado Priami
Pierpaolo Degano. Programming Languages with Applications to Biology and Security (2015)
Chiara Bodei, Linda Brodo, Roberta Gori, Diana Hermith, Francesca Levi
A Global Occurrence Counting Analysis for Brane Calculi. LOPSTR (2015)
Chiara Bodei, Roberta Gori, Francesca Levi
Causal static analysis for Brane Calculi. Theor. Comput. Sci. 587 (2015)
Chiara Bodei, Luca Bortolussi, Davide Chiarugi, Maria Luisa Guerriero, Alberto Policriti, Alessandro Romanel
On the impact of discreteness and abstractions on modelling noise in gene regulatory networks. Comput. Biol. Chem. 56 (2015)
Chiara Bodei, Linda Brodo, Roberto Bruni, Davide Chiarugi
A Flat Process Calculus for Nested Membrane Interactions. Sci. Ann. Comput. Sci. 24 (1) (2014)
Chiara Bodei, Pierpaolo Degano, Letterio Galletta, Francesco Salvatori
Linguistic Mechanisms for Context-Aware Security. ICTAC (2014)
Chiara Bodei, Pierpaolo Degano, Letterio Galletta, Gianluca Mezzetti, GianLuigi Ferrari
Security in Pervasive Applications: A Survey. Eur. J. Law Technol. 4 (2) (2013)
Chiara Bodei, Roberta Gori, Francesca Levi
An Analysis for Causal Properties of Membrane Interactions. Electron. Notes Theor. Comput. Sci. 299 (2013)
Chiara Bodei, Linda Brodo, Davide Chiarugi
Control Flow Analysis of Generalised Boolean Networks. Electron. Notes Theor. Comput. Sci. 284 (2012)
Chiara Bodei, Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta, Gianluca Mezzetti
Formalising Security in Ubiquitous and Cloud Scenarios. CISIM (2012)
Chiara Bodei, Linda Brodo, Roberto Bruni
Open Multiparty Interaction. WADT (2012)
Chiara Bodei, Linda Brodo
Brane Calculi Systems: A Static Preview of their Possible Behaviour CoRR (2011)
Chiara Bodei, Viet Dung Dinh, Gian Luigi Ferrari
Predicting global usages of resources endowed with local policies FOCLASA (2011)
Chiara Bodei, Viet Dung Dinh, Gian Luigi Ferrari
Safer in the Clouds (Extended Abstract) ICE (2010)
Chiara Bodei, Andrea Bracciali, Davide Chiarugi, Roberta Gori
A Taxonomy of Causality-Based Biological Properties FBTC (2010)
Chiara Bodei, Linda Brodo, Pierpaolo Degano, Han Gao
Detecting and preventing type flaws at static time. J. Comput. Secur. 18 (2) (2010)
Chiara Bodei, Andrea Bracciali, Davide Chiarugi
Control Flow Analysis for Brane Calculi. Electron. Notes Theor. Comput. Sci. 227 (2009)
Chiara Bodei, Linda Brodo, Roberto Bruni
Static Detection of Logic Flaws in Service-Oriented Applications. ARSPA-WITS (2009)
Chiara Bodei
A Control Flow Analysis for Beta-binders with and without static compartments. Theor. Comput. Sci. 410 (33-34) (2009)
Chiara Bodei, Gian Luigi Ferrari
Choreography Rehearsal. WS-FM (2009)
Han Gao, Chiara Bodei, Pierpaolo Degano
A Formal Analysis of Complex Type Flaw Attacks on Security Protocols. AMAST (2008)
Chiara Bodei, Andrea Bracciali, Davide Chiarugi
On deducing causality in metabolic networks. BMC Bioinform. 9 (S-4) (2008)
Chiara Bodei
A Static Analysis for Beta-Binders. Electron. Notes Theor. Comput. Sci. 194 (3) (2008)
Anna Bernasconi, Chiara Bodei, Linda Pagli
Knitting for Fun: A Recursive Sweater. FUN (2007)
Chiara Bodei, Pierpaolo Degano, Han Gao, Linda Brodo
Detecting and Preventing Type flaws: a Control Flow Analysis with Tags. Electron. Notes Theor. Comput. Sci. 194 (1) (2007)
Han Gao, Chiara Bodei, Pierpaolo Degano, Hanne Riis Nielson
A Formal Analysis for Capturing Replay Attacks in Cryptographic Protocols. ASIAN (2007)
Chiara Bodei, Mikael Buchholtz, Michele Curti, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson, Corrado Priami
On Evaluating the Performance of Security Protocols. PaCT (2005)
Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Corrado Priami
Authentication primitives for secure protocol specifications. Future Gener. Comput. Syst. 21 (4) (2005)
Chiara Bodei, Michele Curti, Pierpaolo Degano, Corrado Priami
A Quantitative Study of Two Attacks. Electron. Notes Theor. Comput. Sci. 121 (2005)
Chiara Bodei, Michele Curti, Pierpaolo Degano, Mikael Buchholtz, Flemming Nielson, Hanne Riis Nielson, Corrado Priami
Performance Evaluation of Security Protocols Specified in LySa. Electron. Notes Theor. Comput. Sci. 112 (2005)
Chiara Bodei, Pierpaolo Degano, Corrado Priami
Checking security policies through an enhanced Control Flow Analysis. J. Comput. Secur. 13 (1) (2005)
Chiara Bodei, Mikael Buchholtz, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson
Static validation of security protocols. J. Comput. Secur. 13 (3) (2005)
Francesca Levi, Chiara Bodei
A Control Flow Analysis for Safe and Boxed Ambients. ESOP (2004)
Chiara Bodei, Mikael Buchholtz, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson
Automatic Validation of Protocol Narration. CSFW (2003)
Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Corrado Priami
Authentication Primitives for Protocol Specifications. PaCT (2003)
Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Corrado Priami
Primitives for authentication in process algebras. Theor. Comput. Sci. 283 (2) (2002)
Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson
Flow logic for Dolev-Yao secrecy in cryptographic processes. Future Gener. Comput. Syst. 18 (6) (2002)
Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli
Techniques for Security Checking: Non-Interference vs Control Flow Analysis. Electron. Notes Theor. Comput. Sci. 62 (2001)
Chiara Bodei, Pierpaolo Degano, Corrado Priami
Names of the -calculus agents handled locally. Theor. Comput. Sci. 253 (2) (2001)
Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson
Static Analysis for Secrecy and Non-interference in Networks of Processes. PaCT (2001)
Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson
Static Analysis for the pi-Calculus with Applications to Security. Inf. Comput. 168 (1) (2001)
Pierpaolo Degano, Francesca Levi, Chiara Bodei
Safe Ambients: Control Flow Analysis and Security. ASIAN (2000)
Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson
Security Analysis using Flow Logics. Bull. EATCS 70 (2000)
Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Corrado Priami
Authentication via Localized Names. CSFW (1999)
Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson
Static Analysis of Processes for No and Read-Up nad No Write-Down. FoSSaCS (1999)
Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson
Control Flow Analysis for the pi-calculus. CONCUR (1998)
Chiara Bodei, Pierpaolo Degano, Corrado Priami
Constructing Specific SOS Semantics for Concurrency via Abstract Interpretation. SAS (1998)
Chiara Bodei, Corrado Priami
True Concurrency via Abstract Interpretation. SAS (1997)
Chiara Bodei, Pierpaolo Degano, Corrado Priami
Mobile Processes with a Distributed Environment. ICALP (1996)