[Colloq] Thesis Defense: Title: New Proof Techniques for Adaptive Security | Speaker: Zahra Jafargholi | Date: Thursday, August 25th, Time: 2:30pm-4:00pm, Location: 366WVH
Walker, Lashauna
la.walker at northeastern.edu
Tue Aug 23 15:36:06 EDT 2016
Title: New Proof Techniques for Adaptive Security
Speaker: Zahra Jafargholi
Date: Thursday, August 25th
Time: 2:30pm-4:00pm
Location: 366WVH
Abstract:
Selective security refers to the case where the attacker decides on some parameters of the attack before the attack even begins. In contrast, adaptive security refers to the case where the attacker can make decisions throughout the course of the attack. Therefore these decisions can depend on the information the attacker receives during the attack. One can use complexity-leveraging to reduce the problem of proving adaptive security to proving selective security. This technique which involves guessing the decisions the attacker makes during the attack, leads to an exponential loss in security reduction. Here we look at two settings, where we prove adaptive security from scratch - without reducing to selective security. The first problem, Generalized Selective Decryption (GSD) Game, captures security requirements of Broadcast and Multicast Encryption protocols. We give an analysis of the system that proves GSDG is adaptively secure with only a quasi-polynomial loss in the security reduction. In study of the second problem, Adaptively Secure Garbling Schemes, we devise a new garbling scheme that has Yao's garbling scheme at heart. Our adaptively secure garbling scheme has a garbled input of length proportional to the circuit's width. This is a considerable improvement over the previous schemes where the garbled input grew with the size of the entire circuit. Finally, we use the new techniques to analyze adaptive security of Yao's garbling scheme. We show that that Yao's garbling scheme is adaptively secure for NC1 circuits.
Committee:
Daniel Wichs (Advisor)
Rajmohan Rajaraman
Jonathan Ullman
Vinod Vaikuntanathan (MIT)
Thank You.
LaShauna Walker
Events and Project Coordinator
College of Computer and Information Science
Northeastern University
617-373-2763
Facebook<https://www.facebook.com/ccisatnu?ref=hl> | Instagram<https://instagram.com/ccisatnu/> | LinkedIn<https://www.linkedin.com/groups/Northeastern-University-College-Computer-Information-1943637?gid=1943637&mostPopular=&trk=tyah&trkInfo=idx%3A1-1-1%2CtarId%3A1426606862845%2Ctas%3ANortheastern+University+College+of+Com> | Twitter<https://twitter.com/CCISatNU>
More information about the Colloq
mailing list