Security
Keeping contracts, protocols, treasuries, and keys safe.
2258 talks
- Day 2: Christian Cachin (IBM Research)
- #239 Grigore Rosu: The K framework - a framework to formally define all programming languages
- #238 Dr. Amrit Kumar & Dr. Ilya Sergey: Scilla – A Formal Verification Oriented Contract Language
- #231 Ajay Prakash & Gavin Brennen: Qubit Protocol – Quantum Computing & The Coming Threat to Crypto
- J2 RF 01 Makoto Inoue Managing a legacy Dapp
- J2 RF 08 Daniel Nagy Swarm
- J3 SAY 07 MacLane Wilkinson, decentralized Key Management
- J3 SAY 06 Nicolas Bacca Securing decentralized exchanges with hardware wallets
- J1 RF 02 Casey Detrio fuzzing
- J3 FA 02 Hugh Karp Insurance for smart contracts
- J1 PAIN 04 Matthew Di Ferrante Cryptographic Approaches to Smart Contract Privacy & Scalability
- J1 PAIN 05 Silur Sublinear improvements in ringCT and blockchainagnostic implementation
- The Antifragility Of Bitcoin
- Trust No One: Custodianship And The Importance Of Securing Digital Assets
- Griefing opportunities in Kleros
- Mining Pools and miner attacks
- #220 Manuel Araoz: Zeppelin and the Evolution of Smart Contract Development
- #212 Adam Perlow & Asher Manning: Zen Protocol - A Decentralized Financial System
- Panel: USCC – The Underhanded Solidity Coding Contest
- Challenges Ahead for Smart Contracts
- Enter the Hydra – An Experimental Approach to Smart Contract Security
- Panel: Formal Verification
- Ethereum Security
- Pluggable crypto for Ethereum nodes: Masterchain experience