Security

Keeping contracts, protocols, treasuries, and keys safe.

2258 talks

• Oyente: Development update
• Random numbers on the blockchain
• Uport – Usable Key Management for Multiple Identities Across Multiple Chains
• Evolution of Smart Contract Security in the Ethereum Ecosystem
• The Melon security approach
• Hardening Smart Contracts with Hardware Security
• Securify: Not Your Grandma’s Smart Contract Verification
• Ethereum Protocol Testing
• Verifying Casper
• KEVM: Overview and Progress Report
• #208 : Post DevCon3 Roundtable: State of Ethereum, Cosmos Retreat and Parity Hack
• 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