I’m a computer science PhD student at the University of Maryland, in the Cybersecurity Center (MC2) and programming language lab (PLUM). My research interests include distributed systems, programming languages, and cryptography. I’m especially interested in peer-to-peer networks and emergent decentralized systems, like Bitcoin. My advisors are Jonathan Katz, Elaine Shi, and Michael Hicks.
- As of Fall 2016, I'll be joining University of Illinois at Urbanan-Champaign as an Assistant Professor, in Computer Engineering and in Computer Science.
Currently on the job market, looking for a tenure-track faculty position starting Fall 2016. (research) (teaching)
- Associate Director of the Initiative for Cryptocurrencies and Contracts (IC3) at Cornell
- Advisor to the zcash project
Computer Security and Cryptocurrency Research
- 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.
- 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. February 2016. (To appear)
- 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. 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.
- 2014-2015: Bitcoin and Cryptocurrency Technologies - Coursera MOOC., with Arvind Narayanan, Joseph Bonneau, and Ed Felten.
- Spring 2015: I am co-instructing CMSC 818I: Science of Crypto-Currency. with my advisor, Elaine Shi.
- Fall 2015: "Blockchain/Decentralized Systems" track, part of Berkeley CS 294-116: Secure and Intelligent Programming with Dawn Song.
- Course materials on Smart Contract Programming (upcoming)
Preprints and Tech Reports
- The Honey Badger of BFT Protocols. Andrew Miller, Yu Xia, Kyle Croman, Elaine Shi, and Dawn Song. ONLINE PREPRINT. 2016
- 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.
- (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)
- I was named a 2015 Outstanding Graduate Assistant by the UMD Graduate School.
- UMD team creates computer program to replace paper contracts Article in Diamondback, April 07 2015
- Cryptocurrencies, Reliable Storage, and Andrew Miller Article in Shell Magazine (CS department) Spring 2015.
- MC2 Doctoral Student Spreads His Wealth of Bitcoin Knowledge UMIACS Newsletter, Feb 20 2015
- Bitcoin continues to grow but university researchers suggest some changes Article in Diamondback, April 30 2014
- U. researchers develop Bitcoin prediction market Article in the Daily Princetonian, Jan 5 2014
- quoted saying nothing important in this article from Monitor Frontier Markets
- Computer Science Department PhD Candidates Brandyn White and Andrew Miller are making it easier to program Google Glass with WearScript
- 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)