International Association for Cryptologic Research

Ph.D. Database

The aim of the IACR Ph.D. database is twofold. On the first hand, we want to offer an overview of Ph.D. already completed in the domain of cryptology. Where possible, this should also include a subject classification, an abstract, and access to the full text. On the second hand, it deals with Ph.D. subjects currently under investigation. This way, we provide a timely map of contemporary research in cryptology. All entries or changes need to be approved by an editor. You can contact them via phds (at) iacr.org.

Details

Vipul Goyal (#468)
Name Vipul Goyal
Personal Homepage http://research.microsoft.com/en-us/people/vipul/
Topic of his/her doctorate. Stronger Notions of Secure Computation
Category foundations
Keywords Concurrent composition, Resettable Security, Covert Computation
Ph.D. Supervisor(s) Amit Sahai, Rafail Ostrovsky
Year of completion 2009
Abstract

The concept of secure computation protocols was introduced in the seminal works of Yao and Goldreich et al. In this setting, a set of parties wish to compute a joint function of the inputs which they individually hold. The protocol for computation of this function should be such that it does not leak any information about the individual inputs (other than what is leaked by the output itself). General feasibility results for secure computation were obtained by Yao and Goldreich et. al. in mid 1980's. Since then, designing secure computation protocols satisfying stronger security notions has been an active area of research. In this dissertation, we consider two different stronger notions of secure computation.

We first consider the notion of resettable security where the security of a party should be maintained even if it uses the same randomness in multiple protocol executions. A well known problem left open by previous works in this area is whether it is possible to have a secure zero-knowledge protocol in which both parties may be resettable. We resolve this question in the positive by constructing such a protocol. At the heart of our construction is a novel non-black-box simulation strategy, which we believe to be of independent interest.

We then consider the notion of covert computation where the parties can run a protocol without knowing if other parties are also participating in the protocol or not. At the end of the protocol, if all parties participated in the protocol and if the function output is favorable to all parties, only then the output is revealed. In this dissertation, we present the first construction for covert multi-party computation. In order to achieve this goal, we introduce a number of new techniques. One central technical contribution is the development of zero-knowledge proofs to garbled circuits technique. Along the way, we also develop a definition of covert computation as per the Ideal/Real model simulation paradigm.

E-Mail Address vipul (at) microsoft.com
Last Change 2011-04-19 14:42:46
To provide an update on this entry, please click .

Contact: phds (at) iacr.org

[ IACR home page ] [ IACR PhDs page ] © IACR