Skip to main content
Home
Blog
Publications
Archive
Archive
2023
February 20 - Verifying Rust: Exploring Verification Options for Substrate
2022
February 21 - Lean Execution: How to Stay Focused
2020
February 20 - Stealing All of Maker's Collateral
2018
September 12 - Analyzing Bitcoin smart contracts from a mechanism design perspective
November 6 - Analysing Ethereum contract gas costs during development
2017
January 10 - dInvest - hedge fund on a blockchain
January 12 - Breaking captchas: Using deep learning to automatically break CAPTCHAs
February 10 - Quantitative finance with zipline
February 14 - Integrating Python and Ethereum