Matthew Green

Mathias Hall-Andersen

IACR Cryptol. ePrint Arch., 2021

Stacking Sigmas: A Framework to Compose Σ-Protocols for Disjunctions.

[BibT_eX]

[DOI]

Aarushi Goel

Mathias Hall-Andersen

IACR Cryptol. ePrint Arch., 2021

Data Security on Mobile Devices: Current State of the Art, Open Problems, and Proposed Solutions.

[BibT_eX]

[DOI]

Maximilian Zinkus

Tushar M. Jois

CoRR, 2021

KeyForge: Non-Attributable Email from Forward-Forgeable Signatures.

[BibT_eX]

[DOI]

Michael A. Specter

Sunoo Park

Proceedings of the 30th USENIX Security Symposium, 2021

Cost-Effective Mission Assurance Engineering Through Simulation.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Internet of Things and Intelligence Systems, 2021

Abuse Resistant Law Enforcement Access Systems.

[BibT_eX]

[DOI]

Gijs Van Laer

Proceedings of the Advances in Cryptology - EUROCRYPT 2021, 2021

Fluid MPC: Secure Multiparty Computation with Dynamic Participants.

[BibT_eX]

[DOI]

Proceedings of the Advances in Cryptology - CRYPTO 2021, 2021

Meteor: Cryptographically Secure Steganography for Realistic Distributions.

[BibT_eX]

[DOI]

Proceedings of the CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15, 2021

Fuzzy Message Detection.

[BibT_eX]

[DOI]

Proceedings of the CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15, 2021

2020

Automating the Development of Chosen Ciphertext Attacks.

[BibT_eX]

[DOI]

Gabrielle Beck

Maximilian Zinkus

Proceedings of the 29th USENIX Security Symposium, 2020

Mission Assurance for Autonomous Undersea Vehicles.

[BibT_eX]

[DOI]

Proceedings of the 2020 IEEE Security and Privacy Workshops, 2020

ZEXE: Enabling Decentralized Private Computation.

[BibT_eX]

[DOI]

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

2019

KeyForge: Mitigating Email Breaches with Forward-Forgeable Signatures.

[BibT_eX]

[DOI]

Michael A. Specter

Sunoo Park

IACR Cryptol. ePrint Arch., 2019

Using SMT Solvers to Automate Chosen Ciphertext Attacks.

[BibT_eX]

[DOI]

Gabrielle Beck

Maximilian Zinkus

IACR Cryptol. ePrint Arch., 2019

Giving State to the Stateless: Augmenting Trustworthy Computation with Ledgers.

[BibT_eX]

[DOI]

Proceedings of the 26th Annual Network and Distributed System Security Symposium, 2019

2018

Where did I leave my keys?: lessons from the Juniper Dual EC incident.

[BibT_eX]

[DOI]

Ralf-Philipp Weinmann

Eric Rescorla

Hovav Shacham

Commun. ACM, 2018

Don't Talk to Strangers - On the Challenges of Intelligent Vehicle Authentication.

[BibT_eX]

[DOI]

Alishah Chator

Proceedings of the 4th International Conference on Vehicle Technology and Intelligent Transport Systems, 2018

A Multi-party Protocol for Constructing the Public Parameters of the Pinocchio zk-SNARK.

[BibT_eX]

[DOI]

Sean Bowe

Ariel Gabizon

Proceedings of the Financial Cryptography and Data Security, 2018

How to Squeeze a Crowd: Reducing Bandwidth in Mixing Cryptocurrencies.

[BibT_eX]

[DOI]

Alishah Chator

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

Practical State Recovery Attacks against Legacy RNG Implementations.

[BibT_eX]

[DOI]

Shaanan N. Cohney

Nadia Heninger

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

2017

Managing Secrets with Consensus Networks: Fairness, Ransomware and Access Control.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2017

Outsourcing Medical Dataset Analysis: A Possible Solution.

[BibT_eX]

[DOI]

Proceedings of the Financial Cryptography and Data Security, 2017

Decentralized Anonymous Micropayments.

[BibT_eX]

[DOI]

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

Verified Correctness and Security of mbedTLS HMAC-DRBG.

[BibT_eX]

[DOI]

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

Fairness in an Unfair World: Fair Multiparty Computation from Public Bulletin Boards.

