UNIMI
schools Table-of-Contents exams

Courses attended


Dipartimento di Scienze dell'Informazione, Università di Milano


SNDIS'97
  • Logica e Teoria dei Tipi, Prof. Andrea Asperti (Università di Bologna)
  • Introduzione alla Complessità Computazionale, Dr. Bruno Codenotti (CNR IMC - Pisa)
  • Sistemi Distribuiti e Affidabili, Prof. Keith Marzullo (University of California at San Diego)


12th International School for Computer Science Researchers -- E-Commerce and On-Line Algorithms
  • E-Commerce Primitives, proff. Tal Rabin (IBM T.J. Watson Research Center), Moti Young (CertCo Inc., New York)
  • Public-Key Infrastructure, proff. Silvio Micali, Ron Rivest (M.I.T.)
  • Payment Systems, prof. Mihir Bellare (University of California, San Diego, CA)
  • On-Line Learning and Prediction, prof. Avrim Blum (Carnegie Mellon University, Pittsburgh, PA)
  • On-Line Routing and Search, prof. Jon Kleinberg (Cornell University)
  • On-Line Scheduling and Trading, prof. Allan Borodin (University of Toronto)


International Summer School on Foundations of Security Analysis and Design, (FOSAD 2000)
  • Java Security, prof. Li Gong (Javasoft - Sun Microsystems, Palo Alto)
  • Nominal Calculi for Security and Mobility, prof. Andrew D. Gordon (Microsoft Research, Cambridge)
  • Classification of Security Properties, proff. Roberto Gorrieri (Università di Bologna) and Riccardo Focardi (Università di Venezia)
  • Security Goals: Packet trajectories and strand spaces, prof. Joshua Guttman (Mitre, Bedford)
  • Mathematical Models of Computer Security, prof. Peter Ryan (SRI, Cambridge)
  • Access Control: Policies, Models, Architectures and Mechanisms, prof. Pierangela Samarati (Università di Milano)
  • The Logic of Security Protocols, prof. Paul Syverson (Naval Research Lab, Washington)
  • Cryptographic Technology and Protocols in E-Commerce, prof. Moti Yung (CertCo Inc., New York)


External Courses
  • Sicurezza, prof. Pierangela Samarati (Università di Milano, Dipartimento di Tecnologie dell'Informazione)
  • Semantica per l'Informazione Semi-strutturata, prof. Ernesto Damiani (Università di Milano, Dipartimento di Tecnologie dell'Informazione)
  • Sviluppo Software con Metodologia ISO 9001, Ing. Luciano Rancati (TreEsse, Milano)
  • Formalizzazione di Modelli e Metodi per il Trattamento di Eterogeneità Semantica in Basi di Dati Distribuite, prof. Valeria De Antonellis (Università di Brescia)

Sabrina De Capitani di Vimercati 4 of 14