Security
Keeping contracts, protocols, treasuries, and keys safe.
2258 talks
- Formal Verification of Smart Contracts Made Easy (Devcon5)
- Fully Automated Inductive Invariants Inference for Solidity Smart Contracts by Leo Alt (Devcon5)
- Panel: Least Authority's ProgPoW Audit (Devcon5)
- How to Make Ethereum Really Trustless? by Alexander Praetorius, Nina Breznik (Devcon5)
- Handel: Practical Multi-Signature Aggregation for Large Byzantine Committees (Devcon5)
- How I Got SIM Swapped -- and How to Protect Yourself - Ep.105
- Vulnerability Coordination and Incident Response in a Decentralized World by Jessy Irwin (Devcon5)
- Sharing Security Between 1st Layer Blockchains by Sora Suegami (Devcon5)
- The Inner Workings of a Smart Contract Decompiler by Tomasz Kolinko (Devcon5)
- Breaking Smart Contracts (Devcon5)
- Formally Verified EVM Golf and Reverse Bug Bounties by Martin Lundfall, Lev Livnev (Devcon5)
- Building a Formally-Verified DApp with the Reach DSL, today! by Jay McCarthy (Devcon5)
- Keycard: An Open Source Smartcard Hardware Wallet Framework (Devcon5)
- How Do We Make Dapps as Secure as the Underlying Ethereum by Weiwu Zhang (Devcon5)
- KeySpace: End-to-End Encryption using Ethereum and IPFS by Samuel Walker (Devcon5)
- Make the Tests Feel the User's Pain: E2E Testing for dApps by Carlos Gonzalez
- K Semantic Model of Beacon Chain by Daejun Park (Devcon5)
- PoS Security and Ethylene by Emin Gün Sirer (Devcon5)
- Designing Smart Contracts With Free Will by Philip Daian (Devcon5)
- Grantee Exposé Lightning Talk 1 - Formality: An efficient proof language by John Burnham (Devcon5)
- Ethereum 2.0 Security Considerations by Adrian Manning & Paul Hauner (Devcon5)
- Finding the Simplest Path to Digital Sovereignty & Security by Paul Gardnerstephen (Devcon5)
- Protecting The Baselayer - from Shanghai to Osaka by Martin Holst Swende (Devcon5)
- How We Think About Storing Crypto is Broken by Cameron Robertson (Devcon5)