Journal Publications

2005-2018

2001-2005

Conference and Workshop Publications

2018

  • Chiara Bodei, Pierpaolo Degano, Letterio Galletta, Riccardo Focardi, Mauro Tempesta, Lorenzo Veronese: Language-Independent Synthesis of Firewall Policies. 2018 IEEE European Symposium on Security and Privacy, (EuroS&P 2018), 2018: 92-106
  • Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Letterio Galletta, Mauro Tempesta. Transcompiling Firewalls, Principles of Security and Trust (POST 2018), Lecture Notes in Computer Science 10804, pp. 303-324, 2018.
  • Gabriele Costa,David Basin, Chiara Bodei, Pierpaolo Degano, Letterio Galletta. From Natural Projection to Partial Model Checking and Back Proceedings of the International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2018), pp 344-361, 2018.
  • Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Letterio Galletta, Mauro Tempesta, Lorenzo Veronese. Firewall Management With FireWall Synthesizer Proceedings of the Second Italian Conference on Cybersecurity (ITASEC18). CEUR Vol-2058, 2018.

2017

2016

2015

2014

  • Chiara Bodei, Pierpaolo Degano, Letterio Galletta, Francesco Salvatori. Linguistic mechanisms for context-aware security. Proceedings of the 11th International Colloquium on Theoretical Aspects of Computing (ICTAC 2014). LNCS 8687, pp. 61-79, 2014, Springer.

2013

  • Chiara Bodei, Roberta Gori, Francesca Levi. An Analysis for Causal Properties of Membrane Interactions. Proceedings of 4th International Workshop on Interactions between Computer Science and Biology (CS2Bio 2013), ENTCS 299, pp. 15-31, 2013, Elsevier.
  • Chiara Bodei, Linda Brodo, Roberto Bruni. Open Multiparty Interaction. Proceedings of Recent Trends in Algebraic Development Techniques, 21st International Workshop (WADT 2012), pp. 1-23, 2013.

2012

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.
  • 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, 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, 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.

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, 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, 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.

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, 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, 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.

2008

2007

2005

  • 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.
  • 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. 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.

2004

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.
  • 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, 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.

2002

2001

2000

1999

1998

1997

1996

PhD Thesis

Chiara Bodei Security Issues in Process Calculi. Computer Science Department. University of Pisa. TD-2/00, March 2000.

Chapters in Books

  • Lucia Acciai, Roberto Bruni, Chiara Bodei, Michele Boreale, Hugo T. Vieira. Static Analysis Techniques for Session-Oriented Calculi. Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA project on Software Engineering for Service-Oriented Computing. Lecture Notes in Computer Science 6582, pp. 214-231.
  • Anna Bernasconi, Chiara Bodei, Linda Pagli. Algoritmi ricorsivi da lavorare ai ferri. Miss Architect. Architetture al femminile. A cura di Marta Capuano. Edizioni ETS, Pisa, 2009.
  • Chiara Bodei, Pierpaolo Degano, Flemming Nielson and Hanne Riis Nielson Security Analysis using Flow Logics. Current Trends in Theoretical Computer Science. World Scientific, 2001. Appeared also in EATCS Bulletin 70, February 2000.