| 2007 |
|---|
| 9 | EE | Michele Bugliesi,
Damiano Macedonio,
Sabina Rossi:
Static vs Dynamic Typing for Access Control in Pi-Calculus.
ASIAN 2007: 282-296 |
| 8 | EE | Giovanni Conforti,
Damiano Macedonio,
Vladimiro Sassone:
Static BiLog: a Unifying Language for Spatial Structures.
Fundam. Inform. 80(1-3): 91-110 (2007) |
| 2006 |
|---|
| 7 | EE | Rohit Chadha,
Damiano Macedonio,
Vladimiro Sassone:
A Hybrid Intuitionistic Logic: Semantics and Decidability.
J. Log. Comput. 16(1): 27-59 (2006) |
| 2005 |
|---|
| 6 | EE | Giovanni Conforti,
Damiano Macedonio,
Vladimiro Sassone:
Spatial Logics for Bigraphs.
ICALP 2005: 766-778 |
| 5 | | Giovanni Conforti,
Damiano Macedonio,
Vladimiro Sassone:
Bigraphical Logics for XML.
SEBD 2005: 392-399 |
| 4 | EE | Annalisa Bossi,
Damiano Macedonio,
Carla Piazza,
Sabina Rossi:
Information flow in secure contexts.
Journal of Computer Security 13(3): 391-422 (2005) |
| 2004 |
|---|
| 3 | EE | Annalisa Bossi,
Riccardo Focardi,
Damiano Macedonio,
Carla Piazza,
Sabina Rossi:
Unwinding in Information Flow Security.
Electr. Notes Theor. Comput. Sci. 99: 127-154 (2004) |
| 2003 |
|---|
| 2 | EE | Annalisa Bossi,
Damiano Macedonio,
Carla Piazza,
Sabina Rossi:
Secure Contexts for Confidential Data.
CSFW 2003: 14-28 |
| 1 | EE | Annalisa Bossi,
Damiano Macedonio,
Carla Piazza,
Sabina Rossi:
Information Flow Security and Recursive Systems.
ICTCS 2003: 369-382 |
