Michael A. Specter

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 14

Top Topics

Internet Voting

Top Venues

USENIX Security Symposium

IACR Cryptol. ePrint Arch.

Publications

Jenny Blessing, Michael A. Specter, Daniel J. Weitzner
Cryptography in the Wild: An Empirical Analysis of Vulnerabilities in Cryptographic Libraries. AsiaCCS (2024)
Kurt Thomas, Sarah Meiklejohn, Michael A. Specter, Xiang Wang, Xavier Llorà, Stephan Somogyi, David Kleidermacher
Robust, privacy-preserving, transparent, and auditable on-device blocklisting. CoRR (2023)
Jack Cable, Andrés Fábrega, Sunoo Park, Michael A. Specter
A systematization of voter registration security. J. Cybersecur. 9 (1) (2023)
Jack Cable, Andrés Fábrega, Sunoo Park, Michael A. Specter
A Systematization of Voter Registration Security. IACR Cryptol. ePrint Arch. 2022 (2022)
Michael A. Specter, Sunoo Park, Matthew Green
KeyForge: Non-Attributable Email from Forward-Forgeable Signatures. USENIX Security Symposium (2021)
Sunoo Park, Michael A. Specter, Neha Narula, Ronald L. Rivest
Going from bad to worse: from Internet voting to blockchain voting. J. Cybersecur. 7 (1) (2021)
Jenny Blessing, Michael A. Specter, Daniel J. Weitzner
You Really Shouldn't Roll Your Own Crypto: An Empirical Study of Vulnerabilities in Cryptographic Libraries. CoRR (2021)
Michael A. Specter, J. Alex Halderman
Security Analysis of the Democracy Live Online Voting System. USENIX Security Symposium (2021)
John Meklenburg, Michael A. Specter, Michael Wentz, Hari Balakrishnan, Anantha P. Chandrakasan, John Cohn, Gary Hatke, Louise Ivers, Ronald L. Rivest, Gerald Jay Sussman, Daniel J. Weitzner
SonicPACT: An Ultrasonic Ranging Method for the Private Automated Contact Tracing (PACT) Protocol. CoRR (2020)
Michael A. Specter, James Koppel, Daniel J. Weitzner
The Ballot is Busted Before the Blockchain: A Security Analysis of Voatz, the First Internet Voting Application Used in U.S. Federal Elections. USENIX Security Symposium (2020)
Michael A. Specter, Sunoo Park, Matthew Green
KeyForge: Mitigating Email Breaches with Forward-Forgeable Signatures. IACR Cryptol. ePrint Arch. 2019 (2019)
Michael A. Specter, Sunoo Park, Matthew Green
KeyForge: Mitigating Email Breaches with Forward-Forgeable Signatures. CoRR (2019)
Leilani H. Gilpin, David Bau, Ben Z. Yuan, Ayesha Bajwa, Michael A. Specter, Lalana Kagal
Explaining Explanations: An Overview of Interpretability of Machine Learning. DSAA (2018)
Leilani H. Gilpin, David Bau, Ben Z. Yuan, Ayesha Bajwa, Michael A. Specter, Lalana Kagal
Explaining Explanations: An Approach to Evaluating Interpretability of Machine Learning. CoRR (2018)
Harold Abelson, Ross J. Anderson, Steven M. Bellovin, Josh Benaloh, Matt Blaze, Whitfield Diffie, John Gilmore, Matthew Green, Susan Landau, Peter G. Neumann, Ronald L. Rivest, Jeffrey I. Schiller, Bruce Schneier, Michael A. Specter, Daniel J. Weitzner
Keys under doormats. Commun. ACM 58 (10) (2015)
Harold Abelson, Ross J. Anderson, Steven M. Bellovin, Josh Benaloh, Matt Blaze, Whitfield Diffie, John Gilmore, Matthew Green, Susan Landau, Peter G. Neumann, Ronald L. Rivest, Jeffrey I. Schiller, Bruce Schneier, Michael A. Specter, Daniel J. Weitzner
Keys under doormats: mandating insecurity by requiring government access to all data and communications. J. Cybersecur. 1 (1) (2015)