Vipul Goyal

E-mail: vipul at microsoft.com

Mailing Address:

Microsoft Research India

No. 9, Vigyan, Lavelle Road,

Bangalore - 560001

India

About Me.

After working long and hard for many years, I finally got my PhD from UCLA! I have now joined Microsoft Research, India.

I was a student of Rafail Ostrovsky and Amit Sahai at UCLA from 2005 to 2009. During this period, I also spend 3 summers at various Microsoft Research labs in the US and a semester at IPAM.

Research Interests. Cryptography, Theoretical Computer Science, Algorithms and Complexity

Upcoming Program Committees. Asiacrypt 2013 (Bangalore, India), Eurocrypt 2013, TCC 2013

Interns/Long Term Visitors

Publications.

2013

Vipul Goyal and Divya Gupta and Abhishek Jain
What Information is Leaked under Concurrent Composition?
Crypto 2013

Vipul Goyal, Ilya Mironov, Omkant Pandey and Amit Sahai
Accuracy-Privacy Tradeoffs for Two-party Differentially-Private Protocols
Crypto 2013

Vipul Goyalipul Goyal
Non-Black-Box Simulation in the Fully Concurrent Setting
STOC 2013

Vipul Goyal and Abhishek Jain
On Concurrently Secure Computation in the Multiple Ideal Query Model
Eurocrypt 2013
Prabhanjan Ananth, Raghav Bhaskar, Vipul Goyal and Vanishree Rao
On the (In)security of Fischlin's Paradigm
TCC 2013
Vipul Goyal, Abhishek Jain, Rafail Ostrovsky, Silas Richelson, and Ivan Visconti
Concurrent Zero Knowledge in the Bounded Player Model
TCC 2013
Vipul Goyal, Huijia Lin, Omkant Pandey, Rafael Pass, and, Amit Sahai
Round-Efficient Concurrently Composable Secure Computation via a Robust Extraction Lemma
Preprint

2012

Chaya Ganesh, Vipul Goyal and Satya Lokam
On-Line/Off-Line Leakage Resilient Secure Computation Protocols
Indocrypt 2012

Vipul Goyal
Positive Results for Concurrently Secure Computation in the Plain Model
FOCS 2012
Vipul Goyal, Chen Lee, Rafail Ostrovsky and Ivan Visconti
Constructing Non-Malleable Commitments: A Black-Box Approach
FOCS 2012
Shweta Agrawal, Vipul Goyal, Abhishek Jain, Manoj Prabhakaran and Amit Sahai
New Impossibility Results for Concurrent Composition and a Non-Interactive Completeness Theorem for Secure Computation
CRYPTO 2012
Sanjam Garg, Vipul Goyal, Abhishek Jain and Amit Sahai
Concurrently Secure Computation in Constant Rounds
EUROCRYPT 2012
Vipul Goyal, Virendra Kumar, Satya Lokam and Mohammad Mahmoody
On Black-Box Reductions between Predicate Encryption Schemes
TCC 2012

2011

Vipul Goyal
Secure Composition of Cryptographic Protocols (Abstract is here)
Slides + paper for ProvSec 2011 invited survey talk
Yi Deng, Dengguo Feng, Vipul Goyal, Dongdai Lin, Amit Sahai and Moti Yung
Resettable Cryptography in Constant Rounds - the Case of Zero Knowledge
ASIACRYPT 2011
Raghav Bhaskar, Abhishek Bhowmick, Vipul Goyal, Srivatsan Laxman and Abhradeep Thakurta
Noiseless Database Privacy
ASIACRYPT 2011
Vipul Goyal and Hemanta K. Maji
Stateless Cryptographic Protocols (full version coming soon)
FOCS 2011
Harry Buhrman, Nishanth Chandran, Serge Fehr, Ran Gelles, Vipul Goyal, Rafail Ostrovsky and Christian Schaffner
Position-Based Quantum Cryptography: Impossibility and Constructions
Crypto 2011
QIP 2011 (accepted as a plenary talk)
Vipul Goyal
Constant Round Non-Malleable Protocols using One Way Functions (Full version)
STOC 2011
A easy to understand PPT
Vipul Goyal, Adam O'Neill and Vanishree Rao
Correlated-Input Secure Hash Functions (Full version; proc version here)
TCC 2011
Sanjam Garg, Vipul Goyal, Abhishek Jain, Amit Sahai
Bringing People of Different Beliefs Together to do UC (proceedings version)
TCC 2011

2010

Vipul Goyal, Abhishek Jain and Rafail Ostrovsky
Concurrent Password-Authenticated Key Exchange in the Plain Model
CRYPTO 2010
Vipul Goyal, Yuval Ishai, Mohammad Mahmoody and Amit Sahai
Interactive Locking, Zero-Knowledge PCPs, and Unconditional Cryptography
CRYPTO 2010
Vipul Goyal and Abhishek Jain
On the Round Complexity of Covert Computation (full version)
STOC 2010

