Proving the Security of a Simple Private Information Retrieval Protocol using EasyCrypt
, MIT Lincoln Lab
Date: Wednesday, April 23, 2014
Time: 4:00 PM to 5:00 PM Note: all times are in the Eastern Time Zone
Host: CSAIL Security Seminar
Contact: Frank Wang, firstname.lastname@example.org
Speaker URL: None
TALK: Proving the Security of a Simple Private Information Retrieval Protocol using EasyCrypt
EasyCrypt is Gilles Barthe's group's framework for interactively finding security proofs of cryptographic protocols using the sequence of games approach. I'll give an introduction to EasyCrypt, describe a very simple private information retrieval protocol, and give a high level description of how this protocol can be proved secure using EasyCrypt.
Created by Frank Wang at Friday, March 21, 2014 at 2:37 PM.