Matthew D. Green

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 8

Top Topics

Satisfiability Testing

Automated Analysis

Top Venues

IACR Cryptol. ePrint Arch.

IEEE Symposium on Security and Privacy

Publications

Hannah Davis, Matthew D. Green, Nadia Heninger, Keegan Ryan, Adam Suhl
On the Possibility of a Backdoor in the Micali-Schnorr Generator. Public Key Cryptography (1) (2024)
Maximilian Zinkus, Yinzhi Cao, Matthew D. Green
McFIL: Model Counting Functionality-Inherent Leakage. USENIX Security Symposium (2023)
Shaanan N. Cohney, Matthew D. Green, Nadia Heninger
Practical State Recovery Attacks against Legacy RNG Implementations. CCS (2018)
Sean Bowe, Ariel Gabizon, Matthew D. Green
A Multi-party Protocol for Constructing the Public Parameters of the Pinocchio zk-SNARK. Financial Cryptography Workshops (2018)
Sean Bowe, Ariel Gabizon, Matthew D. Green
A multi-party protocol for constructing the public parameters of the Pinocchio zk-SNARK. IACR Cryptol. ePrint Arch. 2017 (2017)
Matthew D. Green
Keynote: On Subverting Trust. NDSS (2016)
Matthew D. Green, Ian Miers
Bolt: Anonymous Payment Channels for Decentralized Currencies. IACR Cryptol. ePrint Arch. 2016 (2016)
Matthew D. Green, Jonathan Katz, Alex J. Malozemoff, Hong-Sheng Zhou
A Unified Approach to Idealized Model Separations via Indistinguishability Obfuscation. SCN (2016)
Matthew D. Green, Ian Miers
Forward Secure Asynchronous Messaging from Puncturable Encryption. IEEE Symposium on Security and Privacy (2015)
Alex J. Malozemoff, Jonathan Katz, Matthew D. Green
Automated Analysis and Synthesis of Block-Cipher Modes of Operation. IACR Cryptol. ePrint Arch. 2014 (2014)
Matthew D. Green, Jonathan Katz, Alex J. Malozemoff, Hong-Sheng Zhou
A Unified Approach to Idealized Model Separations via Indistinguishability Obfuscation. IACR Cryptol. ePrint Arch. 2014 (2014)
Alex J. Malozemoff, Jonathan Katz, Matthew D. Green
Automated Analysis and Synthesis of Block-Cipher Modes of Operation. CSF (2014)
Matthew D. Green, Aviel D. Rubin
A Research Roadmap for Healthcare IT Security Inspired by the PCAST Health Information Technology Report. HealthSec (2011)
Joseph A. Akinyele, Matthew W. Pagano, Matthew D. Green, Christoph U. Lehmann, Zachary N. J. Peterson, Aviel D. Rubin
Securing electronic medical records using attribute-based encryption on mobile devices. SPSM@CCS (2011)