Security

Keeping contracts, protocols, treasuries, and keys safe.

2318 talks

• Stablecoins with MakerDAO | EthereumMadrid went to Berlin @Private Key Meetup
• Vitalik Buterin: DAO Lessons, Casper and Blockchain Interoperability (Episode 171)
• Directions in Smart Contract Research A Selection - Philip Daian
• Making Smart Contracts Smarter - Oyente - Loi Luu
• Imandra Contracts Formal Verification for Ethereum - Dr. Grant Passmore and Evgeny Gokhberg
• Panel Smart Contract Security in Ethereum
• Ethereum Security Overview
• Smart Contract Security Tips - Joseph Chow
• Visualizing Security - Raine Revere
• Formal Verification of Smart Contracts - Yoichi Hirai
• DigixGlobal’s security robustness and the Stablecoin, DGX
• Formal Verification for Solidity
• A Correct by Construction Asynchronous Casper Protocol
• Smart Contract Security
• The DAO explicado. Meetup Ethereum Madrid.
• EB136 – Arthur Breitman: Tezos - A Self-Amending Crypto-Ledger
• EB134 – Emin Gün Sirer And Vlad Zamfir: On A Rocky DAO
• EB130 – Erik Voorhees: Fooling The Fox - The Story Of The Shapeshift Hack
• Monadic Design Patterns for the Blockchain
• Towards Imandra Contracts: Formal verification for Ethereum
• Securing Ethereum
• Build your own blockchain
• EB79 – Rodolfo Novak: Coinkite And The Feature Factory
• Multi Protocol Peer Network Framework: Vision and Roadmap