Chiara Braghin

	2011
17		Chiara Braghin, Riccardo Dondi, Gabriella Trucco, Paola Bonizzoni: The Binary Perfect Phylogeny with Persistent characters CoRR abs/1110.6739: (2011)
16		Chiara Braghin, Natasha Sharygina, Katerina Barone-Adesi: A model checking-based approach for security policy verification of mobile systems. Formal Asp. Comput. 23(5): 627-648 (2011)
	2008
15		Roberto Aringhieri, Chiara Braghin, Daniele Catanzaro: An Exact Approach for solving the Balanced Minimum Evolution Problem. CTW 2008: 48-51
14		Chiara Braghin, Agostino Cortesi, Riccardo Focardi: Information flow security in Boundary Ambients. Inf. Comput. 206(2-4): 460-489 (2008)
	2007
13		Chiara Braghin, Natasha Sharygina, Katerina Barone-Adesi: Automated Verification of Security Policies in Mobile Code. IFM 2007: 37-53
	2006
12		Chiara Braghin, Daniele Gorla, Vladimiro Sassone: Role-based access control for a distributed calculus. Journal of Computer Security 14(2): 113-155 (2006)
	2005
11		Chiara Braghin, Agostino Cortesi: Flow-sensitive Leakage Analysis in Mobile Ambients. Electr. Notes Theor. Comput. Sci. 128(5): 17-25 (2005)
	2004
10		Chiara Braghin, Daniele Gorla, Vladimiro Sassone: A Distributed Calculus for Ro^le-Based Access Control. CSFW 2004: 48-60
9		Chiara Braghin, Agostino Cortesi, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza: Nesting analysis of mobile ambients. Computer Languages, Systems & Structures 30(3-4): 207-230 (2004)
8		Chiara Braghin, Carla Piazza: Checking Integrity via CoPS and Banana: the E-Commerce Case Study . Electr. Notes Theor. Comput. Sci. 99: 295-317 (2004)
7		Chiara Braghin, Agostino Cortesi, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza: Behind BANANA: Design and Implementation of a Tool for Nesting Analysis of Mobile Ambients. Electr. Notes Theor. Comput. Sci. 99: 319-337 (2004)
	2003
6		Chiara Braghin, Agostino Cortesi, Stefano Filippone, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza: BANANA - A Tool for Boundary Ambients Nesting ANAlysis. TACAS 2003: 437-441
5		Chiara Braghin, Agostino Cortesi, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza: Complexity of Nesting Analysis in Mobile Ambients. VMCAI 2003: 86-101
4		Chiara Braghin, Agostino Cortesi, Riccardo Focardi: Information Leakage Detection in Boundary Ambients. Electr. Notes Theor. Comput. Sci. 78: 123-143 (2003)
	2002
3		Chiara Braghin, Agostino Cortesi, Riccardo Focardi: Control Flow Analysis of Mobile Ambients with Security Boundaries. FMOODS 2002: 197-212
2		Chiara Braghin, Agostino Cortesi, Riccardo Focardi, Steffen van Bakel: Boundary Inference for Enforcing Security Policies in Mobile Ambients. IFIP TCS 2002: 383-395
1		Chiara Braghin, Agostino Cortesi, Riccardo Focardi: Security boundaries in mobile ambients. Comput. Lang. 28(1): 101-127 (2002)

Coauthor Index

1	Roberto Aringhieri	[15]
2	Steffen van Bakel	[2]
3	Katerina Barone-Adesi	[13] [16]
4	Paola Bonizzoni	[17]
5	Daniele Catanzaro	[15]
6	Agostino Cortesi	[1] [2] [3] [4] [5] [6] [7] [9] [11] [14]
7	Riccardo Dondi	[17]
8	Stefano Filippone	[6]
9	Riccardo Focardi	[1] [2] [3] [4] [5] [6] [7] [9] [14]
10	Daniele Gorla	[10] [12]
11	Flaminia L. Luccio	[5] [6] [7] [9]
12	Carla Piazza	[5] [6] [7] [8] [9]
13	Vladimiro Sassone	[10] [12]
14	Natasha Sharygina	[13] [16]
15	Gabriella Trucco	[17]

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