Vipul Goyal, Yuval Ishai, Amit Sahai, Ramarathnam Venkatesan and Akshay Wadia
Founding Cryptography on Tamper-Proof Hardware Tokens
TCC 2010
Invited to Journal of Cryptology

2009

Vipul Goyal
Stronger Notions of Secure Computation
Complete PhD Thesis (except for technical part)

Yi Deng, Vipul Goyal and Amit Sahai
Resolving the Simultaneous Resettability Conjecture and a New Non-Black-Box Simulation Strategy
FOCS 2009
Invited to SICOMP FOCS’09 special issue

Nishanth Chandran, Vipul Goyal, Ryan Moriarty and Rafail Ostrovsky
Position Based Cryptography (Full Version)
CRYPTO 2009

Vipul Goyal and Amit Sahai
Resettably Secure Computation (Proceedings version)
EUROCRYPT 2009
Submission version with more proofs

2008

Vipul Goyal, Steve Lu, Amit Sahai and Brent Waters
Black-Box Accountable Authority Identity Based Encryption (full version; proc version here)
ACM CCS 2008

Alexandra Boldyreva, Vipul Goyal and Virendra Kumar
Identity Based Encryption with Efficient Revocation (full version; proc version here)
ACM CCS 2008

Vipul Goyal, Abhishek Jain, Omkant Pandey and Amit Sahai
Bounded Ciphertext-Policy Attribute based Encryption (Proceedings Version)
ICALP 2008
Submission version with more with more proofs (but less polished)

Vipul Goyal, Payman Mohassel and Adam Smith
Efficient Two Party and Multi Party Computation against Covert Adversaries (Proceedings Version)
EUROCRYPT 2008
Submission version with more proofs (but less polished with a lot more typos)

Nishanth Chandran, Vipul Goyal and Amit Sahai
New Constructions for UC Secure Computation using Tamper-proof Hardware
EUROCRYPT 2008

Vipul Goyal and Jonathan Katz
Universally Composable Multi-Party Computation with an Unreliable Common Reference String
TCC 2008

2007

Vipul Goyal, Ryan Moriarty, Rafail Ostrovsky and Amit Sahai
Concurrent Statistical Zero-Knowledge Arguments for NP from One Way Functions
ASIACRYPT 2007

Nishanth Chandran, Vipul Goyal, Rafail Ostrovsky and Amit Sahai
Covert Muli-Party Computation
FOCS 2007

Vipul Goyal
Reducing Trust in the PKG in Identity Based Cryptosystems (Full Version)
CRYPTO 2007

Vipul Goyal
Certificate Revocation using Fine Grained Certificate Space Partitioning
FC 2007

2006

Vipul Goyal, Omkant Pandey, Amit Sahai and Brent Waters
Attribute-Based Encryption for Fine-Grained Access Control of Encrypted Data (Full Version)
ACM CCS 2006

Program Committees.

Upcoming:

Eurocrypt 2013 (Greece)
TCC 2013 (Japan)

Asiacrypt 2013 (Bangalore, India)

Past / Current:

Asiacrypt 2012 (Beijing, China)
SCN 2012 (Amalfi, Italy)
Indocrypt 2012 (Kolkata, India)
Asiacrypt 2011 (Seoul, Korea)
Indocrypt 2011 (International Conference on Cryptology in India, Chennai, India)
ICITS 2011 (International Conference on Information Theoretic Security, Amsterdam)
CRYPTO 2011 (Santa Barbara, USA)
TCC 2011 (Theory of Cryptography Conference, Providence, USA)
Pairing 2010 (International Conference on Pairing-based Cryptography, Japan)
Indocrypt 2010 (International Conference on Cryptology in India, Hyderabad, India)
ProvSec 2010 (International Conference on Provable Security, Malaysia)
ICISC 2010 (International Conference on Information Security and Cryptology, Korea)
ICISC 2009 ((International Conference on Information Security and Cryptology, Korea)
ICISC 2008 ((International Conference on Information Security and Cryptology, Korea)

Interns/Long term visitors.

Virendra Kumar (Gatech),

Adam O'Neill (Gatech),

Vanishree H (UCLA),

Abhradeep Guha Thakurta (Penn State),
Hemanta K. Maji (UIUC),

Chaya Ganesh (IIT Madras),

Rudradev Basak (IIT Delhi),

Prabhanjan Ananth (IISc),

Nishanth Chandran (MSR Redmond),

Bhavana Kanukurthi (UCLA),

Omkant Pandey (UT Austin),

Prashant Vasudevan (IIT Madras),

Shashank Agrawal (UIUC),

Divya Gupta (UCLA)

Abhishek Banerjee (Gatech)