[crypto] [Ronald.Cramer@cwi.nl: RISC@NIKHEF: Formal Methods and Crypto (October 24, 2005)]

[R. Hirschfeld]

------- Start of forwarded message -------
Date: Fri, 21 Oct 2005 16:03:14 +0200
From: Ronald Cramer <Ronald.Cramer@cwi.nl>
Subject: RISC@NIKHEF: Formal Methods and Crypto  (October 24, 2005)

Dear Colleague,

this is to announce a *special day* on Special day on Cryptography and 
Formal Methods, organized in collaboration with CWI's SEN2 group.


It will take place on *Monday October 24* in Room H220, ***NIKHEF*** 
(opposite CWI) Amsterdam.


We have the following speakers:


13.30 h	Ricardo Corin (University of Twente): Sound Computational 
Interpretation of Formal Encryption with Composed Keys
13.50 h	Break
14.00 h	Peter van Rossum (University of Nijmegen): Relations for Anyonymity
14.45 h	Break
15.00 h	Dennis Hofheinz (CWI): Protocol Analysis using Simulatability
15.45 h	Break
16.00 h	Mohammad Dashti (CWI): Wanted: Safe or Alive
16.30 h	End

For abstracts please refer to the RISC webpage.

- ------------------------------------------------------------------
Note: on Wednesday November 2 Torbeb Pedersen (technical director, 
CryptoMathic) will give a talk in our seminar. Separate announcement 
will follow later.
- ------------------------------------------------------------------

Yours sincerely,

Ronald Cramer (CWI & Leiden University)
Serge Fehr (CWI)
Dennis Hofheinz (CWI)
Wan Fokkink (VU/CWI)

Organizers:
http://www.cwi.nl/~cramer
http://www.cwi.nl/~fehr
http://www.cwi.nl/~hofheinz
http://www.cwi.nl/~wan

Lorentz Center, Leiden:
http://www.lc.leidenuniv.nl

RISC:
http://www.cwi.nl/crypto/risc

DIAMANT:
http://www.win.tue.nl/diamant

*****************************************************************
------- End of forwarded message -------