2005 India

INDIA 2005

Home
Up
India
Philippines
Algeria
Mauritania
Tunisia
Turkey
Iran
Jordania
Ruhuna

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 :

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)

Detailed program Materials Participants Useful information

Prerequisites :

Knowledge in security or theoretical computer science

Application :

Deadlines for application: November 1, 2004, for non-indian participants
December 13, 2004 for indian participants
Application Forms [ non-indian participant, indian participant ]

Top