INDIA 2005

 
 (version française de la page)

Scientific report(s) Michel Waldschmidt (in french, pdf)
Lecture notes and interesting links

 

Accueil
Remonter
2005 Algeria
2005 India
2005 Iran
2005 Jordan
2005 Mauritania
2005 Philippines
2005 Tunisia
2005 Turkey

 

Bottom

CIMPA-UNESCO-INDIA School

Security of Computer Systems and Networks

Objectives :

Security is now a primary objective in computer systems and networks, providing privacy, integrity, authentication, digital signature, etc. Security is also recognized as a part of mathematics, of analysis of complexity and of mathematical logic. Indeed formal frameworks used for programming languages and concurrency theory have been used to describe security protocols. India has already many specialists in security of computer systems; the school will contribute to train graduate students and researchers, in order to increase their mathematical approach to security.

Coordinators :

K. Gopinath (IISc, India), Jean-Jacques Lévy (INRIA, France)

Dates and location :

January 25 - February 5, 2005, Bangalore (India)

Scientific program and speakers :  Detailed program

Security of Web services : K. Bhargavan (Microsoft Research, UK)
Automatic Verification of cryptographic protocols : H. Comon-Lundh (ENS Cachan, France)
Verification of security protocols in the pi-calculus : C. Fournet (Microsoft Research, UK)
Security in Operating systems : K. Gopinath (IISc, India)
Models of Concurrency : J.-J. Lévy (INRIA, France)
Cryptographic primitives : V. Madhavan (IISc, India)
Protocols for Authentication and Key establishment : A. Mathuria (DA-IICT, India)
Public key Cryptosystems : F. Morain (Ecole Polytechnique, France)
Specification and verification of randomized security protocols : C. Palamidessi (INRIA, France)
Type based Information Flow analysis : F. Pottier (INRIA, France)
Modelling security protocols : S. Prasad (IIT, India)
Decidable theories for verification of security protocols: Ramanujam (IMSc, India)

Participants     Useful information

Prerequisites :

Knowledge in security or theoretical computer science

 Top

For any suggestions mail to cimpa@unice.fr
Copyright © 1999 [CIMPA]. Tous droits réservés.
Last update : vendredi 26 octobre 2007 .