Our mission is to build resilient public infrastructure for the world’s data.
- We are having a weekly ZK-SNARK reading group! (schedule)
- 5th annual IC3 blockchain Camp held virtually.
- Professor Andrew Miller has been awarded an NSF CAREER Award to continue development of SaUCy and sharded MPC.
- HoneyBadgerMPC has been accepted at CCS.
- Visiting student Aman Ladia developed ZeroWallet
- Rahul Mahadev’s blog speculative execution hazards on HyperLedger Fabric out
- Kevin Liao’s work on SaUCy accepted at PLDI. (eprint)
- Three papers accepted at FC 2019: TxProbe, Sprites and I can’t believe It’s not Stake!
We support and learn from cutting-edge cryptocurrencies (like Bitcoin, Ethereum, Zcash, and more)
- Deploying system chaincodes on Hyperledger Fabric [blog]
- Fake Stake attacks on chain based Proof-of-Stake currencies [paper] [Github] (Blog in English, Russian translation, Chinese translation)
- Cryptocurrency Network Measurement
- New MOOC about Smart Contract Security [videos]
- Previous courses
- Member of the Initiative for Cryptocurrencies and Contracts (IC3)
- Smart contract security – (Video: Ethereum isn’t Turing Complete and it doesn’t matter anyway) [Ethereum Lab] [Blog posts on hackingdistributed]
- Allofthecoins – docker infrastructure for running cryptocurrencies in sandboxes [github]
- Shadow Bitcoin – simulation framework for cryptocurrency networks [github] [paper]
We create Blockchain technology. Many industries, including finance, healthcare, and more, would benefit from more automation and more information sharing, but security concerns remain an obstacle. The “Blockchain” movement is an industry-wide effort to solve this problem by building new platforms for shared data, with security designed-in from the start. We contribute by making fundamental advances that combine techniques from fault-tolerant and dependable/reliable systems, cryptography, and programming languages.
- CanDID: Decentralized Identity Realization
- Sharded MPC: Scalable Privacy-preserving Computing Platform
- SaUCy and ILC: Programming language for composable cryptography
- HoneyBadgerMPC: Confidentiality for Consortium Blockchains
- HoneyBadgerBFT: an improved fault tolerant consensus protocol
- Off-chain Smart Contracts: Sprites and PISA (https://www.pisa.watch/)
- Asst. Prof. Andrew Miller
- Surya Bakshi (Ph.D., ECE) [master thesis]
- Tom Yurek (Ph.D., CS)
- Yunqi Li (Ph.D., ECE)
- Nerla Jean-Louis (Ph.D., CS)
- Luke Myers (Ph.D., CS)
- Amit Agarwal (Ph.D., CS)
- Mikerah Quintyne-Collins
- Harjasleen Malvai (Cornell)
- Jun-You Liu (Cornell)
- Sanket Kanjalkar (Masters, CS) Now at Blockstream [thesis]
- Shreyas Gandlur (Undergrad, ECE) Now a Ph.D. student at Princeton [thesis]
- Hanyun Xu (Masters, CS)
- Kevin Liao (Masters, CS) Now a Ph.D. student at MIT [thesis]
- Rahul Mahadev (Masters, CS) Now at Databricks [thesis]
- Samarth Kulshreshtha (Masters, CS) Now at Google [thesis]
- Xiaoyao Qian (Masters, CS) Now at Twitter [thesis]
- Chris Cordi (Masters, CS) Now at Sandia [thesis]
- Drake Eidukas (Undergrad, CS) Now at Citadel
- Kevin Lee (Undergrad, ECE) Now a Ph.D. student at Princeton
- Abhiram Kothapalli (Undergrad, CS) Now a Ph.D. student at CMU
- Sergi Delgado Segura (visitor) PISA research
- Patrick McCorry (visitor) PISA research
Decentralized Systems Lab is part of Security and Privacy Research @ Illinois (SPR@I).