Authenticated data structures, generically. - Andrew Miller 001; Michael Hicks 001; Jonathan Katz; Elaine Shi (POPL, 2014)

Permacoin: Repurposing Bitcoin Work for Data Preservation. - Andrew Miller 001; Ari Juels; Elaine Shi; Bryan Parno; Jonathan Katz (IEEE Symposium on Security and Privacy, 2014)

Fawkescoin - A Cryptocurrency Without Public-Key Cryptography. - Joseph Bonneau; Andrew Miller 001 (Security Protocols Workshop, 2014)

Mixcoin: Anonymity for Bitcoin with accountable mixes. - Joseph Bonneau; Arvind Narayanan; Andrew Miller 001; Jeremy Clark; Joshua A. Kroll; Edward W. Felten (IACR Cryptol. ePrint Arch., 2014)

Pseudonymous Secure Computation from Time-Lock Puzzles. - Jonathan Katz; Andrew Miller 001; Elaine Shi (IACR Cryptol. ePrint Arch., 2014)

Nonoutsourceable Scratch-Off Puzzles to Discourage Bitcoin Mining Coalitions. - Andrew Miller 001; Ahmed E. Kosba; Jonathan Katz; Elaine Shi (CCS, 2015)

SoK: Research Perspectives and Challenges for Bitcoin and Cryptocurrencies. - Joseph Bonneau; Andrew Miller 001; Jeremy Clark; Arvind Narayanan; Joshua A. Kroll; Edward W. Felten (IEEE Symposium on Security and Privacy, 2015)

Research Perspectives and Challenges for Bitcoin and Cryptocurrencies. - Joseph Bonneau; Andrew Miller 001; Jeremy Clark; Arvind Narayanan; Joshua A. Kroll; Edward W. Felten (IACR Cryptol. ePrint Arch., 2015)

Step by Step Towards Creating a Safe Smart Contract: Lessons and Insights from a Cryptocurrency Lab. - Kevin Delmolino; Mitchell Arnett; Ahmed E. Kosba; Andrew Miller 001; Elaine Shi (IACR Cryptol. ePrint Arch., 2015)

Hawk: The Blockchain Model of Cryptography and Privacy-Preserving Smart Contracts. - Ahmed E. Kosba; Andrew Miller 001; Elaine Shi; Zikai Wen; Charalampos Papamanthou (IACR Cryptol. ePrint Arch., 2015)

How to Use SNARKs in Universally Composable Protocols. - Ahmed E. Kosba; Zhichao Zhao; Andrew Miller 001; Yi Qian; T.-H. Hubert Chan; Charalampos Papamanthou; Rafael Pass; Abhi Shelat; Elaine Shi (IACR Cryptol. ePrint Arch., 2015)

Stubborn Mining: Generalizing Selfish Mining and Combining with an Eclipse Attack. - Kartik Nayak; Srijan Kumar; Andrew Miller 001; Elaine Shi (IACR Cryptol. ePrint Arch., 2015)

How to Authenticate any Data Structure. - Andrew Miller 001; Michael W. Hicks; Jonathan Katz; Elaine Shi (Adv. Math. Commun., 2015)

Bitcoin and Cryptocurrency Technologies - A Comprehensive Introduction. - Arvind Narayanan; Joseph Bonneau; Edward W. Felten; Andrew Miller 001; Steven Goldfeder (Princeton University Press, 2016)

On Scaling Decentralized Blockchains - (A Position Paper). - Kyle Croman; Christian Decker 002; Ittay Eyal; Adem Efe Gencer; Ari Juels; Ahmed E. Kosba; Andrew Miller 001; Prateek Saxena; Elaine Shi; Emin Gün Sirer; Dawn Song; Roger Wattenhofer (Financial Cryptography Workshops, 2016)

The Honey Badger of BFT Protocols. - Andrew Miller 001; Yu Xia 005; Kyle Croman; Elaine Shi; Dawn Song (IACR Cryptol. ePrint Arch., 2016)

Research for Practice: Cryptocurrencies, Blockchains, and Smart Contracts; Hardware for Deep Learning. - Peter Bailis; Arvind Narayanan; Andrew Miller 001; Song Han 003 (ACM Queue, 2016)

