Chiara Bodei - RankMe

96 papers A* 1A 2B 8C 7Misc 2Journal 35Unranked 37

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Vehicular Communication Security: Multi-Channel and Multi-Factor Authentication. IEEE Trans. Veh. Technol. Marco De Vincenzi, Shuyang Sun, Chen Bo Calvin Zhang, Manuel Garcia, Shaozu Ding, Chiara Bodei, Ilaria Matteucci, Sanjay E. Sarma, Dajiang Suo
2026	J	`jnl`	When AI takes the wheel: AI-defined vehicles principles and pitfalls. Frontiers Robotics AI Marco De Vincenzi, Chiara Bodei, Ilaria Matteucci
2025	J	`jnl`	CARBUROS: A Formally Verified Authentication Protocol for V2X Communications. IEEE Access Marco De Vincenzi, Chiara Bodei, Gabriele Costa, Ilaria Matteucci
2025	—	`conf`	OLIVE: Adaptive Containerized Architecture for Multi-Factor Authentication in V2X. VTC2025-Spring Marco De Vincenzi, Chiara Bodei, Ilaria Matteucci
2025	—	`conf`	TLM: A Spatial Messaging Language for Autonomous Vehicle Navigation. VTC2025-Fall Marco De Vincenzi, Chiara Bodei, Ilaria Matteucci, Sanjay E. Sarma, Stephen S. Ho
2025	J	`jnl`	Vehicular Communication Security: Multi-Channel and Multi-Factor Authentication. CoRR Marco De Vincenzi, Shuyang Sun, Chen Bo Calvin Zhang, Manuel Garcia, Shaozu Ding, Chiara Bodei, Ilaria Matteucci, Sanjay E. Sarma, Dajiang Suo
2024	J	`jnl`	Contextualizing Security and Privacy of Software-Defined Vehicles: State of the Art and Industry Perspectives. CoRR Marco De Vincenzi, Mert D. Pesé, Chiara Bodei, Ilaria Matteucci, Richard R. Brooks, Monowar Hasan, Andrea Saracino, Mohammad Hamad, Sebastian Steinhorst
2024	J	`jnl`	Formal analysis of an AUTOSAR-based basic software module. Int. J. Softw. Tools Technol. Transf. Chiara Bodei, Marco De Vincenzi, Ilaria Matteucci
2024	Misc	`conf`	OLIVE: Flexible, Portable, and Sustainable V2X Multi-Factor Authentication. SAC Marco De Vincenzi, Chiara Bodei, Ilaria Matteucci
2024	—	`conf`	Riding the Data Storms: Specifying and Analysing IoT Security Requirements with SURFING. ISoLA (1) Francesco Rubino, Chiara Bodei, Gian-Luigi Ferrari
2023	—	`conf`	Data Collection in Automotive: A Deep Analysis of Carmakers' Mobile App Privacy Policies. ITSC Chiara Bodei, Gianpiero Costantino, Marco De Vincenzi, Ilaria Matteucci, Anna Monreale
2023	C	`conf`	From Hardware-Functional to Software-Defined Vehicles and their Security Issues. INDIN Chiara Bodei, Marco De Vincenzi, Ilaria Matteucci
2023	—	`ch.`	Risk Estimation in IoT Systems. Challenges of Software Verification Chiara Bodei, Gian-Luigi Ferrari, Letterio Galletta, Pierpaolo Degano
2023	C	`conf`	Securing Automotive Ethernet: Design and Implementation of Security Data Link Solutions. AICCSA Marco De Vincenzi, Chiara Bodei, Ilaria Matteucci
2023	C	`conf`	Vehicle Data Collection: A Privacy Policy Analysis and Comparison. ICISSP Chiara Bodei, Gianpiero Costantino, Marco De Vincenzi, Ilaria Matteucci, Anna Monreale
2021	J	`jnl`	FWS: Analyzing, maintaining and transcompiling firewalls. J. Comput. Secur. Chiara Bodei, Lorenzo Ceragioli, Pierpaolo Degano, Riccardo Focardi, Letterio Galletta, Flaminia L. Luccio, Mauro Tempesta, Lorenzo Veronese
2021	J	`jnl`	Modelling and analysing IoT systems. J. Parallel Distributed Comput. Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta
2020	J	`jnl`	Natural Projection as Partial Model Checking. J. Autom. Reason. Gabriele Costa, Letterio Galletta, Pierpaolo Degano, David A. Basin, Chiara Bodei
2020	—	`conf`	Security Metrics at Work on the Things in IoT Systems. From Lambda Calculus to Cybersecurity Through Program Analysis Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta
2020	J	`jnl`	The link-calculus for open multiparty interactions. Inf. Comput. Chiara Bodei, Linda Brodo, Roberto Bruni
2019	J	`jnl`	A formal approach to open multiparty interactions. Theor. Comput. Sci. Chiara Bodei, Linda Brodo, Roberto Bruni
2019	—	`conf`	Analysing the Provenance of IoT Data. ICISSP (Revised Selected Papers) Chiara Bodei, Letterio Galletta
2019	J	`jnl`	Measuring security in IoT communications. Theor. Comput. Sci. Chiara Bodei, Stefano Chessa, Letterio Galletta
2019	J	`jnl`	Programming in a context-aware language. J. Supercomput. Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta
2019	—	`conf`	Revealing the Trajectories of KLAIM Tuples, Statically. Models, Languages, and Tools for Concurrent and Distributed Programming Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta
2019	C	`conf`	Tracking Data Trajectories in IoT. ICISSP Chiara Bodei, Letterio Galletta
2018	J	`jnl`	A Formal Approach to Open Multiparty Interactions. CoRR Chiara Bodei, Linda Brodo, Roberto Bruni
2018	—	`conf`	Firewall Management With FireWall Synthesizer. ITASEC Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Letterio Galletta, Mauro Tempesta, Lorenzo Veronese
2018	—	`conf`	From Natural Projection to Partial Model Checking and Back. TACAS (1) Gabriele Costa, David A. Basin, Chiara Bodei, Pierpaolo Degano, Letterio Galletta
2018	A	`conf`	Language-Independent Synthesis of Firewall Policies. EuroS&P Chiara Bodei, Pierpaolo Degano, Letterio Galletta, Riccardo Focardi, Mauro Tempesta, Lorenzo Veronese
2018	—	`conf`	Transcompiling Firewalls. POST Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Letterio Galletta, Mauro Tempesta
2017	J	`jnl`	A static analysis for Brane Calculi providing global occurrence counting information. Theor. Comput. Sci. Chiara Bodei, Linda Brodo, Roberta Gori, Francesca Levi, Antonio Bernini, Diana Hermith
2017	J	`jnl`	Checking global usage of resources handled with local policies. Sci. Comput. Program. Chiara Bodei, Viet Dung Dinh, Gian-Luigi Ferrari
2017	B	`conf`	Experimenting with a Context-Aware Language. PaCT Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta
2017	—	`conf`	Tool Supported Analysis of IoT. ICE@DisCoTec Chiara Bodei, Pierpaolo Degano, Letterio Galletta, Emilio Tuosto
2017	J	`jnl`	Tracing where IoT data are collected and aggregated. Log. Methods Comput. Sci. Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta
2017	—	`conf`	Tracking Sensitive and Untrustworthy Data in IoT. ITASEC Chiara Bodei, Letterio Galletta
2016	—	`conf`	A Step Towards Checking Security in IoT. ICE Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta
2016	J	`jnl`	Context-aware security: Linguistic mechanisms and static analysis. J. Comput. Secur. Chiara Bodei, Pierpaolo Degano, Letterio Galletta, Francesco Salvatori
2016	—	`conf`	Last Mile's Resources. Semantics, Logics, and Calculi Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta
2016	—	`conf`	The Cost of Securing IoT Communications. ICTCS Chiara Bodei, Letterio Galletta
2016	J	`jnl`	Tracing where IoT data are collected and aggregated. CoRR Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta
2016	C	`conf`	Where Do Your IoT Ingredients Come From? COORDINATION Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta
2015	C	`conf`	A Global Occurrence Counting Analysis for Brane Calculi. LOPSTR Chiara Bodei, Linda Brodo, Roberta Gori, Diana Hermith, Francesca Levi
2015	J	`jnl`	Causal static analysis for Brane Calculi. Theor. Comput. Sci. Chiara Bodei, Roberta Gori, Francesca Levi
2015	J	`jnl`	On the impact of discreteness and abstractions on modelling noise in gene regulatory networks. Comput. Biol. Chem. Chiara Bodei, Luca Bortolussi, Davide Chiarugi, Maria Luisa Guerriero, Alberto Policriti, Alessandro Romanel
2015	—	`conf`	Pierpaolo Degano. Programming Languages with Applications to Biology and Security Chiara Bodei, Gian-Luigi Ferrari, Corrado Priami
2015	—	`ed.`	Programming Languages with Applications to Biology and Security - Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday Programming Languages with Applications to Biology and Security Chiara Bodei, Gian-Luigi Ferrari, Corrado Priami
2015	—	`conf`	Static Evidences for Attack Reconstruction. Programming Languages with Applications to Biology and Security Chiara Bodei, Linda Brodo, Riccardo Focardi
2014	J	`jnl`	A Flat Process Calculus for Nested Membrane Interactions. Sci. Ann. Comput. Sci. Chiara Bodei, Linda Brodo, Roberto Bruni, Davide Chiarugi
2014	C	`conf`	Linguistic Mechanisms for Context-Aware Security. ICTAC Chiara Bodei, Pierpaolo Degano, Letterio Galletta, Francesco Salvatori
2013	—	`conf`	An Analysis for Causal Properties of Membrane Interactions. CS2Bio Chiara Bodei, Roberta Gori, Francesca Levi
2013	J	`jnl`	Security in Pervasive Applications: A Survey. Eur. J. Law Technol. Chiara Bodei, Pierpaolo Degano, Letterio Galletta, Gianluca Mezzetti, Gianluigi Ferrari
2012	—	`conf`	Formalising Security in Ubiquitous and Cloud Scenarios. CISIM Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta, Gianluca Mezzetti
2012	—	`conf`	Open Multiparty Interaction. WADT Chiara Bodei, Linda Brodo, Roberto Bruni
2011	J	`jnl`	Brane Calculi Systems: A Static Preview of their Possible Behaviour CoRR Chiara Bodei, Linda Brodo
2011	—	`conf`	Control Flow Analysis of Generalised Boolean Networks. SASB Chiara Bodei, Linda Brodo, Davide Chiarugi
2011	—	`conf`	Predicting global usages of resources endowed with local policies FOCLASA Chiara Bodei, Viet Dung Dinh, Gian-Luigi Ferrari
2011	—	`ch.`	Static Analysis Techniques for Session-Oriented Calculi. Results of the SENSORIA Project Lucia Acciai, Chiara Bodei, Michele Boreale, Roberto Bruni, Hugo Torres Vieira
2010	—	`conf`	A Taxonomy of Causality-Based Biological Properties FBTC Chiara Bodei, Andrea Bracciali, Davide Chiarugi, Roberta Gori
2010	J	`jnl`	Detecting and preventing type flaws at static time. J. Comput. Secur. Chiara Bodei, Linda Brodo, Pierpaolo Degano, Han Gao
2010	—	`conf`	Safer in the Clouds (Extended Abstract) ICE Chiara Bodei, Viet Dung Dinh, Gian-Luigi Ferrari
2009	J	`jnl`	A Control Flow Analysis for Beta-binders with and without static compartments. Theor. Comput. Sci. Chiara Bodei
2009	—	`conf`	Choreography Rehearsal. WS-FM Chiara Bodei, Gian-Luigi Ferrari
2009	—	`conf`	Static Detection of Logic Flaws in Service-Oriented Applications. ARSPA-WITS Chiara Bodei, Linda Brodo, Roberto Bruni
2008	—	`conf`	A Formal Analysis of Complex Type Flaw Attacks on Security Protocols. AMAST Han Gao, Chiara Bodei, Pierpaolo Degano
2008	—	`conf`	Control Flow Analysis for Brane Calculi. MeCBIC Chiara Bodei, Andrea Bracciali, Davide Chiarugi
2008	J	`jnl`	On deducing causality in metabolic networks. BMC Bioinform. Chiara Bodei, Andrea Bracciali, Davide Chiarugi
2007	—	`conf`	A Formal Analysis for Capturing Replay Attacks in Cryptographic Protocols. ASIAN Han Gao, Chiara Bodei, Pierpaolo Degano, Hanne Riis Nielson
2007	—	`conf`	A Static Analysis for Beta-Binders. FBTC@CONCUR Chiara Bodei
2007	—	`conf`	Detecting and Preventing Type flaws: a Control Flow Analysis with Tags. SecCO@CONCUR Chiara Bodei, Pierpaolo Degano, Han Gao, Linda Brodo
2007	Misc	`conf`	Knitting for Fun: A Recursive Sweater. FUN Anna Bernasconi, Chiara Bodei, Linda Pagli
2005	J	`jnl`	Authentication primitives for secure protocol specifications. Future Gener. Comput. Syst. Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Corrado Priami
2005	J	`jnl`	Checking security policies through an enhanced Control Flow Analysis. J. Comput. Secur. Chiara Bodei, Pierpaolo Degano, Corrado Priami
2005	B	`conf`	On Evaluating the Performance of Security Protocols. PaCT Chiara Bodei, Mikael Buchholtz, Michele Curti, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson, Corrado Priami
2005	J	`jnl`	Static validation of security protocols. J. Comput. Secur. Chiara Bodei, Mikael Buchholtz, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson
2004	A	`conf`	A Control Flow Analysis for Safe and Boxed Ambients. ESOP Francesca Levi, Chiara Bodei
2004	—	`conf`	A Quantitative Study of Two Attacks. WISP@ICATPN Chiara Bodei, Michele Curti, Pierpaolo Degano, Corrado Priami
2004	—	`conf`	Performance Evaluation of Security Protocols Specified in LySa. QAPL Chiara Bodei, Michele Curti, Pierpaolo Degano, Mikael Buchholtz, Flemming Nielson, Hanne Riis Nielson, Corrado Priami
2003	B	`conf`	Authentication Primitives for Protocol Specifications. PaCT Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Corrado Priami
2003	—	`conf`	Automatic Validation of Protocol Narration. CSFW Chiara Bodei, Mikael Buchholtz, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson
2002	J	`jnl`	Flow logic for Dolev-Yao secrecy in cryptographic processes. Future Gener. Comput. Syst. Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson
2002	J	`jnl`	Primitives for authentication in process algebras. Theor. Comput. Sci. Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Corrado Priami
2001	J	`jnl`	Names of the -calculus agents handled locally. Theor. Comput. Sci. Chiara Bodei, Pierpaolo Degano, Corrado Priami
2001	—	`ch.`	Security Analysis Using Flow Logics. Current Trends in Theoretical Computer Science Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson
2001	B	`conf`	Static Analysis for Secrecy and Non-interference in Networks of Processes. PaCT Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson
2001	J	`jnl`	Static Analysis for the pi-Calculus with Applications to Security. Inf. Comput. Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson
2001	—	`conf`	Techniques for Security Checking: Non-Interference vs Control Flow Analysis. TOSCA Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli
2000	—	`conf`	Safe Ambients: Control Flow Analysis and Security. ASIAN Pierpaolo Degano, Francesca Levi, Chiara Bodei
2000	J	`jnl`	Security Analysis using Flow Logics. Bull. EATCS Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson
1999	—	`conf`	Authentication via Localized Names. CSFW Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Corrado Priami
1999	B	`conf`	Static Analysis of Processes for No and Read-Up nad No Write-Down. FoSSaCS Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson
1998	B	`conf`	Constructing Specific SOS Semantics for Concurrency via Abstract Interpretation. SAS Chiara Bodei, Pierpaolo Degano, Corrado Priami
1998	B	`conf`	Control Flow Analysis for the pi-calculus. CONCUR Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson
1997	B	`conf`	True Concurrency via Abstract Interpretation. SAS Chiara Bodei, Corrado Priami
1996	A*	`conf`	Mobile Processes with a Distributed Environment. ICALP Chiara Bodei, Pierpaolo Degano, Corrado Priami