Searching for authors named "Silvia Crafa" – sorted by Relevance.
-
Abstract Object Calculi with Dynamic Messages
- Abstract Object Calculi with Dynamic Messages Michele Bugliesi ∗ Silvia Crafa Dip. di Informatica
- Add To MetaCart
-
Object Calculi with Dynamic Messages
- Object Calculi with Dynamic Messages Michele Bugliesi Silvia Crafa Dip. di Informatica Dip. di
- Cited by 1 (1 self) – Add To MetaCart
-
Boxed ambients
- Boxed Ambients ⋆ Michele Bugliesi 1 , Giuseppe Castagna 2 , and Silvia Crafa 1,2 1 Dipartimento di
- Cited by 67 (8 self) – Add To MetaCart
-
Reasoning about security in mobile ambients
- , and Silvia Crafa 1,2 1 Dipartimento di Informatica 2 Département d’Informatique Univ. “Ca’ Foscari”, Venezia
- Cited by 17 (5 self) – Add To MetaCart
-
unknown title
- Secrecy in Untrusted Networks? Michele Bugliesi 1, Silvia Crafa 1, Amela Prelic 2, and Vladimiro
- Add To MetaCart
-
Typed Interpretations of Extensible Objects
- and SILVIA CRAFA Universita \Ca' Foscari" di Venezia Finding typed encodings of object
- Cited by 3 (3 self) – Add To MetaCart
-
Secrecy in untrusted networks
- Secrecy in Untrusted Networks ⋆ Michele Bugliesi 1 , Silvia Crafa 1 , Amela Prelic 2
- Cited by 4 (1 self) – Add To MetaCart
-
Communication interference in mobile boxed ambients
- Communication Interference in Mobile Boxed Ambients ⋆ Michele Bugliesi 1 , Silvia Crafa 1
- Cited by 38 (6 self) – Add To MetaCart
-
Information Flow Security in Boxed Ambients
- ://www.elsevier.nl/locate/entcs/volume66.html 31 pages Information Flow Security in Boxed Ambients Abstract Silvia Crafa 1 Michele Bugliesi
- Cited by 13 (5 self) – Add To MetaCart
-
Secrecy in Untrusted Networks
- Secrecy in Untrusted Networks ? Michele Bugliesi 1 , Silvia Crafa 1 , Amela Prelic 2
- Add To MetaCart

