Talks
Browse Ethereum conference talks and podcast episodes, newest first.
- Security Challenges of Aave Governance V3
- Biggest Hacks of 2023 (So Far)
- Quality of Auditors or Quantity?
- Optimizing Fuzzer Efficiency: A Benchmark for Smart Contract Invariant Tests
- Taking Compositionality Seriously
- DeFi Security Summit 2023: Day 2, 16 July
- Building a Strong Defense: Best Practices for Securing Web3 Protocols
- Bridges Panel
- Audits: Conventional vs Community Panel
- AI Extinction Risks: Challenges and Opportunities in Funding AI Safety
- Perpetual Archives as a Public Good
- Towards Adoption of Symbolic Execution for DeFi Security
- Modern Smart Contract Design and Security Without Compromise
- Security Principles for Designing Cross-Chain Messaging Protocols
- Deployment Validation and the Introduction of the DVF Standard: Enhancing the Security and Accountability of Blockchain Projects
- Cracking the Code: Uncovering DeFi Scams with Symbolic Execution
- Zero Knowledge Security in DeFi and elsewhere
- Securing Web3 Through Proactive Threat Prevention
- Breaking Digital Asset Custody Solutions
- Artizen Fund x Funding the Commons: A Mechanism Design Experiment in Participatory Capital Allocation for Public Goods
- Event Open, FtC Open
- 密码学系列课程8:zkSnark Groth16证明系统 p2
- Formal Verification Panel
- Stories from the Other Side of the Table: How Immunefi Is Fighting for You Behind the Scenes