Shafi Goldwasser

251 papers A* 79A 17B 10Misc 2Journal 113Unranked 21
YearRankTypeTitle / Venue / Authors
2026 J jnl
Investigating the Development of Task-Oriented Communication in Vision-Language Models.
CoRR
Boaz Carmeli, Orr Paradise, Shafi Goldwasser, Yonatan Belinkov, Ron Meir
2026 J jnl
Private Proofs of When and Where.
IACR Cryptol. ePrint Arch.
Uma Girish, Grzegorz Gluch, Shafi Goldwasser, Tal Malkin, Leo Orshansky, Henry Yuen
2025 J jnl
A Cryptographic Perspective on Mitigation vs. Detection in Machine Learning.
CoRR
Greg Gluch, Shafi Goldwasser
2025 J jnl
Efficient Public Verification of Private ML via Regularization.
CoRR
Zoë Ruha Bell, Anvith Thudi, Olive Franzese-McLaughlin, Nicolas Papernot, Shafi Goldwasser
2025 A* conf
Oblivious Defense in ML Models: Backdoor Removal without Detection.
STOC
Shafi Goldwasser, Jonathan Shafer, Neekon Vafa, Vinod Vaikuntanathan
2025 J jnl
On the Impossibility of Separating Intelligence from Judgment: The Computational Intractability of Filtering for AI Alignment.
CoRR
Sarah Ball, Greg Gluch, Shafi Goldwasser, Frauke Kreuter, Omer Reingold, Guy N. Rothblum
2025 J jnl
Sum-check protocol for approximate computations.
IACR Cryptol. ePrint Arch.
Dor Bitan, Zachary DeStefano, Shafi Goldwasser, Yuval Ishai, Yael Tauman Kalai, Justin Thaler
2025 A* conf
Unsupervised Translation of Emergent Communication.
AAAI
Ido Levy, Orr Paradise, Boaz Carmeli, Ron Meir, Shafi Goldwasser, Yonatan Belinkov
2025 J jnl
Unsupervised Translation of Emergent Communication.
CoRR
Ido Levy, Orr Paradise, Boaz Carmeli, Ron Meir, Shafi Goldwasser, Yonatan Belinkov
2025 J jnl
WhAM: Towards A Translative Model of Sperm Whale Vocalization.
CoRR
Orr Paradise, Pranav Muralikrishnan, Liangyuan Chen, Hugo Flores García, Bryan Pardo, Roee Diamant, David F. Gruber, Shane Gero, Shafi Goldwasser
2024 — conf
Certifying Private Probabilistic Mechanisms.
CRYPTO (6)
Zoë Ruha Bell, Shafi Goldwasser, Michael P. Kim, Jean-Luc Watson
2024 J jnl
Certifying Private Probabilistic Mechanisms.
IACR Cryptol. ePrint Arch.
Zoë Ruha Bell, Shafi Goldwasser, Michael P. Kim, Jean-Luc Watson
2024 J jnl
Learning Randomized Reductions and Program Properties.
CoRR
Ferhat Erata, Orr Paradise, Timos Antonopoulos, ThanhVu Nguyen, Shafi Goldwasser, Ruzica Piskac
2024 J jnl
Models That Prove Their Own Correctness.
CoRR
Noga Amit, Shafi Goldwasser, Orr Paradise, Guy N. Rothblum
2024 J jnl
Models That Prove Their Own Correctness.
Electron. Colloquium Comput. Complex.
Noga Amit, Orr Paradise, Guy N. Rothblum, Shafi Goldwasser
2024 J jnl
Oblivious Defense in ML Models: Backdoor Removal without Detection.
CoRR
Shafi Goldwasser, Jonathan Shafer, Neekon Vafa, Vinod Vaikuntanathan
2023 A* conf
A Theory of Unsupervised Translation Motivated by Understanding Animal Communication.
NeurIPS
Shafi Goldwasser, David F. Gruber, Adam Tauman Kalai, Orr Paradise
2023 J jnl
Collaborative Privacy-Preserving Analysis of Oncological Data using Multiparty Homomorphic Encryption.
IACR Cryptol. ePrint Arch.
Ravit Geva, Alexander Gusev, Yuriy Polyakov, Lior Liram, Oded Rosolio, Andreea Alexandru, Nicholas Genise, Marcelo Blatt, Zohar Duchin, Barliz Waissengrin, Dan Mirelman, Felix Bukstein, Deborah T. Blumenthal, Ido Wolf, Sharon Pelles-Avraham, Tali Schaffer, Lee A. Lavi, Daniele Micciancio, Vinod Vaikuntanathan, Ahmad Al Badawi, Shafi Goldwasser
2022 J jnl
A Theory of Unsupervised Translation Motivated by Understanding Animal Communication.
CoRR
Shafi Goldwasser, David F. Gruber, Adam Tauman Kalai, Orr Paradise
2022 A* conf
Deniable encryption in a Quantum world.
STOC
Andrea Coladangelo, Shafi Goldwasser, Umesh V. Vazirani
2022 A* conf
Planting Undetectable Backdoors in Machine Learning Models : [Extended Abstract].
FOCS
Shafi Goldwasser, Michael P. Kim, Vinod Vaikuntanathan, Or Zamir
2022 J jnl
Planting Undetectable Backdoors in Machine Learning Models.
CoRR
Shafi Goldwasser, Michael P. Kim, Vinod Vaikuntanathan, Or Zamir
2022 — conf
Using Zero-Knowledge to Reconcile Law Enforcement Secrecy and Fair Trial Rights in Criminal Cases.
CSLAW
Dor Bitan, Ran Canetti, Shafi Goldwasser, Rebecca Wexler
2021 J jnl
Cetacean Translation Initiative: a roadmap to deciphering the communication of sperm whales.
CoRR
Jacob Andreas, Gasper Begus, Michael M. Bronstein, Roee Diamant, Denley Delaney, Shane Gero, Shafi Goldwasser, David F. Gruber, Sarah de Haas, Peter Malkin, Roger Payne, Giovanni Petri, Daniela Rus, Pratyusha Sharma, Dan Tchernov, Pernille Tønnesen, Antonio Torralba, Daniel M. Vogt, Robert J. Wood
2021 J jnl
Deniable Encryption in a Quantum World.
CoRR
Andrea Coladangelo, Shafi Goldwasser, Umesh V. Vazirani
2021 — conf
Deniable Fully Homomorphic Encryption from Learning with Errors.
CRYPTO (2)
Shweta Agrawal, Shafi Goldwasser, Saleet Mossel
2021 A conf
Interactive Proofs for Verifying Machine Learning.
ITCS
Shafi Goldwasser, Guy N. Rothblum, Jonathan Shafer, Amir Yehudayoff
2021 A conf
On the Pseudo-Deterministic Query Complexity of NP Search Problems.
CCC
Shafi Goldwasser, Russell Impagliazzo, Toniann Pitassi, Rahul Santhanam
2020 A* conf
Beyond Perturbations: Learning Guarantees with Arbitrary Adversarial Test Examples.
NeurIPS
Shafi Goldwasser, Adam Tauman Kalai, Yael Kalai, Omar Montasser
2020 J jnl
Beyond Perturbations: Learning Guarantees with Arbitrary Adversarial Test Examples.
CoRR
Shafi Goldwasser, Adam Tauman Kalai, Yael Tauman Kalai, Omar Montasser
2020 J jnl
Deniable Fully Homomorphic Encryption.
IACR Cryptol. ePrint Arch.
Shweta Agrawal, Shafi Goldwasser, Saleet Mossel
2020 — conf
Formalizing Data Deletion in the Context of the Right to Be Forgotten.
EUROCRYPT (2)
Sanjam Garg, Shafi Goldwasser, Prashant Nalini Vasudevan
2020 J jnl
Formalizing Data Deletion in the Context of the Right to be Forgotten.
CoRR
Sanjam Garg, Shafi Goldwasser, Prashant Nalini Vasudevan
2020 J jnl
Formalizing Data Deletion in the Context of the Right to be Forgotten.
IACR Cryptol. ePrint Arch.
Sanjam Garg, Shafi Goldwasser, Prashant Nalini Vasudevan
2020 Misc conf
Identifying unpredictable test examples with worst-case guarantees.
ITA
Shafi Goldwasser, Adam Tauman Kalai, Yael Tauman Kalai, Omar Montasser
2020 J jnl
Interactive Proofs for Verifying Machine Learning.
Electron. Colloquium Comput. Complex.
Shafi Goldwasser, Guy N. Rothblum, Jonathan Shafer, Amir Yehudayoff
2020 A conf
Pseudo-Deterministic Streaming.
ITCS
Shafi Goldwasser, Ofer Grossman, Sidhanth Mohanty, David P. Woodruff
2020 J jnl
Secure large-scale genome-wide association studies using homomorphic encryption.
IACR Cryptol. ePrint Arch.
Marcelo Blatt, Alexander Gusev, Yuriy Polyakov, Shafi Goldwasser
2019 — ch.
A "paradoxical" solution to the signature problem.
Providing Sound Foundations for Cryptography
Shafi Goldwasser, Silvio Micali, Ronald L. Rivest
2019 — ch.
Completeness theorems for non-cryptographic fault-tolerant distributed computation.
Providing Sound Foundations for Cryptography
Michael Ben-Or, Shafi Goldwasser, Avi Wigderson
2019 J jnl
Doubly-Efficient Pseudo-Deterministic Proofs.
CoRR
Michel X. Goemans, Shafi Goldwasser, Dhiraj Holden
2019 J jnl
Doubly-Efficient Pseudo-Deterministic Proofs.
Electron. Colloquium Comput. Complex.
Michel X. Goemans, Shafi Goldwasser, Dhiraj Holden
2019 A* conf
Fine-grained Complexity Meets IP = PSPACE.
SODA
Lijie Chen, Shafi Goldwasser, Kaifeng Lyu, Guy N. Rothblum, Aviad Rubinstein
2019 J jnl
Homomorphic Encryption Standard.
IACR Cryptol. ePrint Arch.
Martin R. Albrecht, Melissa Chase, Hao Chen, Jintai Ding, Shafi Goldwasser, Sergey Gorbunov, Shai Halevi, Jeffrey Hoffstein, Kim Laine, Kristin E. Lauter, Satya Lokam, Daniele Micciancio, Dustin Moody, Travis Morrison, Amit Sahai, Vinod Vaikuntanathan
2019 — ch.
How to construct random functions.
Providing Sound Foundations for Cryptography
Oded Goldreich, Shafi Goldwasser, Silvio Micali
2019 — ch.
Multi-prover interactive proofs: how to remove intractability assumptions.
Providing Sound Foundations for Cryptography
Michael Ben-Or, Shafi Goldwasser, Joe Kilian, Avi Wigderson
2019 — ch.
Probabilistic encryption & how to play mental poker keeping secret all partial information.
Providing Sound Foundations for Cryptography
Shafi Goldwasser, Silvio Micali
2019 J jnl
Pseudo-deterministic Streaming.
CoRR
Shafi Goldwasser, Ofer Grossman, Sidhanth Mohanty, David P. Woodruff
2019 J jnl
Pseudo-deterministic Streaming.
Electron. Colloquium Comput. Complex.
Shafi Goldwasser, Ofer Grossman, Sidhanth Mohanty, David P. Woodruff
2019 — ch.
The knowledge complexity of interactive proof-systems.
Providing Sound Foundations for Cryptography
Shafi Goldwasser, Silvio Micali, Charles Rackoff
2019 — conf
What cryptography can bring to law: keynote presentation.
CSLAW
Shafi Goldwasser
2018 J jnl
Fine-grained Complexity Meets IP = PSPACE.
CoRR
Lijie Chen, Shafi Goldwasser, Kaifeng Lyu, Guy N. Rothblum, Aviad Rubinstein
2018 A* conf
Population Stability: Regulating Size in the Presence of an Adversary.
PODC
Shafi Goldwasser, Rafail Ostrovsky, Alessandra Scafuro, Adam Sealfon
2018 J jnl
Population stability: regulating size in the presence of an adversary.
CoRR
Shafi Goldwasser, Rafail Ostrovsky, Alessandra Scafuro, Adam Sealfon
2018 A* conf
Practical Accountability of Secret Processes.
USENIX Security Symposium
Jonathan Frankle, Sunoo Park, Daniel Shaar, Shafi Goldwasser, Daniel J. Weitzner
2018 J jnl
Practical Accountability of Secret Processes.
IACR Cryptol. ePrint Arch.
Jonathan Frankle, Sunoo Park, Daniel Shaar, Shafi Goldwasser, Daniel J. Weitzner
2018 A conf
Pseudo-Deterministic Proofs.
ITCS
Shafi Goldwasser, Ofer Grossman, Dhiraj Holden
2018 J jnl
Public Accountability vs. Secret Laws: Can They Coexist?
IACR Cryptol. ePrint Arch.
Shafi Goldwasser, Sunoo Park
2017 A* conf
Bipartite Perfect Matching in Pseudo-Deterministic NC.
ICALP
Shafi Goldwasser, Ofer Grossman
2017 J jnl
Delegating Computation: Interactive Proofs for Muggles.
Electron. Colloquium Comput. Complex.
Shafi Goldwasser, Guy N. Rothblum, Yael Tauman Kalai
2017 J jnl
Pseudo-Deterministic Proofs.
Electron. Colloquium Comput. Complex.
Shafi Goldwasser, Ofer Grossman, Dhiraj Holden
2017 J jnl
Pseudo-deterministic Proofs.
CoRR
Shafi Goldwasser, Ofer Grossman, Dhiraj Holden
2017 — conf
Public Accountability vs. Secret Laws: Can They Coexist?: A Cryptographic Proposal.
WPES@CCS
Shafi Goldwasser, Sunoo Park
2017 Misc conf
Splinter: Practical Private Queries on Public Data.
NSDI
Frank Wang, Catherine Yun, Shafi Goldwasser, Vinod Vaikuntanathan, Matei Zaharia
2017 A conf
The Complexity of Problems in P Given Correlated Instances.
ITCS
Shafi Goldwasser, Dhiraj Holden
2017 — conf
The Edited Truth.
TCC (1)
Shafi Goldwasser, Saleet Klein, Daniel Wichs
2017 J jnl
The Edited Truth.
IACR Cryptol. ePrint Arch.
Shafi Goldwasser, Saleet Klein, Daniel Wichs
2017 J jnl
The Hunting of the SNARK.
J. Cryptol.
Nir Bitansky, Ran Canetti, Alessandro Chiesa, Shafi Goldwasser, Huijia Lin, Aviad Rubinstein, Eran Tromer
2016 — conf
Cryptographic Assumptions: A Position Paper.
TCC (A1)
Shafi Goldwasser, Yael Tauman Kalai
2016 A conf
How to Incentivize Data-Driven Collaboration Among Competing Parties.
ITCS
Pablo Daniel Azar, Shafi Goldwasser, Sunoo Park
2016 J jnl
How to Incentivize Data-Driven Collaboration Among Competing Parties.
CoRR
Pablo Azar, Shafi Goldwasser, Sunoo Park
2016 J jnl
On the Fine Grained Complexity of Polynomial Time Problems Given Correlated Instances.
Electron. Colloquium Comput. Complex.
Shafi Goldwasser, Dhiraj Holden
2016 J jnl
Splinter: Practical Private Queries on Public Data.
IACR Cryptol. ePrint Arch.
Frank Wang, Catherine Yun, Shafi Goldwasser, Vinod Vaikuntanathan, Matei Zaharia
2016 A conf
Time-Lock Puzzles from Randomized Encodings.
ITCS
Nir Bitansky, Shafi Goldwasser, Abhishek Jain, Omer Paneth, Vinod Vaikuntanathan, Brent Waters
2015 — conf
Adaptively Secure Coin-Flipping, Revisited.
ICALP (2)
Shafi Goldwasser, Yael Tauman Kalai, Sunoo Park
2015 J jnl
Adaptively Secure Coin-Flipping, Revisited.
CoRR
Shafi Goldwasser, Yael Tauman Kalai, Sunoo Park
2015 J jnl
Adaptively Secure Coin-Flipping, Revisited.
IACR Cryptol. ePrint Arch.
Shafi Goldwasser, Yael Tauman Kalai, Sunoo Park
2015 — conf
Adaptively Secure Two-Party Computation from Indistinguishability Obfuscation.
TCC (2)
Ran Canetti, Shafi Goldwasser, Oxana Poburinnaya
2015 J jnl
Aggregatable Pseudorandom Functions and Connections to Learning.
IACR Cryptol. ePrint Arch.
Aloni Cohen, Shafi Goldwasser, Vinod Vaikuntanathan
2015 — conf
Aggregate Pseudorandom Functions and Connections to Learning.
TCC (2)
Aloni Cohen, Shafi Goldwasser, Vinod Vaikuntanathan
2015 J jnl
Aggregate Pseudorandom Functions and Connections to Learning.
Electron. Colloquium Comput. Complex.
Aloni Cohen, Shafi Goldwasser, Vinod Vaikuntanathan
2015 J jnl
Cryptographic Assumptions: A Position Paper.
IACR Cryptol. ePrint Arch.
Shafi Goldwasser, Yael Tauman Kalai
2015 J jnl
Delegating Computation: Interactive Proofs for Muggles.
J. ACM
Shafi Goldwasser, Yael Tauman Kalai, Guy N. Rothblum
2015 J jnl
How to Compute in the Presence of Leakage.
SIAM J. Comput.
Shafi Goldwasser, Guy N. Rothblum
2015 J jnl
How to Incentivize Data-Driven Collaboration Among Competing Parties.
IACR Cryptol. ePrint Arch.
Pablo Azar, Shafi Goldwasser, Sunoo Park
2015 A* conf
Machine Learning Classification over Encrypted Data.
NDSS
Raphael Bost, Raluca Ada Popa, Stephen Tu, Shafi Goldwasser
2015 J jnl
Perfect Bipartite Matching in Pseudo-Deterministic RNC.
Electron. Colloquium Comput. Complex.
Shafi Goldwasser, Ofer Grossman
2015 A conf
The Computational Benefit of Correlated Instances.
ITCS
Irit Dinur, Shafi Goldwasser, Huijia Lin
2015 A conf
The Hidden Graph Model: Communication Locality and Optimal Resiliency with Adaptive Faults.
ITCS
Nishanth Chandran, Wutichai Chongchitmate, Juan A. Garay, Shafi Goldwasser, Rafail Ostrovsky, Vassilis Zikas
2015 J jnl
Time-Lock Puzzles from Randomized Encodings.
IACR Cryptol. ePrint Arch.
Nir Bitansky, Shafi Goldwasser, Abhishek Jain, Omer Paneth, Vinod Vaikuntanathan, Brent Waters
2014 J jnl
Adaptively Secure Two-party Computation From Indistinguishability Obfuscation.
IACR Cryptol. ePrint Arch.
Ran Canetti, Shafi Goldwasser, Oxana Poburinnaya
2014 — conf
Functional Signatures and Pseudorandom Functions.
Public Key Cryptography
Elette Boyle, Shafi Goldwasser, Ioana Ivan
2014 J jnl
Introduction to the Special Issue on Innovations in Theoretical Computer Science 2012 - Part II.
ACM Trans. Comput. Theory
Eric Allender, Shafi Goldwasser
2014 J jnl
Leakage-resilient coin tossing.
Distributed Comput.
Elette Boyle, Shafi Goldwasser, Yael Tauman Kalai
2014 J jnl
Machine Learning Classification over Encrypted Data.
IACR Cryptol. ePrint Arch.
Raphael Bost, Raluca Ada Popa, Stephen Tu, Shafi Goldwasser
2014 A* conf
Multi-input Functional Encryption.
EUROCRYPT
Shafi Goldwasser, S. Dov Gordon, Vipul Goyal, Abhishek Jain, Jonathan Katz, Feng-Hao Liu, Amit Sahai, Elaine Shi, Hong-Sheng Zhou
2014 J jnl
On Best-Possible Obfuscation.
J. Cryptol.
Shafi Goldwasser, Guy N. Rothblum
2014 J jnl
Optimally Resilient and Adaptively Secure Multi-Party Computation with Low Communication Locality.
IACR Cryptol. ePrint Arch.
Nishanth Chandran, Wutichai Chongchitmate, Juan A. Garay, Shafi Goldwasser, Rafail Ostrovsky, Vassilis Zikas
2014 J jnl
The Computational Benefit of Correlated Instances.
Electron. Colloquium Comput. Complex.
Irit Dinur, Shafi Goldwasser, Huijia Lin
2014 J jnl
The Hunting of the SNARK.
IACR Cryptol. ePrint Arch.
Nir Bitansky, Ran Canetti, Alessandro Chiesa, Shafi Goldwasser, Huijia Lin, Aviad Rubinstein, Eran Tromer
2014 — conf
The Impossibility of Obfuscation with Auxiliary Input or a Universal Simulator.
CRYPTO (2)
Nir Bitansky, Ran Canetti, Henry Cohn, Shafi Goldwasser, Yael Tauman Kalai, Omer Paneth, Alon Rosen
2014 J jnl
The impossibility of obfuscation with a universal simulator.
CoRR
Henry Cohn, Shafi Goldwasser, Yael Tauman Kalai
2013 J jnl
A Note on the Impossibility of Obfuscation with Auxiliary Input.
IACR Cryptol. ePrint Arch.
Shafi Goldwasser, Yael Tauman Kalai
2013 B conf
Communication Locality in Secure Multi-party Computation - How to Run Sublinear Algorithms in a Distributed Setting.
TCC
Elette Boyle, Shafi Goldwasser, Stefano Tessaro
2013 J jnl
Functional Signatures and Pseudorandom Functions.
IACR Cryptol. ePrint Arch.
Elette Boyle, Shafi Goldwasser, Ioana Ivan
2013 — conf
How to Run Turing Machines on Encrypted Data.
CRYPTO (2)
Shafi Goldwasser, Yael Tauman Kalai, Raluca A. Popa, Vinod Vaikuntanathan, Nickolai Zeldovich
2013 J jnl
Introduction to the special issue on innovations in theoretical computer science 2012.
ACM Trans. Comput. Theory
Eric Allender, Shafi Goldwasser
2013 J jnl
Multi-Input Functional Encryption.
IACR Cryptol. ePrint Arch.
Shafi Goldwasser, Vipul Goyal, Abhishek Jain, Amit Sahai
2013 A conf
On the possibilities and limitations of pseudodeterministic algorithms.
ITCS
Oded Goldreich, Shafi Goldwasser, Dana Ron
2013 J jnl
Overcoming the Worst-Case Curse for Cryptographic Constructions.
IACR Cryptol. ePrint Arch.
Shafi Goldwasser, Yael Tauman Kalai, Raluca A. Popa, Vinod Vaikuntanathan, Nickolai Zeldovich
2013 A* conf
Reusable garbled circuits and succinct functional encryption.
STOC
Shafi Goldwasser, Yael Tauman Kalai, Raluca A. Popa, Vinod Vaikuntanathan, Nickolai Zeldovich
2012 B conf
Bounded-Collusion IBE from Key Homomorphism.
TCC
Shafi Goldwasser, Allison B. Lewko, David A. Wilson
2012 A* conf
Distributed public key schemes secure against continual leakage.
PODC
Adi Akavia, Shafi Goldwasser, Carmit Hazay
2012 A* conf
How to Compute in the Presence of Leakage.
FOCS
Shafi Goldwasser, Guy N. Rothblum
2012 J jnl
How to Compute in the Presence of Leakage.
Electron. Colloquium Comput. Complex.
Shafi Goldwasser, Guy N. Rothblum
2012 A ed.
Innovations in Theoretical Computer Science 2012, Cambridge, MA, USA, January 8-10, 2012
ITCS
Shafi Goldwasser
2012 A* conf
Multiparty computation secure against continual memory leakage.
STOC
Elette Boyle, Shafi Goldwasser, Abhishek Jain, Yael Tauman Kalai
2012 J jnl
On the possibilities and limitations of pseudodeterministic algorithms.
Electron. Colloquium Comput. Complex.
Oded Goldreich, Shafi Goldwasser, Dana Ron
2012 A conf
Pseudo-deterministic Algorithms (Invited Talk).
STACS
Shafi Goldwasser
2012 J jnl
Succinct Functional Encryption and Applications: Reusable Garbled Circuits and Beyond.
IACR Cryptol. ePrint Arch.
Shafi Goldwasser, Yael Tauman Kalai, Raluca A. Popa, Vinod Vaikuntanathan, Nickolai Zeldovich
2011 B conf
Black-Box Circular-Secure Encryption beyond Affine Functions.
TCC
Zvika Brakerski, Shafi Goldwasser, Yael Tauman Kalai
2011 — ch.
Collision-Free Hashing from Lattice Problems.
Studies in Complexity and Cryptography
Oded Goldreich, Shafi Goldwasser, Shai Halevi
2011 J jnl
Delegation of Computation without Rejection Problem from Designated Verifier CS-Proofs.
IACR Cryptol. ePrint Arch.
Shafi Goldwasser, Huijia Lin, Aviad Rubinstein
2011 A conf
Leakage-Resilient Coin Tossing.
DISC
Elette Boyle, Shafi Goldwasser, Yael Tauman Kalai
2011 J jnl
Leakage-Resilient Coin Tossing.
IACR Cryptol. ePrint Arch.
Elette Boyle, Shafi Goldwasser, Yael Tauman Kalai
2011 J jnl
Probabilistic Search Algorithms with Unique Answers and Their Cryptographic Applications.
Electron. Colloquium Comput. Complex.
Eran Gat, Shafi Goldwasser
2011 A conf
Program Obfuscation with Leaky Hardware.
ASIACRYPT
Nir Bitansky, Ran Canetti, Shafi Goldwasser, Shai Halevi, Yael Tauman Kalai, Guy N. Rothblum
2011 J jnl
Program Obfuscation with Leaky Hardware.
IACR Cryptol. ePrint Arch.
Nir Bitansky, Ran Canetti, Shafi Goldwasser, Shai Halevi, Yael Tauman Kalai, Guy N. Rothblum
2010 J jnl
Circular and Leakage Resilient Public-Key Encryption Under Subgroup Indistinguishability (or: Quadratic Residuosity Strikes Back).
IACR Cryptol. ePrint Arch.
Zvika Brakerski, Shafi Goldwasser
2010 A* conf
Circular and Leakage Resilient Public-Key Encryption under Subgroup Indistinguishability - (or: Quadratic Residuosity Strikes Back).
CRYPTO
Zvika Brakerski, Shafi Goldwasser
2010 A* conf
Erratum for: on basing one-way functions on NP-hardness.
STOC
Adi Akavia, Oded Goldreich, Shafi Goldwasser, Dana Moshkovitz
2010 J jnl
On the Implementation of Huge Random Objects.
SIAM J. Comput.
Oded Goldreich, Shafi Goldwasser, Asaf Nussboim
2010 B conf
Public-Key Encryption Schemes with Auxiliary Inputs.
TCC
Yevgeniy Dodis, Shafi Goldwasser, Yael Tauman Kalai, Chris Peikert, Vinod Vaikuntanathan
2010 A conf
Robustness of the Learning with Errors Assumption.
ICS
Shafi Goldwasser, Yael Tauman Kalai, Chris Peikert, Vinod Vaikuntanathan
2010 A* conf
Securing Computation against Continuous Leakage.
CRYPTO
Shafi Goldwasser, Guy N. Rothblum
2009 A* conf
Athena lecture: Controlling Access to Programs?
STOC
Shafi Goldwasser
2009 J jnl
Black-Box Circular-Secure Encryption Beyond Affine Functions.
IACR Cryptol. ePrint Arch.
Zvika Brakerski, Shafi Goldwasser, Yael Tauman Kalai
2009 A* conf
Cryptography without (Hardly Any) Secrets ?
EUROCRYPT
Shafi Goldwasser
2009 B conf
Simultaneous Hardcore Bits and Cryptography against Memory Attacks.
TCC
Adi Akavia, Shafi Goldwasser, Vinod Vaikuntanathan
2009 B conf
Weak Verifiable Random Functions.
TCC
Zvika Brakerski, Shafi Goldwasser, Guy N. Rothblum, Vinod Vaikuntanathan
2008 — conf
08491 Abstracts Collection - Theoretical Foundations of Practical Information Security.
Theoretical Foundations of Practical Information Security
Ran Canetti, Shafi Goldwasser, Günter Müller, Rainer Steinwandt
2008 — conf
08491 Executive Summary - Theoretical Foundations of Practical Information Security.
Theoretical Foundations of Practical Information Security
Ran Canetti, Shafi Goldwasser, Günter Müller, Rainer Steinwandt
2008 A* conf
A (de)constructive approach to program checking.
STOC
Shafi Goldwasser, Dan Gutfreund, Alexander Healy, Tali Kaufman, Guy N. Rothblum
2008 A* conf
Delegating computation: interactive proofs for muggles.
STOC
Shafi Goldwasser, Yael Tauman Kalai, Guy N. Rothblum
2008 — conf
How to Protect Yourself without Perfect Shredding.
ICALP (2)
Ran Canetti, Dror Eiger, Shafi Goldwasser, Dah-Yoh Lim
2008 J jnl
How to Protect Yourself without Perfect Shredding.
IACR Cryptol. ePrint Arch.
Ran Canetti, Dror Eiger, Shafi Goldwasser, Dah-Yoh Lim
2008 A* conf
One-Time Programs.
CRYPTO
Shafi Goldwasser, Yael Tauman Kalai, Guy N. Rothblum
2008 B conf
Program Obfuscation and One-Time Programs.
CT-RSA
Shafi Goldwasser
2008 — ed.
Theoretical Foundations of Practical Information Security, 30.11. - 05.12.2008
Theoretical Foundations of Practical Information Security
Ran Canetti, Shafi Goldwasser, Günter Müller, Rainer Steinwandt
2007 J jnl
A (De)constructive Approach to Program Checking.
Electron. Colloquium Comput. Complex.
Shafi Goldwasser, Dan Gutfreund, Alexander Healy, Tali Kaufman, Guy N. Rothblum
2007 B conf
On Best-Possible Obfuscation.
TCC
Shafi Goldwasser, Guy N. Rothblum
2007 A* conf
Secure Computation from Random Error Correcting Codes.
EUROCRYPT
Hao Chen, Ronald Cramer, Shafi Goldwasser, Robbert de Haan, Vinod Vaikuntanathan
2007 A* conf
Verifying and decoding in constant depth.
STOC
Shafi Goldwasser, Dan Gutfreund, Alexander Healy, Tali Kaufman, Guy N. Rothblum
2006 A* conf
Fault-Tolerant Distributed Computing in Full-Information Networks.
FOCS
Shafi Goldwasser, Elan Pavlov, Vinod Vaikuntanathan
2006 A* conf
On basing one-way functions on NP-hardness.
STOC
Adi Akavia, Oded Goldreich, Shafi Goldwasser, Dana Moshkovitz
2005 A conf
Distributed Computing with Imperfect Randomness.
DISC
Shafi Goldwasser, Madhu Sudan, Vinod Vaikuntanathan
2005 A* conf
On the Impossibility of Obfuscation with Auxiliary Input.
FOCS
Shafi Goldwasser, Yael Tauman Kalai
2005 B conf
Proof of Plaintext Knowledge for the Ajtai-Dwork Cryptosystem.
TCC
Shafi Goldwasser, Dmitriy Kharchenko
2005 J jnl
Secure Multi-Party Computation without Agreement.
J. Cryptol.
Shafi Goldwasser, Yehuda Lindell
2004 B conf
Transformation of Digital Signature Schemes into Designated Confirmer Signature Schemes.
TCC
Shafi Goldwasser, Erez Waisbard
2003 A* conf
On the (In)security of the Fiat-Shamir Paradigm.
FOCS
Shafi Goldwasser, Yael Tauman Kalai
2003 J jnl
On the (In)security of the Fiat-Shamir Paradigm.
Electron. Colloquium Comput. Complex.
Shafi Goldwasser, Yael Tauman
2003 J jnl
On the (In)security of the Fiat-Shamir Paradigm.
IACR Cryptol. ePrint Arch.
Shafi Goldwasser, Yael Tauman
2003 A* conf
On the Implementation of Huge Random Objects.
FOCS
Oded Goldreich, Shafi Goldwasser, Asaf Nussboim
2003 J jnl
On the Implementation of Huge Random Objects.
Electron. Colloquium Comput. Complex.
Oded Goldreich, Shafi Goldwasser, Asaf Nussboim
2003 A* conf
Proving Hard-Core Predicates Using List Decoding.
FOCS
Adi Akavia, Shafi Goldwasser, Shmuel Safra
2002 — book
Complexity of lattice problems - a cryptographic perspective.
Daniele Micciancio, Shafi Goldwasser
2002 J jnl
Secure Computation Without Agreement.
IACR Cryptol. ePrint Arch.
Shafi Goldwasser, Yehuda Lindell
2002 A conf
Secure Computation without Agreement.
DISC
Shafi Goldwasser, Yehuda Lindell
2001 A* conf
Identification Protocols Secure against Reset Attacks.
EUROCRYPT
Mihir Bellare, Marc Fischlin, Shafi Goldwasser, Silvio Micali
2001 A* conf
Resettably-Sound Zero-Knowledge and its Applications.
FOCS
Boaz Barak, Oded Goldreich, Shafi Goldwasser, Yehuda Lindell
2001 J jnl
Resettably-Sound Zero-Knowledge and its Applications.
IACR Cryptol. ePrint Arch.
Boaz Barak, Oded Goldreich, Shafi Goldwasser, Yehuda Lindell
2000 J jnl
Identification Protocols Secure Against Reset Attacks.
IACR Cryptol. ePrint Arch.
Mihir Bellare, Marc Fischlin, Shafi Goldwasser, Silvio Micali
2000 J jnl
On the Limits of Nonapproximability of Lattice Problems.
J. Comput. Syst. Sci.
Oded Goldreich, Shafi Goldwasser
2000 A* conf
Resettable zero-knowledge (extended abstract).
STOC
Ran Canetti, Oded Goldreich, Shafi Goldwasser, Silvio Micali
2000 J jnl
Testing Monotonicity.
Comb.
Oded Goldreich, Shafi Goldwasser, Eric Lehman, Dana Ron, Alex Samorodnitsky
1999 A* conf
An Efficient
EUROCRYPT
Ran Canetti, Shafi Goldwasser
1999 J jnl
Interleaved Zero-Knowledge in the Public-Key Model.
Electron. Colloquium Comput. Complex.
Oded Goldreich, Shafi Goldwasser, Silvio Micali
1999 J jnl
Interleaved Zero-Knowledge in the Public-Key Model.
IACR Cryptol. ePrint Arch.
Oded Goldreich, Shafi Goldwasser, Silvio Micali
1999 J jnl
Primality Testing Using Elliptic Curves.
J. ACM
Shafi Goldwasser, Joe Kilian
1999 J jnl
Resettable Zero-Knowledge.
Electron. Colloquium Comput. Complex.
Ran Canetti, Oded Goldreich, Shafi Goldwasser, Silvio Micali
1999 J jnl
Resettable Zero-Knowledge.
IACR Cryptol. ePrint Arch.
Ran Canetti, Oded Goldreich, Shafi Goldwasser, Silvio Micali
1998 J jnl
A Random Server Model for Private Information Retrieval (or How to Achieve Information Theoretic PIR Avoiding Data Replication).
IACR Cryptol. ePrint Arch.
Yael Gertner, Shafi Goldwasser, Tal Malkin
1998 — conf
A Random Server Model for Private Information Retrieval or How to Achieve Information Theoretic PIR Avoiding Database Replication.
RANDOM
Yael Gertner, Shafi Goldwasser, Tal Malkin
1998 J jnl
Fault-Tolerant Computation in the Full Information Model.
SIAM J. Comput.
Oded Goldreich, Shafi Goldwasser, Nathan Linial
1998 J jnl
Introduction to Special Section on Probabilistic Proof Systems.
SIAM J. Comput.
Shafi Goldwasser
1998 A* conf
On the Limits of Non-Approximability of Lattice Problems.
STOC
Oded Goldreich, Shafi Goldwasser
1998 J jnl
On the possibility of basing Cryptography on the assumption that P ≠ NP.
IACR Cryptol. ePrint Arch.
Oded Goldreich, Shafi Goldwasser
1998 J jnl
Property Testing and its Connection to Learning and Approximation.
J. ACM
Oded Goldreich, Shafi Goldwasser, Dana Ron
1998 A* conf
Testing Monotonicity.
FOCS
Oded Goldreich, Shafi Goldwasser, Eric Lehman, Dana Ron
1997 A* conf
"Pseudo-Random" Number Generation Within Cryptographic Algorithms: The DDS Case.
CRYPTO
Mihir Bellare, Shafi Goldwasser, Daniele Micciancio
1997 A* conf
Eliminating Decryption Errors in the Ajtai-Dwork Cryptosystem.
CRYPTO
Oded Goldreich, Shafi Goldwasser, Shai Halevi
1997 J jnl
Eliminating Decryption Errors in the Ajtai-Dwork Cryptosystem.
Electron. Colloquium Comput. Complex.
Oded Goldreich, Shafi Goldwasser, Shai Halevi
1997 A* conf
Multi-Party Computations: Past and Present.
PODC
Shafi Goldwasser
1997 A* conf
New Directions in Cryptography: Twenty Some Years Later.
FOCS
Shafi Goldwasser
1997 J jnl
On the Limits of Non-Approximability of Lattice Problems
Electron. Colloquium Comput. Complex.
Oded Goldreich, Shafi Goldwasser
1997 A* conf
Public-Key Cryptosystems from Lattice Reduction Problems.
CRYPTO
Oded Goldreich, Shafi Goldwasser, Shai Halevi
1997 A* conf
Verifiable Partial Key Escrow.
CCS
Mihir Bellare, Shafi Goldwasser
1996 J jnl
Collision-Free Hashing from Lattice Problems
Electron. Colloquium Comput. Complex.
Oded Goldreich, Shafi Goldwasser, Shai Halevi
1996 J jnl
Collision-Free Hashing from Lattice Problems.
IACR Cryptol. ePrint Arch.
Oded Goldreich, Shafi Goldwasser, Shai Halevi
1996 J jnl
Interactive Proofs and the Hardness of Approximating Cliques.
J. ACM
Uriel Feige, Shafi Goldwasser, László Lovász, Shmuel Safra, Mario Szegedy
1996 A* conf
Property Testing and Its Connection to Learning and Approximation.
FOCS
Oded Goldreich, Shafi Goldwasser, Dana Ron
1996 J jnl
Property Testing and its connection to Learning and Approximation
Electron. Colloquium Comput. Complex.
Oded Goldreich, Shafi Goldwasser, Dana Ron
1996 J jnl
Public-Key Cryptosystems from Lattice Reduction Problems
Electron. Colloquium Comput. Complex.
Oded Goldreich, Shafi Goldwasser, Shai Halevi
1996 J jnl
Public-Key Cryptosystems from Lattice Reduction Problems.
IACR Cryptol. ePrint Arch.
Oded Goldreich, Shafi Goldwasser, Shai Halevi
1996 J jnl
Verifiable Partial Key Escrow.
IACR Cryptol. ePrint Arch.
Mihir Bellare, Shafi Goldwasser
1995 A* conf
Incremental cryptography and application to virus protection.
STOC
Mihir Bellare, Oded Goldreich, Shafi Goldwasser
1995 — conf
Probabilistically Checkable Proofs and Applications.
GI Jahrestagung
Shafi Goldwasser
1994 A* conf
Efficient probabilistic checkable proofs and applications to approximation.
STOC
Mihir Bellare, Shafi Goldwasser, Carsten Lund, Alexander Russell
1994 A* conf
Incremental Cryptography: The Case of Hashing and Signing.
CRYPTO
Mihir Bellare, Oded Goldreich, Shafi Goldwasser
1994 J jnl
The Complexity of Decision Versus Search.
SIAM J. Comput.
Mihir Bellare, Shafi Goldwasser
1993 — conf
Efficient Interactive Proofs and Applications to Approximation.
ISTCS
Shafi Goldwasser
1993 A* conf
Efficient probabilistically checkable proofs and applications to approximations.
STOC
Mihir Bellare, Shafi Goldwasser, Carsten Lund, Alexander Russell
1993 J jnl
Randomness in Interactive Proofs.
Comput. Complex.
Mihir Bellare, Oded Goldreich, Shafi Goldwasser
1992 A* conf
Invariant Signatures and Non-Interactive Zero-Knowledge Proofs are Equivalent (Extended Abstract).
CRYPTO
Shafi Goldwasser, Rafail Ostrovsky
1991 A* conf
Approximating Clique is Almost NP-Complete (Preliminary Version)
FOCS
Uriel Feige, Shafi Goldwasser, László Lovász, Shmuel Safra, Mario Szegedy
1991 A* conf
Fault-tolerant Computation in the Full Information Model (Extended Abstract)
FOCS
Oded Goldreich, Shafi Goldwasser, Nathan Linial
1991 A* conf
Languages that Are Easier than their Proofs
FOCS
Richard Beigel, Mihir Bellare, Joan Feigenbaum, Shafi Goldwasser
1990 A* ed.
Advances in Cryptology - CRYPTO '88, 8th Annual International Cryptology Conference, Santa Barbara, California, USA, August 21-25, 1988, Proceedings
CRYPTO
Shafi Goldwasser
1990 A* conf
Fair Computation of General Functions in Presence of Immoral Majority.
CRYPTO
Shafi Goldwasser, Leonid A. Levin
1990 J jnl
On the power of interaction.
Comb.
William Aiello, Shafi Goldwasser, Johan Håstad
1990 A* conf
Randomness in Interactive Proofs
FOCS
Mihir Bellare, Oded Goldreich, Shafi Goldwasser
1989 A* conf
Efficient Identification Schemes Using Two Prover Interactive Proofs.
CRYPTO
Michael Ben-Or, Shafi Goldwasser, Joe Kilian, Avi Wigderson
1989 A* conf
Multiparty Computation with Faulty Majority (Extended Announcement)
FOCS
Donald Beaver, Shafi Goldwasser
1989 A* conf
Multiparty Computation with Faulty Majority.
CRYPTO
Donald Beaver, Shafi Goldwasser
1989 A* conf
New Paradigms for Digital Signatures and Message Authentication Based on Non-Interative Zero Knowledge Proofs.
CRYPTO
Mihir Bellare, Shafi Goldwasser
1989 A* conf
On the Structure of Secret Key Exchange Protocols.
CRYPTO
Mihir Bellare, Lenore Cowen, Shafi Goldwasser
1989 — conf
On the Structure of Secret Key Exchange Protocols.
Distributed Computing And Cryptography
Mihir Bellare, Lenore Cowen, Shafi Goldwasser
1989 J jnl
Private Coins versus Public Coins in Interactive Proof Systems.
Adv. Comput. Res.
Shafi Goldwasser, Michael Sipser
1989 J jnl
The Knowledge Complexity of Interactive Proof Systems.
SIAM J. Comput.
Shafi Goldwasser, Silvio Micali, Charles Rackoff
1988 J jnl
A Digital Signature Scheme Secure Against Adaptive Chosen-Message Attacks.
SIAM J. Comput.
Shafi Goldwasser, Silvio Micali, Ronald L. Rivest
1988 A* conf
Completeness Theorems for Non-Cryptographic Fault-Tolerant Distributed Computation (Extended Abstract)
STOC
Michael Ben-Or, Shafi Goldwasser, Avi Wigderson
1988 A* conf
Everything Provable is Provable in Zero-Knowledge.
CRYPTO
Michael Ben-Or, Oded Goldreich, Shafi Goldwasser, Johan Håstad, Joe Kilian, Silvio Micali, Phillip Rogaway
1988 A* conf
Multi-Prover Interactive Proofs: How to Remove Intractability Assumptions
STOC
Michael Ben-Or, Shafi Goldwasser, Joe Kilian, Avi Wigderson
1986 A* conf
Almost All Primes Can Be Quickly Certified
STOC
Shafi Goldwasser, Joe Kilian
1986 J jnl
How to construct random functions.
J. ACM
Oded Goldreich, Shafi Goldwasser, Silvio Micali
1986 A* conf
On the Power of Interaction
FOCS
William Aiello, Shafi Goldwasser, Johan Håstad
1986 A* conf
Private Coins versus Public Coins in Interactive Proof Systems
STOC
Shafi Goldwasser, Michael Sipser
1985 A* conf
The Bit Security of Modular Squaring Given Partial Factorization of the Modulos.
CRYPTO
Benny Chor, Oded Goldreich, Shafi Goldwasser
1985 A* conf
The Knowledge Complexity of Interactive Proof-Systems (Extended Abstract)
STOC
Shafi Goldwasser, Silvio Micali, Charles Rackoff
1985 A* conf
Verifiable Secret Sharing and Achieving Simultaneity in the Presence of Faults (Extended Abstract)
FOCS
Benny Chor, Shafi Goldwasser, Silvio Micali, Baruch Awerbuch
1984 A* conf
A "Paradoxical" Solution to the Signature Problem (Extended Abstract)
FOCS
Shafi Goldwasser, Silvio Micali, Ronald L. Rivest
1984 A* conf
A "Paradoxical'"Solution to the Signature Problem (Abstract).
CRYPTO
Shafi Goldwasser, Silvio Micali, Ronald L. Rivest
1984 A* conf
An Efficient Probabilistic Public-Key Encryption Scheme Which Hides All Partial Information.
CRYPTO
Manuel Blum, Shafi Goldwasser
1984 A* conf
How to Construct Random Functions (Extended Abstract)
FOCS
Oded Goldreich, Shafi Goldwasser, Silvio Micali
1984 A* conf
On the Cryptographic Applications of Random Functions.
CRYPTO
Oded Goldreich, Shafi Goldwasser, Silvio Micali
1984 J jnl
Probabilistic Encryption.
J. Comput. Syst. Sci.
Shafi Goldwasser, Silvio Micali
1983 A* conf
Strong Signature Schemes
STOC
Shafi Goldwasser, Silvio Micali, Andrew Chi-Chih Yao
1982 A* conf
On Signatures and Authentication.
CRYPTO
Shafi Goldwasser, Silvio Micali, Andrew Chi-Chih Yao
1982 A* conf
Probabilistic Encryption and How to Play Mental Poker Keeping Secret All Partial Information
STOC
Shafi Goldwasser, Silvio Micali
1982 A* conf
Why and How to Establish a Private Code on a Public Network (Extended Abstract)
FOCS
Shafi Goldwasser, Silvio Micali, Po Tong