Sponsorships Under the auspices of:

• EATCS-IT - Italian Chapter of European Association for Theoretical Computer Science
• EEF - European Educational Forum
• International Federation for Information Processing - IFIP TC1-WG1.7

Sponsors:

• Università di Bologna
• Università Ca' Foscari di Venezia
• Progetto MURST ``Metodi Formali per la Sicurezza e il Tempo'' (MEFISTO)
• MyThS: Models and Types for Security in Mobile Distributed Systems
• ONR - Office Of Naval Research