BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Leakage-Resilient Zero-Knowledge Proofs and their Applications - S
 ahai\, A (UCLA)
DTSTART:20120412T123000Z
DTEND:20120412T133000Z
UID:TALK37434@talks.cam.ac.uk
CONTACT:Mustapha Amrani
DESCRIPTION:We initiate a study of zero knowledge proof systems in the pre
 sence of side-channel attacks. Specifically\, we consider a setting where 
 a cheating verifier is allowed to obtain arbitrary bounded leakage on the 
 entire state (including the witness and the random coins) of the prover du
 ring the entire protocol execution. We formalize a meaningful definition o
 f leakage-resilient zero knowledge (LR-ZK) proof system\, that intuitively
  guarantees that "the protocol does not yield anything beyond the validity
  of the statement\, and whatever leakage the attacker could have obtained 
 without the protocol ever taking place." We give a construction of LR-ZK i
 nteractive proof system based on general assumptions. To the best of our k
 nowledge\, this is the first instance of a cryptographic protocol where th
 e adversary is allowed to perform leakage attacks during the protocol exec
 ution (in contrast\, prior work only focused on leakage-resilient primitiv
 es such as encryption\, or leakage-resilient devices\, or leakage prior to
  the protocol execution). Next\, we give an LR-NIZK argument system based 
 on standard assumptions. We will also discuss several applications of our 
 new notion. Joint work with Sanjam Garg and Abhishek Jain.
LOCATION:Seminar Room 1\, Newton Institute
END:VEVENT
END:VCALENDAR