Papers (thesis) [4]
A curated list of papers ordered by number of citations. Last updated 2019-11-11
| # | Title | |
| 1. | Toychain: Formally Verified Blockchain Consensus George P\^ırlea. 2019 | |
| 2. | ON DEPLOYING SUCCINCT ZERO-KNOWLEDGE PROOFS Madars Virza. 2017 | |
| 3. | Practical Zero-Knowledge Arguments from Structured Reference Strings Maller, Mary. 2019 | |
| 4. | Deviant: A Mutation Testing Tool for Solidity Smart Contracts Chapman, Patrick. 2019 |