Abhi Shelat

Muthuramakrishnan Venkitasubramaniam

Proceedings of the Advances in Cryptology - ASIACRYPT 2022, 2022

2021

Diogenes: Lightweight Scalable RSA Modulus Generation with a Dishonest Majority.

[BibT_eX]

[DOI]

Ruihan Wang

Proceedings of the 42nd IEEE Symposium on Security and Privacy, 2021

2020

Going Beyond Dual Execution: MPC for Functions with Efficient Verification.

[BibT_eX]

[DOI]

Carmit Hazay

Muthuramakrishnan Venkitasubramaniam

Proceedings of the Public-Key Cryptography - PKC 2020, 2020

Multiparty Generation of an RSA Modulus.

[BibT_eX]

[DOI]

Proceedings of the Advances in Cryptology - CRYPTO 2020, 2020

2019

Blind Certificate Authorities.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE Symposium on Security and Privacy, 2019

Threshold ECDSA from ECDSA Assumptions: The Multiparty Case.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE Symposium on Security and Privacy, 2019

Minimizing Trust in Hardware Wallets with Two Factor Signatures.

[BibT_eX]

[DOI]

Antonio Marcedone

Proceedings of the Financial Cryptography and Data Security, 2019

Adaptively Secure MPC with Sublinear Communication Complexity.

[BibT_eX]

[DOI]

Ran Cohen

Daniel Wichs

Proceedings of the Advances in Cryptology - CRYPTO 2019, 2019

Securely Sampling Biased Coins with Applications to Differential Privacy.

[BibT_eX]

[DOI]

Jeffrey Champion

Jonathan R. Ullman

Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, 2019

2018

Doubly-Efficient zkSNARKs Without Trusted Setup.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE Symposium on Security and Privacy, 2018

Secure Two-party Threshold ECDSA from ECDSA Assumptions.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE Symposium on Security and Privacy, 2018

Multi-Key Searchable Encryption, Revisited.

[BibT_eX]

[DOI]

Proceedings of the Public-Key Cryptography - PKC 2018, 2018

A Better Method to Analyze Blockchain Consistency.

[BibT_eX]

[DOI]

Lucianna Kiffer

Rajmohan Rajaraman

Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, 2018

2017

Socially Optimal Mining Pools.

[BibT_eX]

[DOI]

Ben Fisch

Proceedings of the Web and Internet Economics - 13th International Conference, 2017

Analysis of the Blockchain Protocol in Asynchronous Networks.

[BibT_eX]

[DOI]

Lior Seeman

Proceedings of the Advances in Cryptology - EUROCRYPT 2017 - 36th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Paris, France, April 30, 2017

Full Accounting for Verifiable Outsourcing.

[BibT_eX]

[DOI]

Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, 2017

Scaling ORAM for Secure Computation.

[BibT_eX]

[DOI]

Jack Doerner

Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, 2017

2016

Secure Channel Injection and Anonymous Proofs of Account Ownership.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2016

A Note on Black-Box Complexity of Indistinguishability Obfuscation.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2016

The Cut-and-Choose Game and Its Application to Cryptographic Protocols.

[BibT_eX]

[DOI]

Proceedings of the 25th USENIX Security Symposium, 2016

Impossibility of VBB Obfuscation with Ideal Constant-Degree Graded Encodings.

[BibT_eX]

[DOI]

Proceedings of the Theory of Cryptography - 13th International Conference, 2016

Lower Bounds on Assumptions Behind Indistinguishability Obfuscation.

[BibT_eX]

[DOI]

Proceedings of the Theory of Cryptography - 13th International Conference, 2016

Verifiable ASICs.

[BibT_eX]

[DOI]

Proceedings of the IEEE Symposium on Security and Privacy, 2016

Bounded KDM Security from iO and OWF.

[BibT_eX]

[DOI]

Antonio Marcedone

Proceedings of the Security and Cryptography for Networks - 10th International Conference, 2016

Secure Stable Matching at Scale.

[BibT_eX]

[DOI]

Jack Doerner

David Evans

Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, 2016

2015

An Overview of ANONIZE: A Large-Scale Anonymous Survey System.

[BibT_eX]

[DOI]

IEEE Secur. Priv., 2015

How to Use SNARKs in Universally Composable Protocols.

[BibT_eX]

[DOI]

Charalampos Papamanthou

Elaine Shi

IACR Cryptol. ePrint Arch., 2015

Compression-Aware Algorithms for Massive Datasets.

