Workshop on Models for Cryptographic Protocols (MCP 2006)

Information and Call for Participation

July 31 till August 1, 2006, Århus, Denmark

http://www.daimi.au.dk/~buus/mcp2006/

The workshop is organised by ECRYPT, the European Network of Excellence in Cryptology. The workshop is an activity of ECRYPT's PROVILAB, the virtual lab on cryptographic protocols.

Scope

Recent years have seen increasing research on security models for cryptographic protocols, in particular for long-running and multi-session systems, and simulation-based models which allow for concurrent composition and security within general systems. Another new challenge is to include economic models in the security definitions.

One application of such security models is to link formal models, as used in model checkers and theorem provers, and cryptography. This comprises sound abstractions from cryptography, as well as approaches at applying formal methods to cryptographic proofs without any intermediate sound abstractions.

We are also interested in application scenarios for MPCs and in constructions of MPCs, in particular as they relate to models and security notions (e.g., impossibility results for strong security notions or efficiency gains by using weaker security notions).

The aim of this workshop is to bring together researchers and practitioners from the various research areas working on, and with, models for cryptographic protocol, in order to engage in a discussion about common goals and important research problems in the overlap of the areas.

Topics include, but are not limited to:

Application scenarios
Concurrent composition,
Constructions of multi-party protocols,
Cryptographic models of protocol security,
Economic models of protocol security
Formal methods for protocol security,
Linking formal methods and cryptography,
Notions of security for cryptographic protocols,
Property-based security definitions,
Rational secure computation
Reactive simulatibility,
Simulation-based security notions,
Security-preserving composition,
Universal composition

Format

The workshop will consist of invited keynote talks and contributed talks. There will be no proceedings, but a handout with abstracts will be provided to all participants.

Keynote Talks

At the workshop the following invited speakers will give talks on a selection of key topics.

	Michael Backes (Saarland University, Germany). Soundness Limits of Dolev-Yao Models .
	Yehuda Lindell (Bar Ilan University, Israel). Information-Theoretically Secure Protocols and Security Under Composition.
	Tal Rabin (IBM T.J.Watson Research Center, NY). On Multiparty Computations and Game Theory.
	Bogdan Warinschi (Loria, INRIA, France). Relating the computational and the symbolic approach to security: the case of cryptographic sealing .

Program

The program is on a separate page.

Directions

A guide to move around in Århus can be found here.

Registration

Registration has been closed.

Accommodation

Booking accomodation is a separate process, performed by the participants.

A block of rooms have been reserved for July 30-August 1, 2006. To ensure the special price, please quote the booking numbers.

Cab Inn Hotel - booking no. 43871.
Standard room, 1 person, 480 DKK/night incl. breakfast.
Standard room, 2 persons, 640 DKK/night incl. breakfast.
Commodore room, 2 persons, 720 DKK/night incl. breakfast.

Scandic Hotel Plaza Aarhus - booking no. DAT300706.
Single room, 825 DKK/night incl. breakfast.

Stipends

A limited number of stipends are available to participants from non-ECRYPT institutions to participate in the workshop. Requests for stipends should be sent to Jesper Buus Nielsen buus@daimi.au.dk.

Program Committee

	Ran Canetti (IBM T.J.Watson Research Center, NY)
	Ivan Damgård (University of Århus, Denmark)
	John Mitchell (Stanford University, CA)
	Jesper Buus Nielsen (University of Århus, Denmark) (chair)
	Birgit Pfitzmann (IBM Zurich Research Lab, Switzerland)