Department of Computer Science

2020

• Chiara Bodei, Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta. Security Metrics at Work on the Things in IoT Systems. LNCS 12065, 2019, pp. 233-255 Springer.

• Chiara Bodei, Letterio Galletta. Analysing the Provenance of IoT Data. Information Systems Security and Privacy (ICISSP 2019) (Revised Selected Papers) . Communications in Computer and Information Science, vol 1221. Springer 2020, pp. 358-38.

2019

• Chiara Bodei, Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta. Revealing the Trajectories of KLAIM Tuples, Statically. LNCS 11665, 2019, Springer.

• Chiara Bodei, Letterio Galletta: Tracking Data Trajectories in IoT. Proceedings of the 5th International Conference on Information Systems Security and Privacy - Volume 1: ICISSP, 572-579, 2019, ISBN: 978-989-758-359-9, SCITEPRESS. DOI: 10.5220/0007578305720579

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

• Chiara Bodei, Pierpaolo Degano, Letterio Galletta, Emilio Tuosto. Tool Supported Analysis of IoT Proceedings of the 10th Interaction and Concurrency Experience (ICE 2017). EPTCS 261, 37-56, 2017.

• Chiara Bodei, Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta. Experimenting with a Context-Aware Language Proceedings of Parallel Computing Technologies - 14th International Conference (PaCT 2017). LNCS 10421, 2017.

• Chiara Bodei, Letterio Galletta. Tracking Sensitive and Untrustworthy Data in IoT Proceedings of the First Italian Conference on Cybersecurity (ITASEC17). CEUR Vol-1816, 2017.

2016

• Chiara Bodei, Letterio Galletta. The cost of securing IoT communications Proceedings of 17th Italian Conference on Theoretical Computer Science (ICTCS 2016). CEUR Vol-1720, 2016.

• Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta. Where do your IoT ingredients come from? Proceedings of IFIP International Conference on Coordination Models and Languages (Coordination 2016). LNCS 9686, 2016, Springer.

• Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta. A step towards checking security in IoT Proceedings of the 9th Interaction and Concurrency Experience (ICE 2016). EPTCS 223, 2016.

• Chiara Bodei, Letterio Galletta. Securing IoT communications: at what cost? Proceedings of Hot Issues in Security Principles and Trust (HotSpot 2016).

• Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta. Last Mile's Resources. Proceedings of Semantics, Logics, and Calculi - Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays. LNCS 9560, 2016, Springer.

2015

• Chiara Bodei, Linda Brodo, Roberta Gori, Diana Hermith, Francesca Levi. A Global Occurrence Counting Analysis for Brane Calculi. Proceedings of the 5th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2015). LNCS 9527, 2015, Springer.

• Chiara Bodei, Gian-Luigi Ferrari, Corrado Priami. Pierpaolo Degano. Programming Languages with Applications to Biology and Security Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday. LNCS 9465, pp. 1-6, 2015, Springer.

• Chiara Bodei, Linda Brodo, Riccardo Focardi. Static Evidences for Attack Reconstruction. Programming Languages with Applications to Biology and Security Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday. LNCS 9465, pp. 162-182, 2015, Springer.

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

• Chiara Bodei, Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta, Gianluca Mezzetti. Formalising Security in Ubiquitous and Cloud Scenarios. Proceedings of Computer Information Systems and Industrial Management conference (CISIM 2012), pp. 1-29, 2012.

• Chiara Bodei, Linda Brodo, and Davide Chiarugi. Control Flow Analysis of Generalised Boolean Networks. Proceedings of the Second International Workshop on Static Analysis and Systems Biology (SASB 2011), ENTCS 284, pp. 3-22, 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

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

• 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. A static analysis for Beta-Binders Proceedings of From Biology To Concurrency and back Workshop (FBTC07), ENTCS 194/3 pp. 69-85, Elsevier, 2008.

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

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

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

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

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

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

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

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

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

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

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.

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

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.

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

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 Control Flow Analysis for the pi-calculus. Proceedings of CONCUR'98, LNCS 1466, pp. 84-98, Springer, Berlin, 1998.

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

1997

• Chiara Bodei and Corrado Priami True Concurrency via Abstract Interpretation. Proceedings of SAS '97, LNCS 1302, pp. 202-216, Springer, Berlin, 1997.

1996

• 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 Security Issues in Process Calculi. Computer Science Department. University of Pisa. TD-2/00, March 2000.

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