[BibT_eX]

[DOI]

Nathan Brunelle

Gabriel Robins

Proceedings of the 2015 Data Compression Conference, 2015

Micropayments for Decentralized Currencies.

[BibT_eX]

[DOI]

Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security, 2015

Secure Computation from Millionaire.

[BibT_eX]

[DOI]

Muthuramakrishnan Venkitasubramaniam

Proceedings of the Advances in Cryptology - ASIACRYPT 2015 - 21st International Conference on the Theory and Application of Cryptology and Information Security, Auckland, New Zealand, November 29, 2015

2014

ANONIZE: A Large-Scale Anonymous Survey System.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE Symposium on Security and Privacy, 2014

SCORAM: Oblivious RAM for Secure Computation.

[BibT_eX]

[DOI]

Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security, 2014

2013

Black-box construction of a more than non-malleable CCA1 encryption scheme from plaintext awareness.

[BibT_eX]

[DOI]

J. Comput. Secur., 2013

PCF: A Portable Circuit Format for Scalable Two-Party Secure Computation.

[BibT_eX]

[DOI]

Proceedings of the 22th USENIX Security Symposium, Washington, DC, USA, August 14-16, 2013, 2013

Black-Box Proof of Knowledge of Plaintext and Multiparty Computation with Low Communication Overhead.

[BibT_eX]

[DOI]

Proceedings of the Theory of Cryptography - 10th Theory of Cryptography Conference, 2013

Algorithms for Compressed Inputs.

[BibT_eX]

[DOI]

Nathan Brunelle

Gabriel Robins

Proceedings of the 2013 Data Compression Conference, 2013

Fast two-party secure computation with minimal assumptions.

[BibT_eX]

[DOI]

Proceedings of the 2013 ACM SIGSAC Conference on Computer and Communications Security, 2013

Lessons learned with PCF: scaling secure computation.

[BibT_eX]

[DOI]

Benjamin Kreuter

Proceedings of the PETShop'13, 2013

GPU and CPU parallelization of honest-but-curious secure two-party computation.

[BibT_eX]

[DOI]

Proceedings of the Annual Computer Security Applications Conference, 2013

2012

Towards Billion-Gate Secure Computation with Malicious Adversaries.

[BibT_eX]

[DOI]

Benjamin Kreuter

IACR Cryptol. ePrint Arch., 2012

Billion-Gate Secure Computation with Malicious Adversaries.

[BibT_eX]

[DOI]

Benjamin Kreuter

Proceedings of the 21th USENIX Security Symposium, Bellevue, WA, USA, August 8-10, 2012, 2012

Computing on Authenticated Data.

[BibT_eX]

[DOI]

Proceedings of the Theory of Cryptography - 9th Theory of Cryptography Conference, 2012

Blackbox Construction of a More Than Non-Malleable CCA1 Encryption Scheme from Plaintext Awareness.

[BibT_eX]

[DOI]

Proceedings of the Security and Cryptography for Networks - 8th International Conference, 2012

2011

Threshold Fully Homomorphic Encryption and Secure Computation.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2011

Renegotiation-Safe Protocols.

[BibT_eX]

[DOI]

Proceedings of the Innovations in Computer Science, 2011

Efficient Secure Computation with Garbled Circuits.

[BibT_eX]

[DOI]

Proceedings of the Information Systems Security - 7th International Conference, 2011

Two-Output Secure Computation with Malicious Adversaries.

[BibT_eX]

[DOI]

Proceedings of the Advances in Cryptology - EUROCRYPT 2011, 2011

2010

Collusion-free protocols.

[BibT_eX]

[DOI]

Proceedings of the Behavioral and Quantitative Game Theory, 2010

Optimistic Concurrent Zero Knowledge.

[BibT_eX]

[DOI]

Alon Rosen

Proceedings of the Advances in Cryptology - ASIACRYPT 2010, 2010

Additive Combinatorics and Discrete Logarithm Based Range Protocols.

[BibT_eX]

[DOI]

Rafik Chaabouni

Helger Lipmaa

Proceedings of the Information Security and Privacy - 15th Australasian Conference, 2010

2009

Purely Rational Secret Sharing (Extended Abstract).

[BibT_eX]

[DOI]

Silvio Micali

Proceedings of the Theory of Cryptography, 6th Theory of Cryptography Conference, 2009

Bit Encryption Is Complete.

[BibT_eX]

[DOI]

