Preprints

• A. Hicks, V. Mavroudis, M. Al-Bassam, S. Meiklejohn and S.J. Murdoch. VAMS: Verifiable Auditing of Access to Confidential Data
• P. McCorry, S. Bakshi, I. Bentov, S. Meiklejohn and A. Miller. Pisa: Arbitration Outsourcing for State Channels
• S. Azouvi, P. McCorry, S. Meiklejohn. Betting on Blockchain Consensus with Fantomette
• E. Kokoris-Kogias, E.C. Alp, S.D. Siby, N. Gaillya, P. Jovanovic, L. Gasser and B. Ford. Hidden in Plain Sight: Storing and Managing Secrets on a Public Ledger
• E. Cecchetti, I. Miers and A. Juels. PIEs: Public Incompressible Encodings for Decentralized Storage
• I. Bentov, Y. Ji, F. Zhang, Y. Li, X. Zhao, L. Breidenbach, P. Daian and A. Juels. Tesseract: Real-Time Cryptocurrency Exchange Using Trusted Hardware
• R. Cheng, F. Zhang, J. Kos, W. He, N. Hynes, N. Johnson, A. Juels, A. Miller and D. Song. Ekiden: A Platform for Confidentiality-Preserving, Trustworthy, and Performant Smart Contract Execution
• P. Daian, R. Pass and E. Shi. Snow White: Provably Secure Proofs of Stake

Published Papers

