Chiara Bodei's Publications

PhD Thesis

Journal Publications

• Chiara Bodei, Pierpaolo Degano, and Corrado Priami Names of Mobile Agents Handled Locally.
  Theoretical Computer Science, 253(2):155-184, Feb 2001.
• Chiara Bodei, Pierpaolo Degano, Flemming Nielson and Hanne Riis Nielson Static Analysis for the Pi-Calculus with Applications to Security. Information and Computation, 168: 68-92, 2001.
• Chiara Bodei, Pierpaolo Degano, Riccardo Focardi and Corrado Priami Primitives for Authentication in Process Algebras. Theoretical Computer Science, 283(2), June 2002.
• Chiara Bodei, Pierpaolo Degano, Flemming Nielson and Hanne Riis Nielson.
  Flow Logic for Dolev-Yao Secrecy in Cryptographic Processes. Future Generation of Computer Systems, 18 (6), pp. 747-756, 2002. Elsevier.
• Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Corrado Priami. Authentication Primitives for Secure Protocol Specifications. Future Generation of Computer Systems 21 (5) pp. 645-653, 2005.
• Chiara Bodei, Pierpaolo Degano, Corrado Priami. Checking Security Policies through an Enhanced Control Flow Analysis. Journal of Computer Security, 13(1), pp. 49-85, 2005.
• Chiara Bodei, Mikael Buchholtz, Pierpaolo Degano, Flemming Nielson and Hanne Riis Nielson. Static Validation of Security Protocols Journal of Computer Security, 13(3), pp. 347-390, 2005.
• Chiara Bodei, Andrea Bracciali, Davide Chiarugi. On Deducing Causality in Metabolic Networks. BMC Bioinformatics, Volume 9 Supplement 4, 2008.
• Anna Bernasconi, Chiara Bodei, Linda Pagli. On Formal Descriptions for Knitting Recursive Patterns. Journal of Mathematics and the Arts, Volume 2, Issue 1, 9 Taylor & Francis, 2008.
• Chiara Bodei, Angela Giannetti, Maria Rita Laganà. La danza dei bit. Difficoltà di apprendimento, 14/1, Ottobre 2008 Erickson.
• Chiara Bodei. A Control Flow Analysis for Beta-binders with and without Static Compartments. Theoretical Computer Science 410(33-34): 3110-3127, 2009, Elsevier.
• Chiara Bodei, Linda Brodo, Pierpaolo Degano, Han Gao. Detecting and preventing type flaws at static time. Journal of Computer Security 18(2), 2010.

Conference and Workshop Papers

• Chiara Bodei, Pierpaolo Degano and Corrado Priami Mobile Processes with a distributed Environment.
  Proceedings of ICALP'96, LNCS 1099, pp.490-501, Springer, Berlin, 1996.
• Chiara Bodei and Corrado Priami True Concurrency via Abstract Interpretation.
  Proceedings of SAS '97, LNCS 1302, pp. 202-216, Springer, Berlin, 1997.
• Chiara Bodei, Pierpaolo Degano and Corrado Priami Constructing specific SOS semantics for concurrency via abstract interpretation. Proceedings of SAS '98, LNCS 1503, pp. 168-183, Springer, Berlin, 1998.
• Chiara Bodei, Pierpaolo Degano, Flemming Nielson and Hanne Riis Nielson Control Flow Analysis for the pi-calculus.
  Proceedings of CONCUR'98, LNCS 1466, pp. 84-98, Springer, Berlin, 1998.
• Chiara Bodei Some Concurrency Models in a Categorical Framework.
  Proceedings of ICTCS'98, pp.180-191, World Scientific, 1998.