Proceedings of the 50th Annual IEEE Symposium on Foundations of Computer Science, 2009

Collusion-Free Multiparty Computation in the Mediated Model.

[BibT_eX]

[DOI]

Proceedings of the Advances in Cryptology, 2009

2008

Collusion-Free Protocols in the Mediated Model.

[BibT_eX]

[DOI]

Joël Alwen

Ivan Visconti

Proceedings of the Advances in Cryptology, 2008

Efficient Protocols for Set Membership and Range Proofs.

[BibT_eX]

[DOI]

Jan Camenisch

Rafik Chaabouni

Proceedings of the Advances in Cryptology, 2008

2007

Securely Obfuscating Re-encryption.

[BibT_eX]

[DOI]

Proceedings of the Theory of Cryptography, 4th Theory of Cryptography Conference, 2007

Efficient fork-linearizable access to untrusted shared memory.

[BibT_eX]

[DOI]

Christian Cachin

Alexander Shraer

Proceedings of the Twenty-Sixth Annual ACM Symposium on Principles of Distributed Computing, 2007

Cryptography from Sunspots: How to Use an Imperfect Reference String.

[BibT_eX]

[DOI]

Ran Canetti

Proceedings of the 48th Annual IEEE Symposium on Foundations of Computer Science, 2007

Simulatable Adaptive Oblivious Transfer.

[BibT_eX]

[DOI]

Jan Camenisch

Gregory Neven

Proceedings of the Advances in Cryptology, 2007

Relations Among Notions of Non-malleability for Encryption.

[BibT_eX]

[DOI]

Vinod Vaikuntanathan

Proceedings of the Advances in Cryptology, 2007

Bounded CCA2-Secure Encryption.

[BibT_eX]

[DOI]

Proceedings of the Advances in Cryptology, 2007

2006

Securing user inputs for the web.

[BibT_eX]

[DOI]

Proceedings of the 2006 Workshop on Digital Identity Management, 2006

Construction of a Non-malleable Encryption Scheme from Any Semantically Secure One.

[BibT_eX]

[DOI]

Vinod Vaikuntanathan

Proceedings of the Advances in Cryptology, 2006

2005

Études in non-interactive zero-knowledge.

[BibT_eX]

[DOI]

PhD thesis, 2005

The smallest grammar problem.

[BibT_eX]

[DOI]

IEEE Trans. Inf. Theory, 2005

Fair-Zero Knowledge.

[BibT_eX]

[DOI]

Matt Lepinski

Silvio Micali

Proceedings of the Theory of Cryptography, Second Theory of Cryptography Conference, 2005

Collusion-free protocols.

[BibT_eX]

[DOI]

Matt Lepinski

Silvio Micali

Proceedings of the 37th Annual ACM Symposium on Theory of Computing, 2005

Privacy and identity management for everyone.

[BibT_eX]

[DOI]

Jan Camenisch

Dieter Sommer

Simone Fischer-Hübner

Proceedings of the 2005 Workshop on Digital Identity Management, 2005

Unconditional Characterizations of Non-interactive Zero-Knowledge.

[BibT_eX]

[DOI]

Proceedings of the Advances in Cryptology, 2005

2004

Completely fair SFE and coalition-safe cheap talk.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Third Annual ACM Symposium on Principles of Distributed Computing, 2004

Searching for Stable Mechanisms: Automated Design for Imperfect Players.

[BibT_eX]

[DOI]

Andrew J. Blumberg

Proceedings of the Nineteenth National Conference on Artificial Intelligence, 2004

2003

Remembrance of Data Passed: A Study of Disk Sanitization Practices.

[BibT_eX]

[DOI]

Simson L. Garfinkel

IEEE Secur. Priv., 2003

IEEE Security & Privacy: Data Forensics - Rememberance of Data Passed: A Study of Disk Sanitization Practices.

[BibT_eX]

Simson L. Garfinkel

IEEE Distributed Syst. Online, 2003

Lower bounds for collusion-secure fingerprinting.

[BibT_eX]

[DOI]

Chris Peikert

Adam D. Smith

Proceedings of the Fourteenth Annual ACM-SIAM Symposium on Discrete Algorithms, 2003

2002

Approximating the smallest grammar: Kolmogorov complexity in natural models.

[BibT_eX]

[DOI]

Proceedings of the Proceedings on 34th Annual ACM Symposium on Theory of Computing, 2002

Approximation algorithms for grammar-based compression.

[BibT_eX]

[DOI]

Eric Lehman