SECSI Colloquium
March 17–18, 2011
Cachan


The Laboratoire Spécification & Vérification (LSV) is organizing a two-day colloquium on computer security. The colloquium will be centered around several invited talks and three habilitation thesis defenses of members of SECSI.

The event is open to the public and free, but registration will be required for logistical purposes.

Preliminary Programme



Thursday, March 17, 2011
9:00 Welcome
09:10Ran Canetti (Tel Aviv University, Israel): Universally Composable Security with Specialized Environments
10:10 Coffee break
10:30 Steve Kremer: Habilitation thesis -- Modelling and analyzing security protocols in cryptographic process calculi
13:00 Lunch break
14:30 John Mitchell (Stanford University, California, USA): Security and Privacy Challenges and Solutions for Health Information Systems
15:30 Coffee break
16:00 Graham Steel: Habilitation thesis Formal Analysis of Security APIs


Friday, March 18, 2011
9:00 Ralf Küsters (Trier University, Germany): Composition Theorems Without Pre-Established Session Identifiers
10:00 Véronique Cortier (LORIA, France): Can I get my security proof for free?
11:00 Coffee break
11:20 David Basin (ETH Zurich, Switzerland): Protocol Security in the Presence of Compromising Adversaries
12:20 Lunch break
14:00 Andre Scedrov (University of Pennsylvania, USA): Bounded memory Dolev-Yao adversaries in collaborative systems
15:00 Coffee break
15:30 Stéphanie Delaune: Habilitation thesis -- Verification of security protocols: from confidentiality to privacy
18:00 Cocktail

Registration

Please use the following link. A confirmation by e-mail will be sent to you. Please register before Feb. 18th. See the list of already registered participants.


Location

The workshop will take place in Salle Condorcet, in the Bâtiment d'Alembert of the École normale supérieure de Cachan. See here for a map of the campus, where Bâtiment d'Alembert is building number 1. How to reach the campus by metro is explained here.


Accomodation

 There are literally hundreds of great hotels for your stay in Paris. However, the most convenient ones when it comes to reach the École Normale Supérieure de Cachan are located:
  • On the RER B train line, near train stops Luxembourg or St-Michel (both in Latin Quarter), Denfert-Rochereau (close to Montparnasse), or Gare du Nord (train station connected to Aachen, Brussels and London).
  • At Porte d'Orléans where a direct bus line (number 197) takes you every five minutes to Bagneux/Cachan.

About LSV