EthCC[9]
DeFi Day
Aave V4 and the End of Fragmented Liquidity
Unknown Type
Monday, March 30th 2026
16:05 - 16:35
Chaplin Stage
Description
Aave V4 and the End of Fragmented Liquidity
AI Agents and Automation
AI Composer - Safe Vibe Coding
Talk
Wednesday, April 1st 2026
14:55 - 15:15
Redford Stage
Description
LLMs generate code that appears correct yet omits critical security logic. In adversarial environments like DeFi, this is a structural failure, not a bug. This talk examines why GenAI cannot reason about adversaries, and why formal constraints are re
EthCC[8]
Security
Securing AI-Assisted DeFi Development with Formal Verification
Talk
Wednesday, July 2nd 2025
14:35 - 14:55
Redford Stage
Description
AI tools can generate or optimize smart contracts, but often introduce subtle bugs. This talk explores how formal verification can be used to validate AI output, catch edge cases, and guide models toward safer and more reliable code.