I'm an Assistant Professor at the University of Illinois, Urbana-Champaign, in Computer Engineering and in Computer Science. I'm also an Associate Director of the Initiative for Cryptocurrencies and Contracts (IC3) at Cornell and an advisor to the zcash project. I received my Ph.D. from the University of Maryland Cybersecurity Center.
My research interests are broadly in computer security, and focused on the design of secure decentralized systems and cryptocurrencies. I combine techniques from programming languages, cryptography, and distributed computing.
NEW: Decentralized Systems Lab @ UIUC is hiring PhD students for Fall 2017!
- Spring 2017: ECE422/CS461: Introduction to Computer Security at UIUC
- Fall 2016: ECE/CS 598AM: Cryptocurrency Security (catalog) at UIUC
- 2014-2015: Bitcoin and Cryptocurrency Technologies - Coursera MOOC., with Arvind Narayanan, Joseph Bonneau, and Ed Felten.
- Spring 2015: CMSC 818I: Science of Crypto-Currency. with Elaine Shi.
- [Course materials] on Smart Contract Programming
Computer Security and Cryptocurrency Research
- Zero-Collateral Lotteries in Bitcoin and Ethereum. Iddo Bentov and Andrew Miller. To appear, Security and Privacy on the Blockchain, April 2017.
- SmartCast: An Incentive Compatible Consensus Protocol Using Smart Contracts. Abhiram Kothapalli, Andrew Miller, and Nikita Borisov. To appear, Workshop on Trustworthy Smart Contracts. April 2017.
- The Honey Badger of BFT Protocols. Andrew Miller, Yu Xia, Kyle Croman, Elaine Shi, and Dawn Song. CCS 2016
- Hawk: The Blockchain Model of Cryptography and Privacy-Preserving Smart Contracts. Ahmed Kosba, Andrew Miller, Elaine Shi, Zikai Wen, Charalampos Papamanthou. IEEE Security & Privacy (Oakland), May 2016. (Video!)
- Stubborn Mining: Generalizing Selfish Mining and Combining with an Eclipse Attack. Kartik Nayak, Srijan Kumar, Andrew Miller, Elaine Shi. IEEE Euro S&P. 2016.
- Non-outsourceable Scratch-Off Puzzles to Discourage Bitcoin Mining Coalitions. Andrew Miller, Elaine Shi, Ahmed Kosba, and Jonathan Katz. ACM Computer and Communications Security (CCS), October 2015.
- SoK: Research Perspectives and Challenges for Bitcoin and Cryptocurrencies. Joseph Bonneau, Andrew Miller, Jeremy Clark, Arvind Narayanan, Joshua A. Kroll, Edward W. Felten. IEEE Security & Privacy (Oakland), May 2015.
- Permacoin: Repurposing Bitcoin Work for Long-Term Data Preservation. Andrew Miller, Ari Juels, Elaine Shi, Bryan Parno, Jonathan Katz. IEEE Security & Privacy (Oakland), May 2014.
- Authenticated Data Structures, Generically. Andrew Miller, Michael Hicks, Jonathan Katz, Elaine Shi. ACM Symposium on Principles of Programming Languages (POPL). January, 2014. (project webpage)
- Shadow-Bitcoin: Scalable Simulation via Direct Execution of Multi-threaded Applications.. Andrew Miller, Rob Jansen. USENIX CSET Workshop, 2015. (code)
- On Scaling Decentralized Blockchains (A Position Paper). Kyle Croman, Christian Decker, Ittay Eyal, Adem Efe Gencer, Ari Juels, Ahmed Kosba, Andrew Miller, Prateek Saxena, Elaine Shi, Emin Gun Sirer, Dawn Song, Roger Wattenhofer. 3rd Workshop on Bitcoin and Blockchain Research. 3rd Workshop on Bitcoin and Blockchain Research. March 2016.
- Step by Step Towards Creating a Safe Smart Contract: Lessons and Insights from a Cryptocurrency Lab. Kevin Delmolino, Mitchell Arnett, Ahmed Kosba, Andrew Miller, and Elaine Shi. 3rd Workshop on Bitcoin and Blockchain Research. March 2016 (website)
- From Onions to Shallots: Rewarding Tor Relays with TEARS. Rob Jansen, Andrew Miller, Paul Syverson, and Bryan Ford. HotPETs. July 2014.
- On Decentralizing Prediction Markets and Order Books. Joseph Bonneau, Jeremy Clark, Edward Felten, Joshua Kroll, Andrew Miller and Arvind Narayanan. WEIS 2014. June 2014.
- FawkesCoin: Bitcoin without public-key crypto. Joseph Bonneau and Andrew Miller. 19th International Workshop on Security Protocols. Cambridge, UK, Mar 21 2014.
- Mixcoin: Anonymity for Bitcoin with accountable mixes. Arvind Narayanan, Joseph Bonneau, Andrew Miller, Jeremy Clark, Joshua Kroll. Financial Cryptography and Data Security. March 2014.
Preprints and Tech Reports
- Sprites: Payment Channels that Go Faster than Lightning. Andrew Miller, Iddo Bentov, Ranjit Kumaresan, and Patrick McCorry. ONLINE PREPRINT. 2017
- Instantaneous Decentralized Poker. Iddo Bentov, Ranjit Kumaresan, and Andrew Miller. ONLINE PREPRINT. 2017
- How to use SNARKs in Universally Composable Protocols. Ahmed Kosba, Zhichao Zhao, Andrew Miller, Hubert Chan, Charalampos Papamanthou, Rafael Pass, abhi shelat, Elaine Shi. ONLINE PREPRINT. 2015
- Discovering Bitcoin's Network Topology and Influential Nodes. Andrew Miller, James Litton, Andrew Pachulski, Neal Gupta, Dave Levin, Neil Spring, Bobby Bhattacharjee. ONLINE PREPRINT. 2015
- Pseudonymous Secure Computation from Time-Lock Puzzles. Jonathan Katz, Andrew Miller, and Elaine Shi. ONLINE PREPRINT. October 2014.
- Anonymous Byzantine Consensus from Moderately-Hard Puzzles: A Model for Bitcoin. Andrew Miller and Joseph J. LaViola Jr. University of Central Florida. Tech Report, CS-TR-14-01. April, 2014.
- 2016 Larry S. Davis Doctoral Dissertation Award (University of Maryland)
- (Program Committee member) Usenix Security, 2017
- (Program Committee chair) 4th Bitcoin Research Workshop, 2017
- (Program Committee member) Financial Cryptography, 2017
- (Program Committee member) IEEE Symposium on Security and Privacy, 2017
- (Program Committee member) Networked and Distributed Systems Security, 2017
- (Program Committee member) Scaling Bitcoin Workshop 2015
- (Program Committee member) ESP-DGC 2015
- (Program Committee member) 13th International Conference on Applied Cryptography and Network Security
- (Program Committee member) Bitcoin Research Workshop 2014-2016
- (Program Committee member) International Conference on Information and Computer Security (ICICS) 2014.
- Scanning Live Ethereum Contracts for the "Unchecked-Send" Bug (coauthored with Zikai Alex Wen)
- Bitcoin faces a crossroads, needs an effective decision-making process (coauthored with Arvind Narayanan)
- Why the Cornell Paper on Bitcoin Mining is Important (coauthored with Arvind Narayanan)
Commissioned security reports:
- Report: Security Audit of BTC Relay implementation
- Ethereum Analysis: Gas Economics and Proof of Work (with Least Authority)
- Feather-forks: enforcing a blacklist with sub-50% hash power
- Storing UTXOs in a Balanced Merkle Tree (zero-trust nodes with O(1)-storage)
- an explanation of TierNolan's atomic cross transaction technique
- Bitcoin as Lottery, Prospect Theory, and Unprofitable Mining
- Bitcoin Theory (Byzantine Generals and Beyond)
- A Non-Outsourceable puzzle to prevent hosted mining
- Reentrant [Ethereum] Contracts
Masters degree in computer science @ University of Central Florida:
- (Short Paper) The Effectiveness of an AR-based Context-Aware Assembly Support System in Object Assembly. Bui Minh Kuong, Kiyoshi Kiyokawa, Andrew Miller, Joseph J. LaViola Jr., Tomohiro Mashita, and Haruo Takemura. IEEE Virtual Reailty 2014.
- Interactive 3D Model Acquisition and Tracking of Building Block Structures. Andrew Miller, Brandyn White, Emiko Charbonneau, Zach Kanzler, Joseph J. LaViola Jr., IEEE Transactions on Visualization and Computer Graphics, and IEEE Virtual Reality. March 2012 (project website) (on github).
- Teach Me to Dance: Exploring Player Experience and Performance in Full Body Dance Games. Emiko Charbonneau, Andrew Miller, Joseph J. LaViola Jr. ACM Advances in Computer Entertainment Technology 2011. (ACE ‘11) (best paper award)
- VizWiz: Nearly Real-time Answers to Visual Questions. Bigham, Jayant, Li, Little, Miller, Miller, Miller, Tatarowicz, White, White, and Yeh. ACM International Cross Disciplinary Conference on Web Accessibility, 2010. (best paper award)
- A Vision-Based System for a UGV to Handle a Road Intersection. Javed Ahmed, Andrew Miller, Mubarak Shah, and Don Harper. AAAI 2009.
- Landing a UAV on a Runway using Image Registration. Andrew Miller, Mubarak Shah, and Don Harper. ICRA 2008.
- Foreground Segmentation in Surveillance Scenes Containing a Door. Andrew Miller and Mubarak Shah. IEEE Conference on Multimedia and Expo (ICME). Beijing, July 2007
Contact, references, links
- email firstname.lastname@example.org
- personal twitter (usually about research) Follow @socrates1024
- personal webpage http://soc1024.com/
- cv (google doc)
- I also do computer vision consulting work With Dapper Vision Inc., including OpenShades (tools for google glass)
Stickwheel - a completely practical, yet unusual, 1-wheeled electric vehicle. Compared to a Segway, it uses 50% fewer wheels. (youtube video)
- Textbook released, July 2016 http://bitcoinbook.cs.princeton.edu/
- Ethereum isn't Turing complete and it doesn't matter anyway. IC3 New York City Meetup. Aug 2016 (meetup) (video)
- Provable Security for Cryptocurrencies -- Thesis Defense for University of Maryland. July 19, 2016. (youtube)
- Epicenter Bitcoin interview. Dec 2015 (podcast)
- MIT Bitcoin Expo, Mar 8, 2015. (video)
- Nonoutsourceable puzzles. DCAPS, Mar 5, 2015. (slides)
- Game Theory at Hasher's United Conference. Las Vegas, October 2014. (video)
- From Onions to Shallots: Rewarding Tor Relays with TEARS. HotPETS. Amsterdam, July 2014. (slides)
- Using the Shadow Simulator for Bitcoin analysis and attacks. PETS (rump session). Amsterdam, July 2014.
- Pool Busting with "Nonoutsourceable" Bitcoin Puzzles. Workshop on Economics and Information Security (rump session). State College, PA, July 2014 (slides)
- Panel at Princeton Bitcoin and Cryptocurrency Research Conference on "Building collaborations between Bitcoin developers and researchers"
- Permacoin: Repurposing Bitcoin Work for Long-Term Data Preservation. DCAPS. Georgetown, DC, May 2014. (slides)
- Permacoin: Repurposing Bitcoin Work for Long-Term Data Preservation. IEEE Security and Privacy. San Jose, May 2014. (slides)
- Permacoin: Repurposing Bitcoin Work for Long-Term Data Preservation. San Francisco Ethereum Meetup. San Francisco, May 2014. (slides) (video)
- Towards a Better Concurrency Framework. UMD Crypto Reading Group. April 2014. (slides)
- Scratch-Off Puzzles with Side Effects and More. Princeton Bitcoin Research Workshop. March 2014 (slides)
- Why Wasn't Bitcoin Invented 15 Years Ago? Financial Cryptography (rump session). Barbados, March 2014. (slides)
- Authenticated Data Structures, Generically + Bitcoin. Guest Lecture, UMD Cloud Security class. February 2014. (slides)
- Authenticated Data Structures, Generically. POPL. San Diego, January 2014. (slides)
- Intro to Bitcoin Research. UMD Crypto Reading Group. December 2013. (slides)
- Computational Puzzles. UMD Systems Chat. February 2013. (slides)