52 citations · 56 across the 4 of their papers we have counts for
5 papers
McFIL: Model Counting Functionality-Inherent Leakage
Maximilian Zinkus, Yinzhi Cao, Matthew Green
Protecting the confidentiality of private data and using it for useful collaboration have long been at odds. Modern cryptography is bridging this gap through rapid growth in secure…
SoK: Cryptographic Confidentiality of Data on Mobile Devices
Maximilian Zinkus, Tushar M. Jois, Matthew Green
Mobile devices have become an indispensable component of modern life. Their high storage capacity gives these devices the capability to store vast amounts of sensitive personal dat…
Data Security on Mobile Devices: Current State of the Art, Open Problems, and Proposed Solutions
Maximilian Zinkus, Tushar M. Jois, Matthew Green
In this work we present definitive evidence, analysis, and (where needed) speculation to answer the questions, (1) Which concrete security measures in mobile devices meaningfully p…
KeyForge: Mitigating Email Breaches with Forward-Forgeable Signatures
Michael Specter, Sunoo Park, Matthew Green
Email breaches are commonplace, and they expose a wealth of personal, business, and political data that may have devastating consequences. The current email system allows any attac…
Verified Correctness and Security of mbedTLS HMAC-DRBG
Katherine Q. Ye, Matthew Green, Naphat Sanguansin +3
We have formalized the functional specification of HMAC-DRBG (NIST 800-90A), and we have proved its cryptographic security--that its output is pseudorandom--using a hybrid game-bas…