• E. Hildenbrandt, M. Saxena, X. Zhu, N. Rodrigues, P. Daian, D. Guth and G. Rosu. KEVM: A Complete Semantics of the Ethereum Virtual Machine. At CSF 2018
• I. Tsabary and I. Eyal. The Gap Game. ACM CCS, 2017.
• G. Kappos, H. Yousaf, M. Maller and S. Meiklejohn. An Empirical Analysis of Anonymity in Zcash. USENIX Security, 2018.
• S. Matetic, M. Schneider, A. Miller, A. Juels and S. Capkun. DelegaTEE: Brokered Delegation Using Trusted Execution Environments. USENIX Security, 2018.
• Y. Zhou, D. Kumar, S. Bakshi, J. Mason, A. Miller and M. Bailey. Erays: Reverse Engineering Ethereum's Opaque Smart Contracts. USENIX Security, 2018.
• G. Fanti, S. Bakshi, S. Venkatakrishnan, A. Miller, B. Denby, S. Bhargava and P. Viswanath. Dandelion++: Lightweight Cryptocurrency Networking with Formal Anonymity Guarantees. ACM SIGMETRICS, 2018 (to appear).
• K. Lee and A. Miller. Authenticated Data Structures for Privacy-Preserving Monero Light Clients. IEEE Security & Privacy on the Blockchain, IEEE S&B, 2018 (to appear).
• A.E. Gencer, S. Basu, I. Eyal, R.V. Renesse and E.G. Sirer. Decentralization in Bitcoin and Ethereum Networks. Financial Cryptography and Data Security (FC), 2018.
• M. Möser, K. Soska, E. Heilman, K. Lee, H. Heffan, S. Srivastava, K. Hogan, J. Hennessey, A. Miller, A. Narayanan and N. Christin. An Empirical Analysis of Traceability in the Monero Blockchain. PETS, 2018.
• L. Breidenbach, P. Daian, F. Tramèr and A. Juels. Enter the Hydra: Towards Principled Bug Bounties and Exploit-Resistant Smart Contracts
• P. McCorry, A. Hicks and S. Meiklejohn. Smart Contracts for Bribing Miners. BITCOIN, 2018.
• F. Zhang, P. Daian, I. Bentov and A. Juels. Paralysis Proofs: Safe Access-Structure Updates for Cryptocurrencies and More. BITCOIN, 2018.
• S. Azouvi, M. Maller and S. Meiklejohn. Egalitarian Society or Benevolent Dictatorship: The State of Cryptocurrency Governance. BITCOIN, 2018.
• E. Kokoris-Kogias, P. Jovanovic, L. Gasser, N. Gailly, E. Syta and B. Ford. OmniLedger: A Secure, Scale-Out, Decentralized Ledger via Sharding. In IEEE Security and Privacy, 2018.
• R. Pass and E. Shi. FruitChains: A Fair Blockchain. PODC, 2017.
• R. Pass and E. Shi. Hybrid Consensus: Efficient Consensus in the Permissionless Model. DISC, 2017.
• R. Pass and E. Shi. The Sleepy Model of Consensus. ASIACRYPT, 2017.
• E. Cecchetti, F. Zhang, Y. Ji, A. Kosba, A. Juels and E. Shi. Solidus: Confidential Distributed Ledger Transactions via PVORM. ACM CCS, 2017.
• F. Zhang, I. Eyal, R. Escriva, A. Juels and R. V. Renesse. REM: Resource-Efficient Mining for Blockchains. USENIX Security, 2017.
• P. Daian, I. Eyal, A. Juels and G. Sirer. PieceWork: Generalized Outsourcing Control for Proofs of Work. BITCOIN, 2017.
• F. Tramer, F. Zhang, H. Lin, J.P. Hubaux, A. Juels and E. Shi. Sealed-Glass Proofs: Using Transparent Enclaves to Prove and Sell Knowledge.. IEEE Euro S&P, 2017.
• A. E. Gencer, R. V. Renesse and E. G. Sirer. Service-Oriented Sharding with Aspen. CoRR, 2016.
• M. Borge, E. Kokoris-Kogias, P. Jovanovic, L. Gasser, N. Gailly and B. Ford. Proof-of-Personhood: Redemocratizing Permissionless Cryptocurrencies. In IEEE Security and Privacy on the Blockchain, 2017.
• E. Syta, P. Jovanovic, E. Kokoris-Kogias, N. Gailly, L. Gasser, I. Khoffi, M.J. Fischer and B. Ford. Scalable Bias-Resistant Distributed Randomness. In IEEE Security and Privacy, 2017.
• K. Nikitin, E. Kokoris-Kogias, P. Jovanovic, N. Gailly, L. Gasser, I. Khoffi, J. Cappos and B. Ford. CHAINIAC: Proactive Software-Update Transparency via Collectively Signed Skipchains and Verified Builds. In USENIX Security Symposium, 2017.
• M. Milutinovic, W. He, H. Wu and M. Kanwal. 2016. Proof of Luck: an Efficient Blockchain Consensus Protocol.. In Proceedings of the 1st Workshop on System Software for Trusted Execution (SysTEX '16).
• K. Nayak, S. Kumar, A. Miller, E. Shi. Stubborn Mining: Generalizing Selfish Mining and Combining with an Eclipse Attack.. IEEE Euro S&P, 2016
• F. Zhang, E. Cecchetti, K. Croman, A. Juels and E. Shi. Town Crier: An Authenticated Data Feed for Smart Contracts. ACM CCS, 2016.
• A. Miller, Y. Xia, K. Croman, E. Shi and D. Song. The Honey Badger of BFT Protocols. ACM CCS, 2016.
• A. Juels, A. Kosba and E. Shi. The Ring of Gyges: Investigating the Future of Criminal Smart Contracts. ACM CCS, 2016.
• I. Eyal, A. E. Gencer, E. G. Sirer and R. V. Renesse. Bitcoin-NG: A Scalable Blockchain Protocol. NSDI, 2016.
• B. Marino and A. Juels. Setting Standards for Altering and Undoing Smart Contracts. Rule ML, 2016.
• K. Croman, C. Decker, I. Eyal, A.E. Gencer, A. Juels, A. Kosba, A. Miller, P. Saxena, E. Shi, E. G. Sirer, D. Song and R. Wattenhofer. On Scaling Decentralized Blockchains (A Position Paper). BITCOIN'16. (Full version here)
• E. Zhai, D.I. Wolinsky, R. Chen, E. Syta, C. Teng and B. Ford. AnonRep: Towards Tracking-Resistant Anonymous Reputation. In USENIX NSDI, 2016.
• E. Syta, I. Tamas, D. Visher, D.I. Wolinsky, P. Jovanovic, L. Gasser, N. Gailly, I. Khoffi and B. Ford. Keeping Authorities “Honest or Bust” with Decentralized Witness Cosigning. In IEEE Symposium on Security and Privacy, 2016.
• E.K. Kogias, P. Jovanovic, N. Gailly, I. Khoffi, L. Gasser and B. Ford. Enhancing Bitcoin Security and Performance with Strong Consistency via Collective Signing. In USENIX Security Symposium, 2016.
• A. Kosba, A. Miller, E. Shi, Z. Wen and C. Papamanthou. Hawk: The Blockchain Model of Cryptography and Privacy-Preserving Smart Contracts. IEEE S&P, 2015.
• A. Miller, A. Kosba, J. Katz, E. Shi. Nonoutsourceable Scratch-Off Puzzles to Discourage Bitcoin Mining Coalitions. ACM CCS 2015.
• A. Kiayias, Q.Tang. Traitor-deterring Schemes: Using Bitcoin as Collateral for Digital Contents. ACM CCS, 2015
• R. Pass and a. shelat. Micropayments for Decentralized Currencies. ACM CCS, 2015.
• A. Miller, J. Litton, A. Pachulski, N. Gupta, D. Levin, N. Spring and B. Bhattacharjee. Discovering bitcoin's public topology and influential nodes. Whitepaper, 2015.
• I. Eyal. The Miner's Dilemma. IEEE S&P, 2015.
• J. Bonneau, A. Miller, J. Clark, A. Narayanan, J. A. Kroll, E. W. Felten. SoK: Research Perspectives and Challenges for Bitcoin and Cryptocurrencies, IEEE S&P, 2015.
• A. Everspaugh, R. Chatterjee, S. Scott, A. Juels and T. Ristenpart. The Pythia PRF Service. USENIX Security, 2015. (Proposes a password-hardening system; securing Bitcoin brainwallets is one application.)
• A. Miller, R. Jansen. Shadow-Bitcoin: Scalable Simulation via Direct Execution of Multi-threaded Applications. USENIX CSET Workshop, 2015.
• I. Eyal and E. G. Sirer. Majority Is Not Enough: Bitcoin Mining Is Vulnerable. In Financial Cryptography and Data Security (FC), pp. 436-454, March 2014.
• A. Miller, A. Juels, E. Shi, B. Parno and J. Katz. Permacoin: Repurposing Bitcoin Work for Long-Term Data Preservation. IEEE Symposium on Security and Privacy (SP), 2014. (Note: Permacoin is an altcoin that "recycles" the resource costs of mining by creating a distributed storage system as a side-effect.)
• J. Bonneau, A. Narayanan, A. Miller, J. Clark, J. A. Kroll and E.W. Felten. Mixcoin: Anonymity for Bitcoin with accountable mixes. Financial Cryptography and Data Security, 2014.
• A. Miller and J.J. LaViola, Jr. Anonymous Byzantine Consensus from Moderately-hard puzzles: A Model for Bitcoin. (Tech Report) 2014.
• M. Ghosh, M. Richardson, B. Ford and R.Jansen. A TorPath to TorCoin: Proof-of-Bandwidth Altcoins for Compensating Relays. Workshop of Hot Topics in Privacy Enhancing Technologies 2014.
• S. Barber, X. Boyen, E. Shi and E. Uzun. Bitter to Better: How to Make Bitcoin a Better Digital Currency. In Financial Cryptography and Data Security (FC), 2012.
• B. Ford, J. Strauss, C. Lesniewski-Laas, S. Rhea, F. Kaashoek and R. Morris. Persistent Personal Names for Globally Connected Mobile Devices. In USENIX OSDI, 2006.
• M. Jakobsson and A. Juels. Proofs of Work and Bread Pudding Protocols. Communications and Multimedia Security (CMS), pp. 258-272, 1999.
• A. Juels. Trustee Tokens: Simple and Practical Tracing of Anonymous Digital Cash. Financial Cryptography, pp. 29-45, 1999.
• M. Jakobsson and A. Juels. X-Cash: Executable Digital Cash. Financial Cryptography, pp. 16-27, 1998