Eerke Boiten
CSRG seminar on 21 November 2006 at 16:00
Room 245, School of Computer Science

NOTE UNUSUAL DATE



Zero Knowledge Interactive Proof

There are two parties in this seminar: the presenter and the audience. The
presenter knows a secret (namely, what "zero knowledge" and "interactive
proof" mean in the context of cryptography), and we'll assume that the
audience doesn't know it. If, by the end of the seminar, the audience is
convinced that the presenter knows the secret, without the audience having
learned anything about the secret other than that fact, then this will
have been a zero-knowledge seminar.
(And for those in the know: spot the two errors in this abstract.)

About the speaker:
Eerke Boiten is a senior lecturer at the University of Kent. All of his
research has been in "formal program development", variously from the
angles of program transformation, viewpoint specification, and formal
methods, particularly refinement. This academic year he is on study leave,
looking at the interface between formal methods and the "mathematics of
program construction" on the one hand, and cryptography on the other