TCS+ Talk
Please join us this TCS+ video seminar. Coffee and pastries will be served.
Interactive proofs, introduced by Goldwasser, Micali and Rackoff, have had a dramatic impact on Complexity Theory and Cryptography. In particular, the celebrated IP=PSPACE Theorem [LFKN92,Shamir9