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