[BibT_eX]

[DOI]

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

Bolt: Anonymous Payment Channels for Decentralized Currencies.

[BibT_eX]

[DOI]

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

2016

Developers are Not the Enemy!: The Need for Usable Security APIs.

[BibT_eX]

[DOI]

Santiago Zanella-Béguelin

Matthew Smith

IEEE Secur. Priv., 2016

A Systematic Analysis of the Juniper Dual EC Incident.

[BibT_eX]

[DOI]

Ralf-Philipp Weinmann

IACR Cryptol. ePrint Arch., 2016

Dancing on the Lip of the Volcano: Chosen Ciphertext Attacks on Apple iMessage.

[BibT_eX]

[DOI]

Proceedings of the 25th USENIX Security Symposium, 2016

Downgrade Resilience in Key-Exchange Protocols.

[BibT_eX]

[DOI]

Karthikeyan Bhargavan

Proceedings of the IEEE Symposium on Security and Privacy, 2016

A Unified Approach to Idealized Model Separations via Indistinguishability Obfuscation.

[BibT_eX]

[DOI]

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

Keynote: On Subverting Trust.

[BibT_eX]

[DOI]

Proceedings of the 23rd Annual Network and Distributed System Security Symposium, 2016

Accountable Privacy for Decentralized Anonymous Payments.

[BibT_eX]

[DOI]

Christina Garman

Proceedings of the Financial Cryptography and Data Security, 2016

A Systematic Analysis of the Juniper Dual EC Incident.

[BibT_eX]

[DOI]

Ralf-Philipp Weinmann

Eric Rescorla

Hovav Shacham

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

A Protocol for Privately Reporting Ad Impressions at Scale.

[BibT_eX]

[DOI]

Watson Ladd

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

2015

Keys under doormats: mandating insecurity by requiring government access to all data and communications.

[BibT_eX]

[DOI]

J. Cybersecur., 2015

Keys under doormats.

[BibT_eX]

[DOI]

Commun. ACM, 2015

Forward Secure Asynchronous Messaging from Puncturable Encryption.

[BibT_eX]

[DOI]

Santiago Zanella-Béguelin

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

Secure Sampling of Public Parameters for Succinct Zero Knowledge Proofs.

[BibT_eX]

[DOI]

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

Imperfect Forward Secrecy: How Diffie-Hellman Fails in Practice.

[BibT_eX]

[DOI]

David Adrian

Karthikeyan Bhargavan

Paul Zimmermann

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

2014

On the Practical Exploitability of Dual EC in TLS Implementations.

[BibT_eX]

[DOI]

Proceedings of the 23rd USENIX Security Symposium, San Diego, CA, USA, August 20-22, 2014., 2014

Zerocash: Decentralized Anonymous Payments from Bitcoin.

[BibT_eX]

[DOI]

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

Decentralized Anonymous Credentials.

[BibT_eX]

[DOI]

Christina Garman

Proceedings of the 21st Annual Network and Distributed System Security Symposium, 2014

Rational Zero: Economic Security for Zerocoin with Everlasting Anonymity.

[BibT_eX]

[DOI]

Proceedings of the Financial Cryptography and Data Security, 2014

Automated Analysis and Synthesis of Block-Cipher Modes of Operation.

[BibT_eX]

[DOI]

Alex J. Malozemoff

Jonathan Katz

Proceedings of the IEEE 27th Computer Security Foundations Symposium, 2014

2013

Charm: a framework for rapidly prototyping cryptosystems.

[BibT_eX]

[DOI]

J. Cryptogr. Eng., 2013

The Threat in the Cloud.

[BibT_eX]

[DOI]

IEEE Secur. Priv., 2013

Zerocoin: Anonymous Distributed E-Cash from Bitcoin.

[BibT_eX]

[DOI]

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

Using SMT solvers to automate design tasks for encryption and signature schemes.

[BibT_eX]

[DOI]

Joseph A. Akinyele

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

2012

Vis-à-vis Cryptography: Private and Trustworthy In-Person Certifications.

[BibT_eX]

[DOI]

Proceedings of the 3rd USENIX Workshop on Health Security and Privacy, 2012

New Definitions and Separations for Circular Security.

[BibT_eX]

[DOI]

David Cash

Proceedings of the Public Key Cryptography - PKC 2012, 2012