Provable Security for Cryptocurrencies. - Andrew Miller 001 (2016)

Zero-Collateral Lotteries in Bitcoin and Ethereum. - Andrew Miller 001; Iddo Bentov (EuroS&P Workshops, 2017)

SmartCast: An Incentive Compatible Consensus Protocol Using Smart Contracts. - Abhiram Kothapalli; Andrew Miller 001; Nikita Borisov (Financial Cryptography Workshops, 2017)

Sprites: Payment Channels that Go Faster than Lightning. - Andrew Miller 001; Iddo Bentov; Ranjit Kumaresan; Patrick McCorry (CoRR, 2017)

An Empirical Analysis of Linkability in the Monero Blockchain. - Andrew Miller 001; Malte Möser; Kevin Lee; Arvind Narayanan (CoRR, 2017)

Instantaneous Decentralized Poker. - Iddo Bentov; Ranjit Kumaresan; Andrew Miller 001 (IACR Cryptol. ePrint Arch., 2017)

Non-Interactive Proofs of Proof-of-Work. - Aggelos Kiayias; Andrew Miller 001; Dionysis Zindros (IACR Cryptol. ePrint Arch., 2017)

Atomically Trading with Roger: Gambling on the success of a hardfork. - Patrick McCorry; Ethan Heilman; Andrew Miller 001 (IACR Cryptol. ePrint Arch., 2017)

Authenticated Data Structures for Privacy-Preserving Monero Light Clients. - Kevin Lee; Andrew Miller 001 (EuroS&P Workshops, 2018)

Measuring Ethereum Network Peers. - Seoung Kyun Kim; Zane Ma; Siddharth Murali; Joshua Mason; Andrew Miller 001; Michael D. Bailey (Internet Measurement Conference, 2018)

Smart Contracts and Opportunities for Formal Methods. - Andrew Miller 001; Zhicheng Cai; Somesh Jha (ISoLA (4), 2018)

Erays: Reverse Engineering Ethereum's Opaque Smart Contracts. - Yi Zhou; Deepak Kumar 006; Surya Bakshi; Joshua Mason; Andrew Miller 001; Michael D. Bailey (USENIX Security Symposium, 2018)

Ekiden: A Platform for Confidentiality-Preserving, Trustworthy, and Performant Smart Contract Execution. - Raymond Cheng 001; Fan Zhang 022; Jernej Kos; Warren He; Nicholas Hynes 001; Noah M. Johnson; Ari Juels; Andrew Miller 001; Dawn Song (CoRR, 2018)

DelegaTEE: Brokered Delegation Using Trusted Execution Environments. - Sinisa Matetic; Moritz Schneider 001; Andrew Miller 001; Ari Juels; Srdjan Capkun (IACR Cryptol. ePrint Arch., 2018)

Pisa: Arbitration Outsourcing for State Channels. - Patrick McCorry; Surya Bakshi; Iddo Bentov; Andrew Miller 001; Sarah Meiklejohn (IACR Cryptol. ePrint Arch., 2018)

Dandelion++: Lightweight Cryptocurrency Networking with Formal Anonymity Guarantees. - Giulia Fanti; Shaileshh Bojja Venkatakrishnan; Surya Bakshi; Bradley Denby; Shruti Bhargava; Andrew Miller 001; Pramod Viswanath (Proc. ACM Meas. Anal. Comput. Syst., 2018)

An Empirical Analysis of Traceability in the Monero Blockchain. - Malte Möser; Kyle Soska; Ethan Heilman; Kevin Lee; Henry Heffan; Shashvat Srivastava; Kyle Hogan; Jason Hennessey; Andrew Miller 001; Arvind Narayanan; Nicolas Christin (Proc. Priv. Enhancing Technol., 2018)

HoneyBadgerMPC and AsynchroMix: Practical Asynchronous MPC and its Application to Anonymous Communication. - Donghang Lu; Thomas Yurek; Samarth Kulshreshtha; Rahul Govind; Aniket Kate; Andrew Miller 001 (CCS, 2019)

Sprites and State Channels: Payment Networks that Go Faster Than Lightning. - Andrew Miller 001; Iddo Bentov; Surya Bakshi; Ranjit Kumaresan; Patrick McCorry (Financial Cryptography, 2019)

