[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