R.Amadio (LIF, U. Provence), H.Comon (LSV ENS Cachan), Y.Lakhnech (Verimag, Grenoble), Denis Lugiez (LIF, U. Provence), Dale Miller (LIX, E.Polytechnique), C.Palamidessi (LIX, E.Polytechnique), R.Treinen (LSV ENS Cachan).
Security is a hot topic in Computer Science which covers various research areas and security (or usually unsecurity) has strong consequences even in everyday life. Security issues are not restricted to programming issues but also deal with the analysis of more general systems like, for instance, probabilistic systems or cryptographic protocols. New techniques and tools like XML raise the need for new tools and provide new applications for techniques like approximate verification. The aim of the school is to provide a comprehensive study of techniques and tools relevant to security and verification issues in a large variety of systems arising in Computer Science.
back to CMI