Silvia Crafa

	2009
19		Michele Bugliesi, Dario Colazzo, Silvia Crafa, Damiano Macedonio: A type system for Discretionary Access Control. Mathematical Structures in Computer Science 19(4): 839-875 (2009)
	2008
18		Silvia Crafa, Matteo Mio, Marino Miculan, Carla Piazza, Sabina Rossi: PicNIc - Pi-calculus non-interference checker. ACSD 2008: 33-38
	2007
17		Silvia Crafa, Daniele Varacca, Nobuko Yoshida: Compositional Event Structure Semantics for the Internal pi -Calculus. CONCUR 2007: 317-332
16		Silvia Crafa, Sabina Rossi: Controlling information release in the pi-calculus. Inf. Comput. 205(8): 1235-1273 (2007)
	2006
15		Silvia Crafa, Sabina Rossi: P-congruences as non-interference for the pi-calculus. FMSE 2006: 13-22
	2005
14		Silvia Crafa, Sabina Rossi: A Theory of Noninterference for the pi-Calculus. TGC 2005: 2-18
13		Michele Bugliesi, Silvia Crafa, Massimo Merro, Vladimiro Sassone: Communication and mobility control in boxed ambients. Inf. Comput. 202(1): 39-86 (2005)
	2004
12		Michele Bugliesi, Dario Colazzo, Silvia Crafa: Type Based Discretionary Access Control. CONCUR 2004: 225-239
11		Michele Bugliesi, Giuseppe Castagna, Silvia Crafa: Access control for mobile agents: The calculus of boxed ambients. ACM Trans. Program. Lang. Syst. 26(1): 57-124 (2004)
	2003
10		Michele Bugliesi, Silvia Crafa, Amela Prelic, Vladimiro Sassone: Secrecy in Untrusted Networks. ICALP 2003: 969-983
	2002
9		Michele Bugliesi, Giuseppe Castagna, Silvia Crafa, Riccardo Focardi, Vladimiro Sassone: A Survey of Name-Passing Calculi and Crypto-Primitives. FOSAD 2002: 91-138
8		Michele Bugliesi, Silvia Crafa, Massimo Merro, Vladimiro Sassone: Communication Interference in Mobile Boxed Ambients. FSTTCS 2002: 71-84
7		Viviana Bono, Michele Bugliesi, Silvia Crafa: Typed interpretations of extensible objects. ACM Trans. Comput. Log. 3(4): 562-603 (2002)
6		Silvia Crafa, Michele Bugliesi, Giuseppe Castagna: Information Flow Security for Boxed Ambients. Electr. Notes Theor. Comput. Sci. 66(3): (2002)
	2001
5		Michele Bugliesi, Giuseppe Castagna, Silvia Crafa: Reasoning about Security in Mobile Ambients. CONCUR 2001: 102-120
4		Michele Bugliesi, Giuseppe Castagna, Silvia Crafa: Subtyping and Matching for Mobile Objects. ICTCS 2001: 235-255
3		Michele Bugliesi, Giuseppe Castagna, Silvia Crafa: Boxed Ambients. TACS 2001: 38-63
2		Giuseppe Castagna, Michele Bugliesi, Silvia Crafa: An overview of Boxed Ambients. Electr. Notes Theor. Comput. Sci. 62: (2001)
	2000
1		Michele Bugliesi, Giuseppe Castagna, Silvia Crafa: Typed Mobile Objects. CONCUR 2000: 504-520

Coauthor Index

1	Viviana Bono	[7]
2	Michele Bugliesi	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [19]
3	Giuseppe Castagna	[1] [2] [3] [4] [5] [6] [9] [11]
4	Dario Colazzo	[12] [19]
5	Riccardo Focardi	[9]
6	Damiano Macedonio	[19]
7	Massimo Merro	[8] [13]
8	Marino Miculan	[18]
9	Matteo Mio	[18]
10	Carla Piazza	[18]
11	Amela Prelic	[10]
12	Sabina Rossi	[14] [15] [16] [18]
13	Vladimiro Sassone	[8] [9] [10] [13]
14	Daniele Varacca	[17]
15	Nobuko Yoshida	[17]