Publications

2026
Public-Key Quantum Fire and Key-Fire From Classical Oracles
Alper Cakan, Vipul Goyal, Omri Shmueli
Crypto 2026 · QCrypt 2025 Oral Presentation
Multi-Copy Security in Quantum Cryptography and More
Alper Cakan, Vipul Goyal, Fuyuki Kitagawa, Ryo Nishimaki, Takashi Yamakawa
Crypto 2026 · QCrypt 2026 Oral Presentation
Suffix-Invariant Programmable PRFs and Applications to Stacked Garbling
Vipul Goyal, David Heath, Abhishek Jain, Yibin Yang
Crypto 2026
Anonymous Public-key Quantum Money and Universally Verifiable Quantum Voting
Alper Cakan, Vipul Goyal, Takashi Yamakawa
Crypto 2026 · QIP 2025 Oral Presentation · QCrypt 2025 Oral Presentation
How to Delete Without a Trace: Certified Deniability in a Quantum World
Alper Cakan, Vipul Goyal, Justin Raizes
Crypto 2026 · QIP 2025 Oral Presentation · QCrypt 2026 Oral Presentation
Proofs of No Intrusion
Vipul Goyal, Justin Raizes
Eurocrypt 2026
How to Copy-Protect All Puncturable Functionalities Without Conjectures: A Unified Solution to Quantum Protection
Alper Cakan, Vipul Goyal
Eurocrypt 2026
Traceable Secret Sharing Revisited
Vipul Goyal, Abhishek Jain, Aditi Partap
Eurocrypt 2026
2025
Round-Efficient Composable Two-Party Quantum Computation
Vipul Goyal, Xiao Liang, Omkant Pandey, Yuhao Tang, and Takashi Yamakawa
Asiscrypt 2025
Towards Building Scalable Constant-Round MPC from Minimal Assumptions
Vipul Goyal, Junru Li, Rafail Ostrovsky, Yifan Song
Crypto 2025
Unconditional Quantum Cryptography with a Bounded Number of Key
Vipul Goyal, Giulio Malavolta, Bhaskar Roberts
IACR Communications in Cryptology 2025
Quantum Key Leasing for PKE and FHE with a Classical Lessor
Orestis Chardouvelis, Vipul Goyal, Aayush Jain, Jiahui Liu
Eurocrypt 2025 · QCrypt 2024 Oral Presentation
2024
Unbounded Leakage-Resilience and Leakage-Detection in a Quantum World
Alper Cakan, Vipul Goyal, Chen-Da Liu-Zhang, Joao Ribeiro
TCC 2024 · TQC 2024 Oral Presentation
Unclonable Cryptography with Unbounded Collusions and Impossibility of Hyperefficient Shadow Tomography
Alper Cakan, Vipul Goyal
TCC 2024 · TQC 2025 Oral Presentation · QCrypt 2025 Oral Presentation
Unclonable Commitments and Proofs
Vipul Goyal, Giulio Malavolta, Justin Raizes
TCC 2024
Split-State Non-Malleable Codes and Secret Sharing for Quantum Messages
Naresh Goud Boddu, Vipul Goyal, Rahul Jain, Joao Ribeiro
TCC 2024 · QCrypt 2023 · IEEE Trans. on Information Theory
Unclonable Secret Sharing
Prabhanjan Ananth, Vipul Goyal, Jiahui Liu, Qipeng Liu
Asiacrypt 2024
Dishonest Majority Constant-Round MPC with Linear Communication from DDH
Vipul Goyal, Junru Li, Ankit Kumar Misra, Rafail Ostrovsky, Yifan Song, Chenkai Weng
Asiacrypt 2024
NIZKs with Maliciously Chosen CRS: Subversion Advice-ZK and Accountable Soundness
Prabhanjan Ananth, Gilad Asharov, Vipul Goyal, Hadar Kaner, Pratik Soni, Brent Waters
SCN 2024 · IACR Journal of Cryptology 2025
Towards Achieving Asynchronous MPC with Linear Communication and Optimal Resilience
Vipul Goyal, Chen-Da Liu-Zhang, Yifan Song
Crypto 2024
Software with Certified Deletion
James Bartusek, Vipul Goyal, Dakshita Khurana, Giulio Malavolta, Justin Raizes, Bhaskar Roberts
Eurocrypt 2024
2023
On Concurrent Multi-Party Quantum Computation
Vipul Goyal, Xiao Liang, Giulio Malavolta
Crypto 2023 · QCrypt 2023
Reusable Secure Computation in the Plain Model
Vipul Goyal, Akshayaram Srinivasan, Mingyuan Wang
Crypto 2023
SuperPack: Dishonest Majority MPC with Constant Online Communication
Daniel Escudero, Vipul Goyal, Antigoni Polychroniadou, Yifan Song, Chenkai Weng
Eurocrypt 2023
Computational Quantum Secret Sharing
Alper ?akan, Vipul Goyal, Chen-Da Liu-Zhang, Joao Ribeiro
TQC 2023 proceedings
Asymmetric Multi-Party Computation
Vipul Goyal, Chen-Da Liu-Zhang, Rafail Ostrovsky
ITC 2023
Asynchronous Multi-Party Quantum Computation
Vipul Goyal, Chen-Da Liu-Zhang, Justin Raizes, Joao Ribeiro
ITCS 2023
2022
TurboPack: Honest Majority MPC with Constant Online Communication
Daniel Escudero, Vipul Goyal, Antigoni Polychroniadou, Yifan Song
ACM CCS 2022
Sharing Transformation and Dishonest Majority MPC with Packed Secret Sharing
Vipul Goyal, Antigoni Polychroniadou, Yifan Song
Crypto 2022
Tight Bounds on the Randomness Complexity of Secure Multiparty Computation
Vipul Goyal, Yuval Ishai, Yifan Song
Crypto 2022
Round-Optimal Byzantine Agreement
Diana Ghinea, Vipul Goyal, Chen-Da Liu-Zhang
Eurocrypt 2022
Private Circuits with Quasilinear Randomness
Vipul Goyal, Yuval Ishai, Yifan Song
Eurocrypt 2022
Time-Traveling Simulators Using Blockchains and Their Applications
Vipul Goyal, Justin Raizes, Pratik Soni
ITCS 2022
Interaction Preserving Compilers for Secure Computation
Nico D?ttling, Vipul Goyal, Giulio Malavolta, Justin Raizes
ITCS 2022
Storing and Retrieving Secrets on a Blockchain
Vipul Goyal, Abhiram Kothapalli, Elisaweta Masserova, Bryan Parno, Yifan Song
PKC 2022
2021
Blockchains Enable Non-Interactive MPC
Vipul Goyal, Elisaweta Masserova, Bryan Parno, Yifan Song
TCC 2021
Two-Round Maliciously Secure Computation with Super-Polynomial Simulation
Amit Agarwal, James Bartusek, Vipul Goyal, Dakshita Khurana, Giulio Malavolta
TCC 2021
Oblivious Transfer from Trapdoor Permutations in Minimal Rounds
Arka Rai Choudhuri, Michele Ciampi, Vipul Goyal, Abhishek Jain, Rafail Ostrovsky
TCC 2021
Unconditional Communication-Efficient MPC via Hall's Marriage Theorem
Vipul Goyal, Antigoni Polychroniadou, Yifan Song
Crypto 2021
ATLAS: Efficient and Scalable MPC in the Honest Majority Setting
Vipul Goyal, Hanjun Li, Rafail Ostrovsky, Antigoni Polychroniadou, Yifan Song
Crypto 2021
Traceable Secret Sharing and Applications
Vipul Goyal, Yifan Song, Akshayaram Srinivasan
Crypto 2021
Cryptocurrencies with Security Policies and Two-Factor Authentication
Florian Breuer, Vipul Goyal, Giulio Malavolta
EuroS&P 2021
Post-Quantum MPC in Constant Rounds
Amit Agarwal, James Bartusek, Vipul Goyal, Dakshita Khurana, Giulio Malavolta
Eurocrypt 2021
Multi-Source Non-Malleable Extractors and Applications
Vipul Goyal, Akshayaram Srinivasan, Chenzhi Zhu
Eurocrypt 2021
Towards Accountability in CRS Generation
Prabhanjan Ananth, Gilad Asharov, Hila Dahari, Vipul Goyal
Eurocrypt 2021
Threshold Garbled Circuits and Ad Hoc Secure Computation
Michele Ciampi, Vipul Goyal, Rafail Ostrovsky
Eurocrypt 2021
Instant Block Confirmation in the Sleepy Model
Vipul Goyal, Hanjun Li, Justin Raizes
FC 2021
2020
Round Optimal Secure Multiparty Computation from Minimal Assumptions
Arka Rai Choudhuri, Michele Ciampi, Vipul Goyal, Abhishek Jain, Rafail Ostrovsky
TCC 2020
Leakage-Resilient Extractors and Secret-Sharing against Bounded Collusion Protocols
Eshan Chattopadyay, Jesse Goodman, Vipul Goyal, Xin Li
FOCS 2020
Conference version merged with this paper
Talek: Private Group Messaging with Hidden Access Patterns
Raymond Cheng, William Scott, Elisaweta Masserova, Irene Zhang, Vipul Goyal, Thomas Anderson, Arvind Krishnamurthy, Bryan Parno
ACSAC 2020
The Round Complexity of Secure Computation Against Covert Adversaries
Arka Rai Choudhuri, Vipul Goyal, Abhishek Jain
SCN 2020
Guaranteed Output Delivery Comes Free in Honest-Majority MPC
Vipul Goyal, Yifan Song, Chenzhi Zhu
Crypto 2020
Malicious Security Comes Free in Honest-Majority MPC
Vipul Goyal, Yifan Song
Merged with the Crypto 2020 paper above
ACCO: Algebraic Computation with COmparison
Xiaoqi Duan, Vipul Goyal, Hanjun Li, Rafail Ostrovsky, Antigoni Polychroniadou, Yifan Song
Crypto 2020 Privacy Preserving Machine Learning Workshop
Extractors for Adversarial Sources via Extremal Hypergraphs
Eshan Chattopadyay, Jesse Goodman, Vipul Goyal, Xin Li
STOC 2020
Statistical Zaps and New Oblivious Transfer Protocols
Vipul Goyal, Giulio Malavolta, Abhishek Jain, Zhengzhong Jin
Eurocrypt 2020
2019
Interactive Non-Malleable Codes
Nils Fleischhacker, Vipul Goyal, Abhishek Jain, Anat Paskin-Cherniavsky, Slava Radune
TCC 2019
Non-Malleable Commitments using Goldreich-Levin List Decoding
Vipul Goyal, Silas Richelson
FOCS 2019
Laconic Conditional Disclosure of Secrets and Applications
Nico D?ttling, Sanjam Garg, Vipul Goyal, Giulio Malavolta
FOCS 2019
Communication-Efficient Unconditional MPC with Guaranteed Output Delivery
Vipul Goyal, Yanyi Liu, Yifan Song,
Crypto 2019
Simultaneous Amplification: The Case of Non-Interactive Zero-Knowledge
Vipul Goyal, Aayush Jain, Amit Sahai,
Crypto 2019
Founding Secure Computation on Blockchains
Arka Rai Choudhuri, Vipul Goyal, Abhishek Jain
Eurocrypt 2019
Correlated-Source Extractors, and, Cryptography for Correlated Random Tapes
Vipul Goyal, Yifan Song
Eurocrypt 2019
2018
Promise Zero Knowledge and its Applications to Round Optimal MPC
Saikrishna Badrinarayanan, Vipul Goyal, Abhishek Jain, Yael Tauman Kalai, Dakshita Khurana, Amit Sahai
Crypto 2018
Non-Malleable Secret Sharing for General Access Structures
Vipul Goyal, Ashutosh Kumar
Crypto 2018
Non-Malleable Secret Sharing
Vipul Goyal, Ashutosh Kumar
STOC 2018
On the Existence of Three Round Zero-Knowledge Proofs
Nils Fleischhacker, Vipul Goyal, Abhishek Jain
Eurocrypt 2018
2017
Overcoming Cryptographic Impossibility Results using Blockchains
Rishab Goyal, Vipul Goyal
TCC 2017
Round Optimal Concurrent MPC via Strong Simulation
Saikrishna Badrinarayanan, Vipul Goyal, Abhishek Jain, Dakshita Khurana, Amit Sahai
TCC 2017
Hierarchical Functional Encryption
Zvika Brakerski, Nishanth Chandran, Aayush Jain, Vipul Goyal, Amit Sahai, Gil Segev
ITCS 2017
HOP: Hardware makes Obfuscation Practical
Kartik Nayak, Christopher W Fletcher, Ling Ren, Nishanth Chandran, Satyanarayana V. Lokam, Elaine Shi, Vipul Goyal
NDSS 2017
A note on VRFs from Verifiable Functional Encryption
Saikrishna Badrinarayanan, Vipul Goyal, Aayush Jain, Amit Sahai
Crypto ePrint Archive
2016
Breaking the Three Round Barrier for Non-Malleable Commitments
Vipul Goyal, Dakshita Khurana, Amit Sahai
FOCS 2016
Bounded-Communication Leakage Resilience via Parity-Resilient Circuits
Vipul Goyal, Yuval Ishai, Hemanta K. Maji, Amit Sahai, Alexander Sherstov
FOCS 2016
Textbook Non-Malleable Commitments
Vipul Goyal, Omkant Pandey, Silas Richelson
STOC 2016
Non-Malleable Extractors and Codes, with their Many Tampered Extensions
Eshan Chattopadhyay, Vipul Goyal, Xin Li
STOC 2016
See a follow up by Chattopadhyay-Zuckerman and comments by Oded Goldreich
Verifiable Functional Encryption
Saikrishna Badrinarayanan, Vipul Goyal, Aayush Jain, Amit Sahai
Asiacrypt 2016
Unbounded Message Multi-Input Functional Encryption
Vipul Goyal, Aayush Jain, Adam ONeill
Asiacrypt 2016
Do Distributed Differentially-Private Protocols Require Oblivious Transfer?
Vipul Goyal, Dakshita Khurana, Ilya Mironov, Omkant Pandey, Amit Sahai
ICALP 2016
Block-wise Non-Malleable Codes
Nishanth Chandran, Vipul Goyal, Pratyay Mukherjee, Omkant Pandey, Jalaj Upadhyay
ICALP 2016
2015
Concurrent Secure Computation via Non-Black Box Simulation
Vipul Goyal, Divya Gupta and Amit Sahai
Crypto 2015
Concurrent Secure Computation with Optimal Query Complexity
Ran Canetti, Vipul Goyal and Abhishek Jain,
Crypto 2015
Fast Non-Malleable Commitments
Hai Brenner, Vipul Goyal, Silas Richelson, Alon Rosen, Margarita Vald
ACM CCS 2015
Functional Encryption for Randomized Functionalities
Vipul Goyal, Abhishek Jain, Venkata Koppula and Amit Sahai
TCC 2015
Round-Efficient Concurrently Composable Secure Computation via a Robust Extraction Lemma
Vipul Goyal, Huijia Lin, Omkant Pandey, Rafael Pass, and, Amit Sahai
TCC 2015
2014
An Algebraic Approach to Non-Malleability
Vipul Goyal, Silas Richelson, Alon Rosen and Margarita Vald
FOCS 2014 · Appeared in SICOMP (vol. 50, Issue 5) 2021
Interactive Proofs under Continual Memory Leakage
Prabhanjan Ananth, Vipul Goyal, and, Omkant Pandey
Crypto 2014
Black-Box Non-Black-Box Zero Knowledge
Vipul Goyal, Rafail Ostrovsky, Alessandra Scafuro, and, Ivan Visconti
STOC 2014
Multi-Input Functional Encryption
Shafi Goldwasser, Vipul Goyal, Abhishek Jain and Amit Sahai
Eurocrypt 2014
Merged with this paper by S. Dov Gordon, Jonathan Katz, Feng-Hao Liu, Elaine Shi, and, Hong-Sheng Zhou
Lower Bounds in the Hardware Token Model
Shashank Agrawal, Prabhanjan Ananth, Vipul Goyal, Manoj Prabhakaran and Alon Rosen
TCC 2014
Achieving privacy in verifiable computation with multiple servers - without FHE and without pre-processing
Prabhanjan Ananth, Nishanth Chandran, Vipul Goyal, Bhavana Kanukurthi, Rafail Ostrovsky
PKC 2014
2013
What Information is Leaked under Concurrent Composition?
Vipul Goyal, Divya Gupta and Abhishek Jain
Crypto 2013 · Invited to Journal of Cryptology
Accuracy-Privacy Tradeoffs for Two-party Differentially-Private Protocols
Vipul Goyal, Ilya Mironov, Omkant Pandey and Amit Sahai
Crypto 2013
Non-Black-Box Simulation in the Fully Concurrent Setting
Vipul Goyal
STOC 2013
On Concurrently Secure Computation in the Multiple Ideal Query Model
Vipul Goyal and Abhishek Jain
Eurocrypt 2013
On the (In)security of Fischlin's Paradigm
Prabhanjan Ananth, Raghav Bhaskar, Vipul Goyal and Vanishree Rao
TCC 2013
Concurrent Zero Knowledge in the Bounded Player Model
Vipul Goyal, Abhishek Jain, Rafail Ostrovsky, Silas Richelson, and Ivan Visconti
TCC 2013
Constant-Round Concurrent Zero Knowledge in the Bounded Player Model
Vipul Goyal, Abhishek Jain, Rafail Ostrovsky, Silas Richelson and Ivan Visconti
Asiacrypt 2013
2012
Positive Results for Concurrently Secure Computation in the Plain Model
Vipul Goyal
FOCS 2012
Constructing Non-Malleable Commitments: A Black-Box Approach
Vipul Goyal, Chen Lee, Rafail Ostrovsky and Ivan Visconti
FOCS 2012
New Impossibility Results for Concurrent Composition and a Non-Interactive Completeness Theorem for Secure Computation
Shweta Agrawal, Vipul Goyal, Abhishek Jain, Manoj Prabhakaran and Amit Sahai
Crypto 2012
Concurrently Secure Computation in Constant Rounds
Sanjam Garg, Vipul Goyal, Abhishek Jain and Amit Sahai
Eurocrypt 2012
On Black-Box Reductions between Predicate Encryption Schemes
Vipul Goyal, Virendra Kumar, Satya Lokam and Mohammad Mahmoody
TCC 2012
On-Line/Off-Line Leakage Resilient Secure Computation Protocols
Chaya Ganesh, Vipul Goyal and Satya Lokam
Indocrypt 2012
2011 and earlier
Stateless Cryptographic Protocols
Vipul Goyal and Hemanta K. Maji
FOCS 2011
(full version coming soon)
Position-Based Quantum Cryptography: Impossibility and Constructions
Harry Buhrman, Nishanth Chandran, Serge Fehr, Ran Gelles, Vipul Goyal, Rafail Ostrovsky and Christian Schaffner
Crypto 2011 · QIP 2011 (selected as one of 3 plenary papers out of 183 submissions) · Appeared in SICOMP (Vol. 43, Issue 1) 2014
See media review: Gilles Brassard, "Quantum information: The conundrum of secure positioning", Nature, 479, pages 307-308, 2011
See article in MIT Technology Review and Other media coverage
Constant Round Non-Malleable Protocols using One Way Functions
Vipul Goyal
STOC 2011
(Improved 2015 SICOMP submission)
Correlated-Input Secure Hash Functions
Vipul Goyal, Adam O'Neill and Vanishree Rao
TCC 2011
(Full version; proc version here)
Bringing People of Different Beliefs Together to do UC
Sanjam Garg, Vipul Goyal, Abhishek Jain, Amit Sahai
TCC 2011
(proceedings version)
Secure Composition of Cryptographic Protocols
Vipul Goyal
Slides + paper for ProvSec 2011 invited talk
(Abstract is here)
Resettable Cryptography in Constant Rounds - the Case of Zero Knowledge
Yi Deng, Dengguo Feng, Vipul Goyal, Dongdai Lin, Amit Sahai and Moti Yung
ASIACRYPT 2011
Noiseless Database Privacy
Raghav Bhaskar, Abhishek Bhowmick, Vipul Goyal, Srivatsan Laxman and Abhradeep Thakurta
ASIACRYPT 2011
Concurrent Password-Authenticated Key Exchange in the Plain Model
Vipul Goyal, Abhishek Jain and Rafail Ostrovsky
CRYPTO 2010
Interactive Locking, Zero-Knowledge PCPs, and Unconditional Cryptography
Vipul Goyal, Yuval Ishai, Mohammad Mahmoody and Amit Sahai
CRYPTO 2010
On the Round Complexity of Covert Computation
Vipul Goyal and Abhishek Jain
STOC 2010
(full version)
Founding Cryptography on Tamper-Proof Hardware Tokens
Vipul Goyal, Yuval Ishai, Amit Sahai, Ramarathnam Venkatesan and Akshay Wadia
TCC 2010
Invited to Journal of Cryptology
Resolving the Simultaneous Resettability Conjecture and a New Non-Black-Box Simulation Strategy
Yi Deng, Vipul Goyal and Amit Sahai
FOCS 2009
Invited to SICOMP FOCS 2009 special issue
Position Based Cryptography
Nishanth Chandran, Vipul Goyal, Ryan Moriarty and Rafail Ostrovsky
CRYPTO 2009
(Full Version)
Appeared in SICOMP (vol. 43, Issue 4) 2014
Resettably Secure Computation
Vipul Goyal and Amit Sahai
EUROCRYPT 2009
(Proceedings version)
Submission version with more proofs
Black-Box Accountable Authority Identity Based Encryption
Vipul Goyal, Steve Lu, Amit Sahai and Brent Waters
ACM CCS 2008
(full version; proc version here)
Identity Based Encryption with Efficient Revocation
Alexandra Boldyreva, Vipul Goyal and Virendra Kumar
ACM CCS 2008
(full version; proc version here)
Efficient Two Party and Multi Party Computation against Covert Adversaries
Vipul Goyal, Payman Mohassel and Adam Smith
Eurocrypt 2008
(Proceedings Version)
Submission version with more proofs (but less polished with a lot more typos)
New Constructions for UC Secure Computation using Tamper-proof Hardware
Nishanth Chandran, Vipul Goyal and Amit Sahai
Eurocrypt 2008
Bounded Ciphertext-Policy Attribute based Encryption
Vipul Goyal, Abhishek Jain, Omkant Pandey and Amit Sahai
ICALP 2008
(Proceedings Version)
Submission version with more with more proofs (but less polished)
Universally Composable Multi-Party Computation with an Unreliable Common Reference String
Vipul Goyal and Jonathan Katz
TCC 2008
Covert Muli-Party Computation
Nishanth Chandran, Vipul Goyal, Rafail Ostrovsky and Amit Sahai
FOCS 2007
Reducing Trust in the PKG in Identity Based Cryptosystems
Vipul Goyal
Crypto 2007
(Full Version)
Concurrent Statistical Zero-Knowledge Arguments for NP from One Way Functions
Vipul Goyal, Ryan Moriarty, Rafail Ostrovsky and Amit Sahai
ASIACRYPT 2007
Certificate Revocation using Fine Grained Certificate Space Partitioning
Vipul Goyal
FC 2007
Attribute-Based Encryption for Fine-Grained Access Control of Encrypted Data Test of Time Award
Vipul Goyal, Omkant Pandey, Amit Sahai and Brent Waters
ACM CCS 2006 · Winner of 2016 ACM CCS Test of Time Award
A new protocol to counter online dictionary attacks.
Vipul Goyal, Virendra Kumar, Mayank Singh, Ajith Abraham, Sugata Sanyal:
Computers & Security Journal