- Proving the Security of a S...
- Edit Event
- Cancel Event
- Preview Reminder
- Send Reminder
- Other events happening in April 2014
Proving the Security of a Simple Private Information Retrieval Protocol using EasyCrypt
Speaker:
Alley Stoughton
, 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
Public: Yes
Location: 32-G882
Event Type:
Room Description:
Host: CSAIL Security Seminar
Contact: Frank Wang, frankw@csail.mit.edu
Speaker URL: None
Speaker Photo:
None
Reminders to:
alley.stoughton@ll.mit.edu
Reminder Subject:
TALK: Proving the Security of a Simple Private Information Retrieval Protocol using EasyCrypt
Abstract:
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.
Research Areas:
Impact Areas:
Created by Frank Wang 
at Friday, March 21, 2014 at 2:37 PM.