Searching for authors named Michele Bugliesi – 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
-
Secure Safe Ambients and JVM Security (Abstract)
- Secure Safe Ambients and JVM Security (Abstract) Michele Bugliesi Dipartimento di Informatica
- Add To MetaCart
-
Non-Interference Proof Techniques for the Analysis of Cryptographic Protocols
- Non-Interference Proof Techniques for the Analysis of Cryptographic Protocols ∗ Michele Bugliesi
- Cited by 1 (0 self) – Add To MetaCart
-
Matching Constraints for the Lambda Calculus of Objects
- , Universita di Torino C.so Svizzera 185, I-10149 Torino, Italy e-mail: bono@(email omitted); Michele Bugliesi
- Cited by 8 (3 self) – Add To MetaCart
-
Interpretations of Extensible Objects and Types
- Interpretations of Extensible Objects and Types Viviana Bono Michele Bugliesi School of Computer
- Cited by 1 (1 self) – 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
- Reasoning about Security in Mobile Ambients ⋆ Michele Bugliesi 1 , Giuseppe Castagna 2
- Cited by 17 (5 self) – Add To MetaCart
-
Matching for the Lambda Calculus of Objects
- , Universit`a di Torino C.so Svizzera 185, I-10149 Torino, Italy e-mail: bono@(email omitted); Michele Bugliesi
- Cited by 7 (7 self) – Add To MetaCart
-
Mobile Objects
- Mobile Objects (Preliminary Report) Michele Bugliesi Dipartimento di Informatica Universita Ca
- Cited by 12 (1 self) – Add To MetaCart

