Chiara Bodei

	2011
40		Chiara Bodei, Viet Dung Dinh, Gian Luigi Ferrari: Predicting global usages of resources endowed with local policies FOCLASA 2011: 49-64
39		Lucia Acciai, Chiara Bodei, Michele Boreale, Roberto Bruni, Hugo Torres Vieira: Static Analysis Techniques for Session-Oriented Calculi. Results of the SENSORIA Project 2011: 214-231
38		Chiara Bodei, Linda Brodo: Brane Calculi Systems: A Static Preview of their Possible Behaviour CoRR abs/1108.3429: (2011)
	2010
37		Chiara Bodei, Andrea Bracciali, Davide Chiarugi, Roberta Gori: A Taxonomy of Causality-Based Biological Properties FBTC 2010: 116-133
36		Chiara Bodei, Viet Dung Dinh, Gian Luigi Ferrari: Safer in the Clouds (Extended Abstract) ICE 2010: 45-49
35		Chiara Bodei, Linda Brodo, Pierpaolo Degano, Han Gao: Detecting and preventing type flaws at static time. Journal of Computer Security 18(2): 229-264 (2010)
	2009
34		Chiara Bodei, Linda Brodo, Roberto Bruni: Static Detection of Logic Flaws in Service-Oriented Applications. ARSPA-WITS 2009: 70-87
33		Chiara Bodei, Gian Luigi Ferrari: Choreography Rehearsal. WS-FM 2009: 29-45
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: 211-228 (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	Lucia Acciai	[39]
2	Anna Bernasconi	[26]
3	Michele Boreale	[39]
4	Andrea Bracciali	[29] [32] [37]
5	Linda Brodo	[25] [34] [35] [38]
6	Roberto Bruni	[34] [39]
7	Mikael Buchholtz	[17] [19] [23] [24]
8	Davide Chiarugi	[29] [32] [37]
9	Michele Curti	[22] [23] [24]
10	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] [35]
11	Viet Dung Dinh	[36] [40]
12	Gian Luigi Ferrari (GianLuigi Ferrari)	[33] [36] [40]
13	Riccardo Focardi	[6] [11] [14] [16] [21]
14	Han Gao	[25] [27] [30] [35]
15	Roberta Gori	[37]
16	Roberto Gorrieri	[11]
17	Francesca Levi	[8] [18]
18	Fabio Martinelli	[11]
19	Flemming Nielson	[4] [5] [7] [10] [12] [13] [15] [17] [19] [23] [24]
20	Hanne Riis Nielson	[4] [5] [7] [10] [12] [13] [15] [17] [19] [23] [24] [27]
21	Linda Pagli	[26]
22	Corrado Priami	[1] [2] [3] [6] [9] [14] [16] [20] [21] [22] [23] [24]
23	Hugo Torres Vieira	[39]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page