Charm: A Framework for Rapidly Prototyping Cryptosystems.

[BibT_eX]

[DOI]

Joseph A. Akinyele

Proceedings of the 19th Annual Network and Distributed System Security Symposium, 2012

Machine-generated algorithms, proofs and software for the batch verification of digital signature schemes.

[BibT_eX]

[DOI]

Proceedings of the ACM Conference on Computer and Communications Security, 2012

2011

Access controls for oblivious and anonymous systems.

[BibT_eX]

[DOI]

Scott E. Coull

ACM Trans. Inf. Syst. Secur., 2011

A Research Roadmap for Healthcare IT Security Inspired by the PCAST Health Information Technology Report.

[BibT_eX]

[DOI]

Proceedings of the 2nd USENIX Workshop on Health Security and Privacy, 2011

Outsourcing the Decryption of ABE Ciphertexts.

[BibT_eX]

[DOI]

Brent Waters

Proceedings of the 20th USENIX Security Symposium, 2011

Practical Adaptive Oblivious Transfer from Simple Assumptions.

[BibT_eX]

[DOI]

Proceedings of the Theory of Cryptography - 8th Theory of Cryptography Conference, 2011

Secure Blind Decryption.

[BibT_eX]

[DOI]

Proceedings of the Public Key Cryptography - PKC 2011, 2011

Securing electronic medical records using attribute-based encryption on mobile devices.

[BibT_eX]

[DOI]

Zachary N. J. Peterson

Proceedings of the SPSM'11, 2011

2010

CPA and CCA-Secure Encryption Systems that are not 2-Circular Secure.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2010

Self-Protecting Electronic Medical Records Using Attribute-Based Encryption.

[BibT_eX]

[DOI]

Zachary N. J. Peterson

IACR Cryptol. ePrint Arch., 2010

Synchronized aggregate signatures: new definitions, constructions and applications.

[BibT_eX]

[DOI]

Jae Hyun Ahn

Proceedings of the 17th ACM Conference on Computer and Communications Security, 2010

2009

Controlling Access to an Oblivious Database Using Stateful Anonymous Credentials.

[BibT_eX]

[DOI]

Scott E. Coull

Proceedings of the Public Key Cryptography, 2009

Practical Short Signature Batch Verification.

[BibT_eX]

[DOI]

Anna Lisa Ferrara

Michael Østergaard Pedersen

Proceedings of the Topics in Cryptology, 2009

2008

Universally Composable Adaptive Oblivious Transfer.

[BibT_eX]

[DOI]

Proceedings of the Advances in Cryptology, 2008

2007

Blind Identity-Based Encryption and Simulatable Oblivious Transfer.

[BibT_eX]

[DOI]

Proceedings of the Advances in Cryptology, 2007

Identity-Based Proxy Re-encryption.

[BibT_eX]

[DOI]

Giuseppe Ateniese

Proceedings of the Applied Cryptography and Network Security, 5th International Conference, 2007

2006

Security through legality.

[BibT_eX]

[DOI]

Commun. ACM, 2006

2005

Correlation-Resistant Storage via Keyword-Searchable Encryption.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2005

Security Analysis of a Cryptographically-Enabled RFID Device.

[BibT_eX]

[DOI]

Proceedings of the 14th USENIX Security Symposium, Baltimore, MD, USA, July 31, 2005

Improved Proxy Re-Encryption Schemes with Applications to Secure Distributed Storage.

[BibT_eX]

[DOI]

Proceedings of the Network and Distributed System Security Symposium, 2005

2004

Selection of a time-varying quadratic Volterra model using a wavelet packet basis expansion.

[BibT_eX]

[DOI]

Abdelhak M. Zoubir

IEEE Trans. Signal Process., 2004

2003

build.sh: Cross-building NetBSD.

[BibT_eX]

[DOI]

Luke Mewburn

Proceedings of BSDCon 2003, San Mateo, California, USA, September 8-12, 2003, 2003

2001

Enhanced Streaming Services in a Content Distribution Network.

[BibT_eX]

[DOI]

Jacobus E. van der Merwe

Cormac J. Sreenan

IEEE Internet Comput., 2001

2000

Multiple hypothesis testing for time-varying nonlinear system identification.

[BibT_eX]

[DOI]