Chiara Bodei

	2009
33		Chiara Bodei, Linda Brodo, Roberto Bruni: Static Detection of Logic Flaws in Service-Oriented Applications. ARSPA-WITS 2009: 70-87
32		Chiara Bodei, Andrea Bracciali, Davide Chiarugi: Control Flow Analysis for Brane Calculi. Electr. Notes Theor. Comput. Sci. 227: 59-75 (2009)
31		Chiara Bodei: A Control Flow Analysis for Beta-binders with and without static compartments. Theor. Comput. Sci. 410(33-34): 3110-3127 (2009)
	2008
30		Han Gao, Chiara Bodei, Pierpaolo Degano: A Formal Analysis of Complex Type Flaw Attacks on Security Protocols. AMAST 2008: 167-183
29		Chiara Bodei, Andrea Bracciali, Davide Chiarugi: On deducing causality in metabolic networks. BMC Bioinformatics 9(S-4): (2008)
28		Chiara Bodei: A Static Analysis for Beta-Binders. Electr. Notes Theor. Comput. Sci. 194(3): 69-85 (2008)
	2007
27		Han Gao, Chiara Bodei, Pierpaolo Degano, Hanne Riis Nielson: A Formal Analysis for Capturing Replay Attacks in Cryptographic Protocols. ASIAN 2007: 150-165
26		Anna Bernasconi, Chiara Bodei, Linda Pagli: Knitting for Fun: A Recursive Sweater. FUN 2007: 53-65
25		Chiara Bodei, Pierpaolo Degano, Han Gao, Linda Brodo: Detecting and Preventing Type flaws: a Control Flow Analysis with Tags. Electr. Notes Theor. Comput. Sci. 194(1): 3-22 (2007)
	2005
24		Chiara Bodei, Mikael Buchholtz, Michele Curti, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson, Corrado Priami: On Evaluating the Performance of Security Protocols. PaCT 2005: 1-15
23		Chiara Bodei, Michele Curti, Pierpaolo Degano, Mikael Buchholtz, Flemming Nielson, Hanne Riis Nielson, Corrado Priami: Performance Evaluation of Security Protocols Specified in LySa. Electr. Notes Theor. Comput. Sci. 112: 167-189 (2005)
22		Chiara Bodei, Michele Curti, Pierpaolo Degano, Corrado Priami: A Quantitative Study of Two Attacks. Electr. Notes Theor. Comput. Sci. 121: 65-85 (2005)
21		Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Corrado Priami: Authentication primitives for secure protocol specifications. Future Generation Comp. Syst. 21(4): 645-653 (2005)
20		Chiara Bodei, Pierpaolo Degano, Corrado Priami: Checking security policies through an enhanced Control Flow Analysis. Journal of Computer Security 13(1): 49-85 (2005)
19		Chiara Bodei, Mikael Buchholtz, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson: Static validation of security protocols. Journal of Computer Security 13(3): 347-390 (2005)
	2004
18		Francesca Levi, Chiara Bodei: A Control Flow Analysis for Safe and Boxed Ambients. ESOP 2004: 188-203
	2003
17		Chiara Bodei, Mikael Buchholtz, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson: Automatic Validation of Protocol Narration. CSFW 2003: 126-140
16		Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Corrado Priami: Authentication Primitives for Protocol Specifications. PaCT 2003: 49-65
	2002
15		Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson: Flow logic for Dolev-Yao secrecy in cryptographic processes. Future Generation Comp. Syst. 18(6): 747-756 (2002)
14		Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Corrado Priami: Primitives for authentication in process algebras. Theor. Comput. Sci. 283(2): 271-304 (2002)
	2001
13		Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson: Static Analysis for Secrecy and Non-interference in Networks of Processes. PaCT 2001: 27-41
12		Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson: Security Analysis Using Flow Logics. Current Trends in Theoretical Computer Science 2001: 525-542
11		Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli: Techniques for Security Checking: Non-Interference vs Control Flow Analysis. Electr. Notes Theor. Comput. Sci. 62: (2001)
10		Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson: Static Analysis for the pi-Calculus with Applications to Security. Inf. Comput. 168(1): 68-92 (2001)
9		Chiara Bodei, Pierpaolo Degano, Corrado Priami: Names of the -calculus agents handled locally. Theor. Comput. Sci. 253(2): 155-184 (2001)
	2000
8		Pierpaolo Degano, Francesca Levi, Chiara Bodei: Safe Ambients: Control Flow Analysis and Security. ASIAN 2000: 199-214
7		Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson: Security Analysis using Flow Logics. Bulletin of the EATCS 70: 112-130 (2000)
	1999
6		Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Corrado Priami: Authentication via Localized Names. CSFW 1999: 98-110
5		Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson: Static Analysis of Processes for No and Read-Up nad No Write-Down. FoSSaCS 1999: 120-134
	1998
4		Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson: Control Flow Analysis for the pi-calculus. CONCUR 1998: 84-98
3		Chiara Bodei, Pierpaolo Degano, Corrado Priami: Constructing Specific SOS Semantics for Concurrency via Abstract Interpretation. SAS 1998: 168-183
	1997
2		Chiara Bodei, Corrado Priami: True Concurrency via Abstract Interpretation. SAS 1997: 202-216
	1996
1		Chiara Bodei, Pierpaolo Degano, Corrado Priami: Mobile Processes with a Distributed Environment. ICALP 1996: 490-501

Coauthor Index

1	Anna Bernasconi	[26]
2	Andrea Bracciali	[29] [32]
3	Linda Brodo	[25] [33]
4	Roberto Bruni	[33]
5	Mikael Buchholtz	[17] [19] [23] [24]
6	Davide Chiarugi	[29] [32]
7	Michele Curti	[22] [23] [24]
8	Pierpaolo Degano	[1] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [19] [20] [21] [22] [23] [24] [25] [27] [30]
9	Riccardo Focardi	[6] [11] [14] [16] [21]
10	Han Gao	[25] [27] [30]
11	Roberto Gorrieri	[11]
12	Francesca Levi	[8] [18]
13	Fabio Martinelli	[11]
14	Flemming Nielson	[4] [5] [7] [10] [12] [13] [15] [17] [19] [23] [24]
15	Hanne Riis Nielson	[4] [5] [7] [10] [12] [13] [15] [17] [19] [23] [24] [27]
16	Linda Pagli	[26]
17	Corrado Priami	[1] [2] [3] [6] [9] [14] [16] [20] [21] [22] [23] [24]

Colors in the list of coauthors