• Chiara Bodei, Pierpaolo Degano, Flemming Nielson and Hanne Riis Nielson Static Analysis of Processes for No Read-Up and No Write-Down. Proceedings of FoSSaCS'99, Amsterdam, 22-26 March 1999, LNCS 1578, pp.120-134, Springer, Berlin, 1999.
• Chiara Bodei, Pierpaolo Degano, Riccardo Focardi and Corrado Priami Authentication via Localized Names. Proceedings of 12th IEEE Computer Security Foundations Workshop. IEEE Computer Society, 1999, 98-110.
• Francesca Levi, Chiara Bodei Security Analysis for Mobile Ambients. Proceedings of the Workshop on Issues on the Theory of Security (WITS'00), (co-located with ICALP'00), Geneve, Switzerland, 2000.
• Pierpaolo Degano, Francesca Levi and Chiara Bodei Safe Ambients: Control Flow Analysis and Security. Proceedings of ASIAN'00, LNCS 1961, pp.199-214, Springer, 2000.
• Chiara Bodei, Pierpaolo Degano, Flemming Nielson and Hanne Riis Nielson Static Analysis for Secrecy and Non-Interference in Networks of Processes. Proceedings of International Conference of Parallel Computing Technologies (PaCT'01), Novosibirsk, 3-7 September 2001. LNCS 2127, pp. 27-41, Springer, 2001.
• Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli. Techniques for Security Checking: Non-Interference vs Control Flow Analysis. Proceedings of the Final Workshop Tosca 2001. ENTCS 62, Elsevier, 2001.
• Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Corrado Priami. Authentication Primitives for refining protocol specifications. Proceedings of the Workshop on Issues on the Theory of Security (WITS'02), (co-located with POPL'02), Portland Oregon, USA, 2002.
• Chiara Bodei, Pierpaolo Degano, Corrado Priami and Nicola Zannone An Enhanced CFA for Security Policies. Proceedings of the Workshop on Issues on the Theory of Security (WITS'03), (co-located with ETAPS'03), pp.131-145, Warszawa, 2003.
• Chiara Bodei, Mikael Buchholtz, Pierpaolo Degano, Flemming Nielson and Hanne Riis Nielson, Automatic Validation of Protocol Narration. Proceedings of 16th IEEE Computer Security Foundations Workshop (CSFW'03), pp. 126-140, IEEE Computer Society, 2003.
• Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Corrado Priami. Authentication Primitives for Protocol Specifications. Proceedings of International Conference of Parallel Computing Technologies (PaCT'03), LNCS 2763, pp. 49-65, Nizhny Novgorod, Russia, Springer, September 2003.
• Francesca Levi and Chiara Bodei. A Control Flow Analysis for Safe and Boxed Ambients. Proceedings of European Symposium On Programming (ESOP'04), LNCS 2986, Springer-Verlag, 2004.
• Chiara Bodei, Mikael Buchholtz, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson. Control Flow Analysis Can Find New Flaws Too. Proceedings of the Workshop on Issues on the Theory of Security (WITS'04), Barcelona, Spain, 2004.
• Chiara Bodei, Mikael Buchholtz, Pierpaolo Degano, Michele Curti, Corrado Priami, Flemming Nielson, Hanne Riis Nielson. Performance Evaluation of Security Protocols specified in LySa. Proceedings of the 2nd Workshop on Quantitative Aspects of Programming Languages (QAPL'04), ENTCS, 112, pp. 167-189, 2005, Elsevier.
• Chiara Bodei, Pierpaolo Degano, Michele Curti, Corrado Priami. A Quantitative Study of Two Attacks Proceedings of the Workshop on Security Issues with Petri Nets and other Computational Models (WISP'04), ENTCS 121, pp. 65-85, 2005, Elsevier.
• Chiara Bodei, Mikael Buchholtz, Pierpaolo Degano, Michele Curti, Corrado Priami, Flemming Nielson, Hanne Riis Nielson. On Evaluating the Performance of Security Protocols specified in LySa. Proceedings of 8th International Conference of Parallel Computing Technologies (PaCT'05), LNCS 3606, pp. 1-15, Springer, 2005.
• Han Gao, Pierpaolo Degano, Chiara Bodei, Hanne Riis Nielson. Detecting Replay Attacks by Freshness Annotations Proceedings of the 7th International Workshop on Issues in the Theory of Security (WITS'07), Braga, Portugal, 2007.
• Anna Bernasconi, Chiara Bodei, Linda Pagli. Knitting for Fun: A Recursive Sweater. Proceedings of Fun with Algorithms, 4th International Conference (FUN'07), LNCS 4475, pp. 53-65, Springer, 2007.
• Chiara Bodei, Andrea Bracciali, Davide Chiarugi. A Toolkit Supporting Formal Reasoning about Causality in Metabolic Networks Proceedings of Network Tools and Applications in Biology (NETTAB'07), Pisa, Italy, 2007.
• Chiara Bodei, Pierpaolo Degano, Han Gao, Linda Brodo. Detecting and Preventing Type Flaws: a Control Flow Analysis with tags Proceeding of 5th International Workshop on Security Issues in Concurrency (SecCO'07), ENTCS 194, pp.3-22, Elsevier, 2007.
• Han Gao, Pierpaolo Degano, Chiara Bodei, Hanne Riis Nielson. A Formal Analysis for Capturing Replay Attacks in Cryptographic Protocols Proceedings of the 12th Annual Asian Computing Science Conference (ASIAN'07), LNCS 4846, pp. 150-165, Springer, 2007.
• Chiara Bodei. A static analysis for Beta-Binders Proceedings of From Biology To Concurrency and back Workshop (FBTC07), ENTCS 194/3 pp. 69-85, Elsevier, 2008.
• Han Gao, Chiara Bodei, Pierpaolo Degano. A Formal Analysis of Complex Type Flaw Attacks on Security Protocols. In Proceedings of the 12th International Conference on Algebraic Methodology and Software Technology (AMAST'08), LNCS 5140, Springer, 2008.
• Chiara Bodei, Linda Brodo, Pierpaolo Degano, Han Gao. Statically Detecting Message Confusions in a Multi-Protocol Setting. Proceedings of the International Workshop on Issues in the Theory of Security (WITS'08), Pittsburgh, PA, USA, 2008.
• Chiara Bodei, Andrea Bracciali, Davide Chiarugi. Control Flow Analysis for Brane Calculi. Proceedings of the 2nd International Meeting on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC'08). ENTCS 227 C, pp.59-75, 2009.
• Chiara Bodei, Linda Brodo, Roberto Bruni. Static Detection of Logic Flaws in Service-Oriented Applications. Proceedings of the International Workshop on Issues in the Theory of Security (WITS'09), York, GB, LNCS 5511, pp. 70-87, 2009.
• Chiara Bodei, Roberto Grossi, Maria Rita Laganà. La danza dei bit: un approccio multidisciplinare per l'apprendimento dell'informatica nella scuola primaria. Atti del convegno DIDAMATICA 2009 (Informatica per la Didattica).
• Chiara Bodei, Gian Luigi Ferrari. Choreography Rehearsal. Proceedings of the 6th International Workshop on Web Services and Formal Methods (WS-FM'09), Bologna, Italy. LNCS 6194, p. 29-45, 2010.
• Chiara Bodei, Andrea Bracciali, Davide Chiarugi, Roberta Gori. A Taxonomy of Causality-Based Biological Properties. Proceedings of Third Workshop From Biology To Concurrency and back (FBTC'10). EPTCS 19, p.116, 2010.
• Chiara Bodei, Viet Dung Dinh, Gian Luigi Ferrari. Safer in the Clouds. Extended Abstract. Proceedings of Interaction and Concurrency Experience (ICE 2010), Amsterdam, Netherlands. EPTCS 38, p. 45-49, 2010.
• Chiara Bodei, Viet Dung Dinh, Gian Luigi Ferrari. A G-Local pi-calculus Proceedings of the Fourth Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES'11). To be published in EPTCS, 2011.
• Chiara Bodei, Viet Dung Dinh, Gian Luigi Ferrari. Predicting global usages of resources endowed with local policies. Proceedings of Foundations of Coordination Languages and Software Architectures (FOCLASA 2011), EPTCS 58, p. 49-64, 2011.
• Chiara Bodei, Linda Brodo. Brane Calculi Systems: A Static Preview of their Possible Behaviour. Proceedings of Workshop on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC 2011), CoRR abs/1108.3429, 2011.
• Chiara Bodei, Linda Brodo, and Davide Chiarugi. ,Control Flow Analysis of Generalised Boolean Networks. Proceedings of Second International Workshop on Static Analysis and Systems Biology (SASB 2011), to be published in ENTCS 2011.
• Chiara Bodei, Roberto Grossi, Maria Rita Laganà, Marco Righi. L`informatica nella didattica dell`informatica: La danza dei bit: dai fogli a quadretti al palcoscenico. Atti del convegno Pianeta Galileo: 2010. Regione Toscana, Consiglio Regionale, 2011.