TxProbe: Discovering Bitcoin's Network Topology Using Orphan Transactions. - Sergi Delgado-Segura; Surya Bakshi; Cristina Pérez-Solà; James Litton; Andrew Pachulski; Andrew Miller 001; Bobby Bhattacharjee (Financial Cryptography, 2019)

Short Paper: I Can't Believe It's Not Stake! Resource Exhaustion Attacks on PoS. - Sanket Kanjalkar; Joseph Kuo; Yunqi Li 002; Andrew Miller 001 (Financial Cryptography, 2019)

You Sank My Battleship! A Case Study to Evaluate State Channels as a Scaling Solution for Cryptocurrencies. - Patrick McCorry; Chris Buckland; Surya Bakshi; Karl Wüst; Andrew Miller 001 (Financial Cryptography Workshops, 2019)

Outguard: Detecting In-Browser Covert Cryptocurrency Mining in the Wild. - Amin Kharraz; Zane Ma; Paul Murley; Charles Lever; Joshua Mason; Andrew Miller 001; Nikita Borisov; Manos Antonakakis; Michael D. Bailey (WWW, 2019)

Brief Note: Asynchronous Verifiable Secret Sharing with Optimal Resilience and Linear Amortized Overhead. - Aniket Kate; Andrew Miller 001; Tom Yurek (CoRR, 2019)

ILC: A Calculus for Composable, Computational Cryptography. - Kevin Liao; Matthew A. Hammer; Andrew Miller 001 (IACR Cryptol. ePrint Arch., 2019)

HoneyBadgerMPC and AsynchroMix: Practical AsynchronousMPC and its Application to Anonymous Communication. - Donghang Lu; Thomas Yurek; Samarth Kulshreshtha; Rahul Govind; Rahul Mahadev; Aniket Kate; Andrew Miller 001 (IACR Cryptol. ePrint Arch., 2019)

Secure Brokered Delegation Through DelegaTEE. - Moritz Schneider 001; Sinisa Matetic; Ari Juels; Andrew Miller 001; Srdjan Capkun (IEEE Secur. Priv., 2019)

CanDID: Can-Do Decentralized Identity with Legacy Compatibility, Sybil-Resistance, and Accountability. - Deepak Maram; Harjasleen Malvai; Fan Zhang 022; Nerla Jean-Louis; Alexander Frolov; Tyler Kell; Tyrone Lobban; Christine Moy; Ari Juels; Andrew Miller 001 (IACR Cryptol. ePrint Arch., 2020)

The Ekiden Platform for Confidentiality-Preserving, Trustworthy, and Performant Smart Contracts. - Fan Zhang 022; Warren He; Raymond Cheng 001; Jernej Kos; Nicholas Hynes 001; Noah M. Johnson; Ari Juels; Andrew Miller 001; Dawn Song (IEEE Secur. Priv., 2020)

Publicly Auditable MPC-as-a-Service with succinct verification and universal setup. - Sanket Kanjalkar; Ye Zhang; Shreyas Gandlur; Andrew Miller 001 (EuroS&P Workshops, 2021)

An Empirical Analysis of Privacy in the Lightning Network. - George Kappos; Haaroon Yousaf; Ania M. Piotrowska; Sanket Kanjalkar; Sergi Delgado-Segura; Andrew Miller 001; Sarah Meiklejohn (Financial Cryptography (1), 2021)

Practical Asynchronous Distributed Key Generation. - Sourav Das 001; Tom Yurek; Zhuolun Xiang; Andrew Miller 001; Lefteris Kokoris-Kogias; Ling Ren 001 (IACR Cryptol. ePrint Arch., 2021)

hbACSS: How to Robustly Share Many Secrets. - Thomas Yurek; Licheng Luo; Jaiden Fairoze; Aniket Kate; Andrew Miller 001 (IACR Cryptol. ePrint Arch., 2021)

Exploring Security Practices of Smart Contract Developers. - Tanusree Sharma; Kyrie Zhixuan Zhou; Andrew Miller 001; Yang Wang 005 (CoRR, 2022)

