| 2026 | CRYPTO | Private Proofs of When and Where. | Uma Girish, Greg Gluch, Shafi Goldwasser, Tal Malkin, Leo Orshansky, Henry Yuen |
| 2026 | EuroCrypt | Sum-Check Protocol for Approximate Computations. | Dor Bitan, Zachary DeStefano, Shafi Goldwasser, Yuval Ishai, Yael Tauman Kalai, Justin Thaler |
| 2025 | AAAI | Unsupervised Translation of Emergent Communication. | Ido Levy, Orr Paradise, Boaz Carmeli, Ron Meir, Shafi Goldwasser, Yonatan Belinkov |
| 2025 | STOC | Oblivious Defense in ML Models: Backdoor Removal without Detection. | Shafi Goldwasser, Jonathan Shafer, Neekon Vafa, Vinod Vaikuntanathan |
| 2024 | CRYPTO | Certifying Private Probabilistic Mechanisms. | Zo Ruha Bell, Shafi Goldwasser, Michael P. Kim, Jean-Luc Watson |
| 2022 | FOCS | Planting Undetectable Backdoors in Machine Learning Models : [Extended Abstract]. | Shafi Goldwasser, Michael P. Kim, Vinod Vaikuntanathan, Or Zamir |
| 2022 | STOC | Deniable encryption in a Quantum world. | Andrea Coladangelo, Shafi Goldwasser, Umesh V. Vazirani |
| 2021 | CRYPTO | Deniable Fully Homomorphic Encryption from Learning with Errors. | Shweta Agrawal, Shafi Goldwasser, Saleet Mossel |
| 2020 | EuroCrypt | Formalizing Data Deletion in the Context of the Right to Be Forgotten. | Sanjam Garg, Shafi Goldwasser, Prashant Nalini Vasudevan |
| 2020 | ITA | Identifying unpredictable test examples with worst-case guarantees. | Shafi Goldwasser, Adam Tauman Kalai, Yael Tauman Kalai, Omar Montasser |
| 2019 | SODA | Fine-grained Complexity Meets IP = PSPACE. | Lijie Chen, Shafi Goldwasser, Kaifeng Lyu, Guy N. Rothblum, Aviad Rubinstein |
| 2018 | PODC | Population Stability: Regulating Size in the Presence of an Adversary. | Shafi Goldwasser, Rafail Ostrovsky, Alessandra Scafuro, Adam Sealfon |
| 2017 | ICALP | Bipartite Perfect Matching in Pseudo-Deterministic NC. | Shafi Goldwasser, Ofer Grossman |
| 2017 | NSDI | Splinter: Practical Private Queries on Public Data. | Frank Wang, Catherine Yun, Shafi Goldwasser, Vinod Vaikuntanathan, Matei Zaharia |
| 2017 | TCC | The Edited Truth. | Shafi Goldwasser, Saleet Klein, Daniel Wichs |
| 2016 | TCC | Cryptographic Assumptions: A Position Paper. | Shafi Goldwasser, Yael Tauman Kalai |
| 2015 | ICALP | Adaptively Secure Coin-Flipping, Revisited. | Shafi Goldwasser, Yael Tauman Kalai, Sunoo Park |
| 2015 | NDSS | Machine Learning Classification over Encrypted Data. | Raphael Bost, Raluca Ada Popa, Stephen Tu, Shafi Goldwasser |
| 2015 | TCC | Adaptively Secure Two-Party Computation from Indistinguishability Obfuscation. | Ran Canetti, Shafi Goldwasser, Oxana Poburinnaya |
| 2015 | TCC | Aggregate Pseudorandom Functions and Connections to Learning. | Aloni Cohen, Shafi Goldwasser, Vinod Vaikuntanathan |
| 2014 | CRYPTO | The Impossibility of Obfuscation with Auxiliary Input or a Universal Simulator. | Nir Bitansky, Ran Canetti, Henry Cohn, Shafi Goldwasser, Yael Tauman Kalai, Omer Paneth, Alon Rosen |
| 2014 | EuroCrypt | Multi-input Functional Encryption. | Shafi Goldwasser, S. Dov Gordon, Vipul Goyal, Abhishek Jain, Jonathan Katz, Feng-Hao Liu, Amit Sahai, Elaine Shi, Hong-Sheng Zhou |
| 2014 | PKC | Functional Signatures and Pseudorandom Functions. | Elette Boyle, Shafi Goldwasser, Ioana Ivan |
| 2013 | CRYPTO | How to Run Turing Machines on Encrypted Data. | Shafi Goldwasser, Yael Tauman Kalai, Raluca A. Popa, Vinod Vaikuntanathan, Nickolai Zeldovich |
| 2013 | STOC | Reusable garbled circuits and succinct functional encryption. | Shafi Goldwasser, Yael Tauman Kalai, Raluca A. Popa, Vinod Vaikuntanathan, Nickolai Zeldovich |
| 2013 | TCC | Communication Locality in Secure Multi-party Computation - How to Run Sublinear Algorithms in a Distributed Setting. | Elette Boyle, Shafi Goldwasser, Stefano Tessaro |
| 2012 | FOCS | How to Compute in the Presence of Leakage. | Shafi Goldwasser, Guy N. Rothblum |
| 2012 | PODC | Distributed public key schemes secure against continual leakage. | Adi Akavia, Shafi Goldwasser, Carmit Hazay |
| 2012 | STOC | Multiparty computation secure against continual memory leakage. | Elette Boyle, Shafi Goldwasser, Abhishek Jain, Yael Tauman Kalai |
| 2012 | STACS | Pseudo-deterministic Algorithms (Invited Talk). | Shafi Goldwasser |
| 2012 | TCC | Bounded-Collusion IBE from Key Homomorphism. | Shafi Goldwasser, Allison B. Lewko, David A. Wilson |
| 2011 | ASIACRYPT | Program Obfuscation with Leaky Hardware. | Nir Bitansky, Ran Canetti, Shafi Goldwasser, Shai Halevi, Yael Tauman Kalai, Guy N. Rothblum |
| 2011 | TCC | Black-Box Circular-Secure Encryption beyond Affine Functions. | Zvika Brakerski, Shafi Goldwasser, Yael Tauman Kalai |
| 2010 | CRYPTO | Circular and Leakage Resilient Public-Key Encryption under Subgroup Indistinguishability - (or: Quadratic Residuosity Strikes Back). | Zvika Brakerski, Shafi Goldwasser |
| 2010 | CRYPTO | Securing Computation against Continuous Leakage. | Shafi Goldwasser, Guy N. Rothblum |
| 2010 | STOC | Erratum for: on basing one-way functions on NP-hardness. | Adi Akavia, Oded Goldreich, Shafi Goldwasser, Dana Moshkovitz |
| 2010 | TCC | Public-Key Encryption Schemes with Auxiliary Inputs. | Yevgeniy Dodis, Shafi Goldwasser, Yael Tauman Kalai, Chris Peikert, Vinod Vaikuntanathan |
| 2009 | EuroCrypt | Cryptography without (Hardly Any) Secrets ? | Shafi Goldwasser |
| 2009 | STOC | Athena lecture: Controlling Access to Programs? | Shafi Goldwasser |
| 2009 | TCC | Simultaneous Hardcore Bits and Cryptography against Memory Attacks. | Adi Akavia, Shafi Goldwasser, Vinod Vaikuntanathan |
| 2009 | TCC | Weak Verifiable Random Functions. | Zvika Brakerski, Shafi Goldwasser, Guy N. Rothblum, Vinod Vaikuntanathan |
| 2008 | CRYPTO | One-Time Programs. | Shafi Goldwasser, Yael Tauman Kalai, Guy N. Rothblum |
| 2008 | ICALP | How to Protect Yourself without Perfect Shredding. | Ran Canetti, Dror Eiger, Shafi Goldwasser, Dah-Yoh Lim |
| 2008 | STOC | A (de)constructive approach to program checking. | Shafi Goldwasser, Dan Gutfreund, Alexander Healy, Tali Kaufman, Guy N. Rothblum |
| 2008 | STOC | Delegating computation: interactive proofs for muggles. | Shafi Goldwasser, Yael Tauman Kalai, Guy N. Rothblum |
| 2007 | EuroCrypt | Secure Computation from Random Error Correcting Codes. | Hao Chen, Ronald Cramer, Shafi Goldwasser, Robbert de Haan, Vinod Vaikuntanathan |
| 2007 | STOC | Verifying and decoding in constant depth. | Shafi Goldwasser, Dan Gutfreund, Alexander Healy, Tali Kaufman, Guy N. Rothblum |
| 2007 | TCC | On Best-Possible Obfuscation. | Shafi Goldwasser, Guy N. Rothblum |
| 2006 | FOCS | Fault-Tolerant Distributed Computing in Full-Information Networks. | Shafi Goldwasser, Elan Pavlov, Vinod Vaikuntanathan |
| 2006 | STOC | On basing one-way functions on NP-hardness. | Adi Akavia, Oded Goldreich, Shafi Goldwasser, Dana Moshkovitz |
| 2005 | FOCS | On the Impossibility of Obfuscation with Auxiliary Input. | Shafi Goldwasser, Yael Tauman Kalai |
| 2005 | TCC | Proof of Plaintext Knowledge for the Ajtai-Dwork Cryptosystem. | Shafi Goldwasser, Dmitriy Kharchenko |
| 2004 | TCC | Transformation of Digital Signature Schemes into Designated Confirmer Signature Schemes. | Shafi Goldwasser, Erez Waisbard |
| 2003 | FOCS | Proving Hard-Core Predicates Using List Decoding. | Adi Akavia, Shafi Goldwasser, Shmuel Safra |
| 2003 | FOCS | On the Implementation of Huge Random Objects. | Oded Goldreich, Shafi Goldwasser, Asaf Nussboim |
| 2003 | FOCS | On the (In)security of the Fiat-Shamir Paradigm. | Shafi Goldwasser, Yael Tauman Kalai |
| 2001 | EuroCrypt | Identification Protocols Secure against Reset Attacks. | Mihir Bellare, Marc Fischlin, Shafi Goldwasser, Silvio Micali |
| 2001 | FOCS | Resettably-Sound Zero-Knowledge and its Applications. | Boaz Barak, Oded Goldreich, Shafi Goldwasser, Yehuda Lindell |
| 2000 | STOC | Resettable zero-knowledge (extended abstract). | Ran Canetti, Oded Goldreich, Shafi Goldwasser, Silvio Micali |
| 1999 | EuroCrypt | An Efficient | Ran Canetti, Shafi Goldwasser |
| 1998 | FOCS | Testing Monotonicity. | Oded Goldreich, Shafi Goldwasser, Eric P. Lehman, Dana Ron |
| 1998 | STOC | On the Limits of Non-Approximability of Lattice Problems. | Oded Goldreich, Shafi Goldwasser |
| 1997 | CCS | Verifiable Partial Key Escrow. | Mihir Bellare, Shafi Goldwasser |
| 1997 | CRYPTO | "Pseudo-Random" Number Generation Within Cryptographic Algorithms: The DDS Case. | Mihir Bellare, Shafi Goldwasser, Daniele Micciancio |
| 1997 | CRYPTO | Eliminating Decryption Errors in the Ajtai-Dwork Cryptosystem. | Oded Goldreich, Shafi Goldwasser, Shai Halevi |
| 1997 | CRYPTO | Public-Key Cryptosystems from Lattice Reduction Problems. | Oded Goldreich, Shafi Goldwasser, Shai Halevi |
| 1997 | FOCS | New Directions in Cryptography: Twenty Some Years Later. | Shafi Goldwasser |
| 1997 | PODC | Multi-Party Computations: Past and Present. | Shafi Goldwasser |
| 1996 | FOCS | Property Testing and Its Connection to Learning and Approximation. | Oded Goldreich, Shafi Goldwasser, Dana Ron |
| 1995 | GI | Probabilistically Checkable Proofs and Applications. | Shafi Goldwasser |
| 1995 | STOC | Incremental cryptography and application to virus protection. | Mihir Bellare, Oded Goldreich, Shafi Goldwasser |
| 1994 | CRYPTO | Incremental Cryptography: The Case of Hashing and Signing. | Mihir Bellare, Oded Goldreich, Shafi Goldwasser |
| 1994 | STOC | Efficient probabilistic checkable proofs and applications to approximation. | Mihir Bellare, Shafi Goldwasser, Carsten Lund, Alexander Russell |
| 1993 | STOC | Efficient probabilistically checkable proofs and applications to approximations. | Mihir Bellare, Shafi Goldwasser, Carsten Lund, Alexander Russell |
| 1992 | CRYPTO | Invariant Signatures and Non-Interactive Zero-Knowledge Proofs are Equivalent (Extended Abstract). | Shafi Goldwasser, Rafail Ostrovsky |
| 1991 | FOCS | Languages that Are Easier than their Proofs | Richard Beigel, Mihir Bellare, Joan Feigenbaum, Shafi Goldwasser |
| 1991 | FOCS | Approximating Clique is Almost NP-Complete (Preliminary Version) | Uriel Feige, Shafi Goldwasser, Lszl Lovsz, Shmuel Safra, Mario Szegedy |
| 1991 | FOCS | Fault-tolerant Computation in the Full Information Model (Extended Abstract) | Oded Goldreich, Shafi Goldwasser, Nathan Linial |
| 1990 | CRYPTO | Fair Computation of General Functions in Presence of Immoral Majority. | Shafi Goldwasser, Leonid A. Levin |
| 1990 | FOCS | Randomness in Interactive Proofs | Mihir Bellare, Oded Goldreich, Shafi Goldwasser |
| 1989 | CRYPTO | Multiparty Computation with Faulty Majority. | Donald Beaver, Shafi Goldwasser |
| 1989 | CRYPTO | On the Structure of Secret Key Exchange Protocols. | Mihir Bellare, Lenore Cowen, Shafi Goldwasser |
| 1989 | CRYPTO | New Paradigms for Digital Signatures and Message Authentication Based on Non-Interative Zero Knowledge Proofs. | Mihir Bellare, Shafi Goldwasser |
| 1989 | CRYPTO | Efficient Identification Schemes Using Two Prover Interactive Proofs. | Michael Ben-Or, Shafi Goldwasser, Joe Kilian, Avi Wigderson |
| 1989 | FOCS | Multiparty Computation with Faulty Majority (Extended Announcement) | Donald Beaver, Shafi Goldwasser |
| 1988 | CRYPTO | Everything Provable is Provable in Zero-Knowledge. | Michael Ben-Or, Oded Goldreich, Shafi Goldwasser, Johan Hstad, Joe Kilian, Silvio Micali, Phillip Rogaway |
| 1988 | STOC | Multi-Prover Interactive Proofs: How to Remove Intractability Assumptions | Michael Ben-Or, Shafi Goldwasser, Joe Kilian, Avi Wigderson |
| 1988 | STOC | Completeness Theorems for Non-Cryptographic Fault-Tolerant Distributed Computation (Extended Abstract) | Michael Ben-Or, Shafi Goldwasser, Avi Wigderson |
| 1986 | FOCS | On the Power of Interaction | William Aiello, Shafi Goldwasser, Johan Hstad |
| 1986 | STOC | Almost All Primes Can Be Quickly Certified | Shafi Goldwasser, Joe Kilian |
| 1986 | STOC | Private Coins versus Public Coins in Interactive Proof Systems | Shafi Goldwasser, Michael Sipser |
| 1985 | CRYPTO | The Bit Security of Modular Squaring Given Partial Factorization of the Modulos. | Benny Chor, Oded Goldreich, Shafi Goldwasser |
| 1985 | FOCS | Verifiable Secret Sharing and Achieving Simultaneity in the Presence of Faults (Extended Abstract) | Benny Chor, Shafi Goldwasser, Silvio Micali, Baruch Awerbuch |
| 1985 | STOC | The Knowledge Complexity of Interactive Proof-Systems (Extended Abstract) | Shafi Goldwasser, Silvio Micali, Charles Rackoff |
| 1984 | CRYPTO | An Efficient Probabilistic Public-Key Encryption Scheme Which Hides All Partial Information. | Manuel Blum, Shafi Goldwasser |
| 1984 | CRYPTO | On the Cryptographic Applications of Random Functions. | Oded Goldreich, Shafi Goldwasser, Silvio Micali |
| 1984 | CRYPTO | A "Paradoxical'"Solution to the Signature Problem (Abstract). | Shafi Goldwasser, Silvio Micali, Ronald L. Rivest |
| 1984 | FOCS | How to Construct Random Functions (Extended Abstract) | Oded Goldreich, Shafi Goldwasser, Silvio Micali |
| 1984 | FOCS | A "Paradoxical" Solution to the Signature Problem (Extended Abstract) | Shafi Goldwasser, Silvio Micali, Ronald L. Rivest |
| 1983 | STOC | Strong Signature Schemes | Shafi Goldwasser, Silvio Micali, Andrew Chi-Chih Yao |
| 1982 | CRYPTO | On Signatures and Authentication. | Shafi Goldwasser, Silvio Micali, Andrew Chi-Chih Yao |
| 1982 | FOCS | Why and How to Establish a Private Code on a Public Network (Extended Abstract) | Shafi Goldwasser, Silvio Micali, Po Tong |
| 1982 | STOC | Probabilistic Encryption and How to Play Mental Poker Keeping Secret All Partial Information | Shafi Goldwasser, Silvio Micali |