[crypto] [Ronald.Cramer at cwi.nl: (no subject)]
R. Hirschfeld
ray at unipay.nl
Sat May 17 22:21:56 CEST 2008
------- Start of forwarded message -------
Date: Fri, 16 May 2008 19:43:50 +0200 (CEST)
From: Ronald.Cramer at cwi.nl
Dear Colleague,
this is to announce a *special RISC seminar* whose primary focus is on
interactions between cryptography and formal methods.
========================================================================
Date: Wednesday, May 28
Location: Room M279, CWI.
1400h--1445h:
Bogdan Warinschi (Bristol University, UK)
An Introduction to Computational Soundness
1445h--1530h:
Dominique Unruh (Saarland University, Germany)
Computational Soundness of Zero-Knowledge Proofs
1600h--1645h:
Dennis Hofheinz (CWI)
Security in the Presence of Key-Dependent Messages
1645h--1730h:
Peter van Rossum (Radboud Universiteit Nijmegen)
TBA
Looking forward to seeing you on Wednesday May 28!
Please refer to the RISC web-page (see below) for the
title, abstracts, links to the speakers and for directions.
Yours sincerely,
Ronald Cramer (CWI & Leiden University)
Dennis Hofheinz (CWI)
RISC and Cryptology and Information Security Group:
http://www.cwi.nl/crypto
http://www.cwi.nl/crypto/risc.html
------- End of forwarded message -------
More information about the crypto
mailing list