Long Live The Honey Badger: Robust Asynchronous DPSS and its Applications. - Thomas Yurek; Zhuolun Xiang; Yu Xia 005; Andrew Miller 001 (IACR Cryptol. ePrint Arch., 2022)

A Mixed-Methods Study of Security Practices of Smart Contract Developers. - Tanusree Sharma; Kyrie Zhixuan Zhou; Andrew Miller 001; Yang Wang 005 (USENIX Security Symposium, 2023)

Unpacking How Decentralized Autonomous Organizations (DAOs) Work in Practice. - Tanusree Sharma; Yujin Kwon; Kornrapat Pongmala; Henry Wang; Andrew Miller 001; Dawn Song; Yang Wang 005 (CoRR, 2023)

SoK: Data Sovereignty. - Jens Ernstberger; Jan Lauinger; Fatima Elsheimy; Liyi Zhou; Sebastian Steinhorst; Ran Canetti; Andrew Miller 001; Arthur Gervais; Dawn Song (IACR Cryptol. ePrint Arch., 2023)

SGXonerated: Finding (and Partially Fixing) Privacy Flaws in TEE-based Smart Contract Platforms Without Breaking the TEE. - Nerla Jean-Louis; Yunqi Li 002; Yan Ji 001; Harjasleen Malvai; Thomas Yurek; Sylvain Bellemare; Andrew Miller 001 (IACR Cryptol. ePrint Arch., 2023)

Ratel: MPC-extensions for Smart Contracts. - Yunqi Li 002; Kyle Soska; Zhen Huang; Sylvain Bellemare; Mikerah Quintyne-Collins; Lun Wang 001; Xiaoyuan Liu; Dawn Song; Andrew Miller 001 (IACR Cryptol. ePrint Arch., 2023)

Unpacking How Decentralized Autonomous Organizations (DAOs) Work in Practice. - Tanusree Sharma; Yujin Potter; Kornrapat Pongmala; Henry Wang; Andrew Miller 001; Dawn Song; Yang Wang 005 (ICBC, 2024)

SoK: SGX.Fail: How Stuff Gets eXposed. - Stephan van Schaik; Alexander Seto; Thomas Yurek; Adam Batori; Bader AlBassam; Daniel Genkin; Andrew Miller 001; Eyal Ronen; Yuval Yarom; Christina Garman (SP, 2024)

Future of Algorithmic Organization: Large-Scale Analysis of Decentralized Autonomous Organizations (DAOs). - Tanusree Sharma; Yujin Potter; Kornrapat Pongmala; Henry Wang; Andrew Miller 001; Dawn Song; Yang Wang 005 (CoRR, 2024)

PROF: Protected Order Flow in a Profit-Seeking World. - Kushal Babel; Nerla Jean-Louis; Yan Ji 001; Ujval Misra; Mahimna Kelkar; Kosala Yapa Mudiyanselage; Andrew Miller 001; Ari Juels (IACR Cryptol. ePrint Arch., 2024)

OML: Open, Monetizable, and Loyal AI. - Zerui Cheng; Edoardo Contente; Ben Finch; Oleg Golev; Jonathan Hayase; Andrew Miller 001; Niusha Moshrefi; Anshul Nasery; Sandeep Nailwal; Sewoong Oh; Himanshu Tyagi; Pramod Viswanath (IACR Cryptol. ePrint Arch., 2024)

The Sting Framework: Proving the Existence of Superclass Adversaries. - Mahimna Kelkar; Yunqi Li 002; Nerla Jean-Louis; Carolina Ortega Pérez; Kushal Babel; Andrew Miller 001; Ari Juels (IACR Cryptol. ePrint Arch., 2024)

Practical Proofs of Parsing for Context-free Grammars. - Harjasleen Malvai; Gregory Neven; Andrew Miller 001; Siam Hussain (IACR Cryptol. ePrint Arch., 2024)

SGXonerate:Finding (and Partially Fixing) Privacy Flaws in TEE-based Smart Contract Platforms Without Breaking the TEE. - Nerla Jean-Louis; Yunqi Li 002; Yan Ji 001; Harjasleen Malvai; Thomas Yurek; Sylvain Bellemare; Andrew Miller 001 (Proc. Priv. Enhancing Technol., 2024)