devconnect arg / workshop security agents not alertsa new metalanguage for live threat detection in defi
- YouTube
- Details
Workshop: Security Agents, Not Alerts:A New Metalanguage for Live Threat Detection in DeFi
Duration: 00:50:19
Speaker:
Type: Talk
Expertise:
Event: Devcon
Date: Feb 2026
Build real-time monitoring agents that catch rugpulls, hacks, and invariant violations as they happen. This workshop introduces a novel metalanguage for expressing protocol logic and generating relational queries over live blockchain data with zero delay.
Speaker: Neville Grech, Co-founder, Dedaub.
About DSS
Every year, DSS brings together top minds in blockchain, auditing, and security — from white-hat hackers and protocol developers to academic researchers and industry leaders. The goal? To tackle the most pressing issues in DeFi security head-on — from smart contract exploits and cross-chain vulnerabilities to governance threats and beyond.
https://defisecuritysummit.org/
- Related
Devconnect
Talk
58:12
Demystifying MPC for coSNARKs: How to Collaboratively Prove Sumthing - DeFi Security Summit 2025
Speaker: Vesselin Velichkov, ZK Cryptography Researcher, OpenZeppelin We present Sumthing, a toy SNARK protocol designed to illustrate how multiple parties can collaboratively generate a proof of knowledge using MPC. With worked-out Sumcheck-based examples, we demystify MPC's role in coSNARKs and verifiable outsourced computation. About DSS Every year, DSS brings together top minds in blockchain, auditing, and security — from white-hat hackers and protocol developers to academic researchers and industry leaders. The goal? To tackle the most pressing issues in DeFi security head-on — from smart contract exploits and cross-chain vulnerabilities to governance threats and beyond. https://defisecuritysummit.org/
Devconnect
Talk
57:44
Formal Verification of Uniswap v4 Hooks - DeFi Security Summit 2025
Speaker: Jochen Hoenicke, Formal Verification Researcher, Certora In this talk you will learn the basics of formal verification and how to apply this to Uniswap hooks. We will show how we can formally model the Uniswap v4 infrastructure, particularly the PoolManager, to find bugs in the interaction between the hook and the pool and protect against unexpected attack vectors. About DSS Every year, DSS brings together top minds in blockchain, auditing, and security — from white-hat hackers and protocol developers to academic researchers and industry leaders. The goal? To tackle the most pressing issues in DeFi security head-on — from smart contract exploits and cross-chain vulnerabilities to governance threats and beyond. https://defisecuritysummit.org/
Devconnect
Talk
46:59
OpSec Fundamentals Web3: Hands-On Tools and Recom. for Everyday Security - DeFi Security Summit 2025
Speaker: Sven Igl, Security Researcher, Sherlock Individual OpSec is vital in Web3 to counter phishing and exploits. This workshop builds awareness and explores a variety of tools/techniques as examples, such as QubesOS for isolation, DangerZone for document interactions, secure multisig handling, and more. Practice mitigations for real-world personal security. About DSS Every year, DSS brings together top minds in blockchain, auditing, and security — from white-hat hackers and protocol developers to academic researchers and industry leaders. The goal? To tackle the most pressing issues in DeFi security head-on — from smart contract exploits and cross-chain vulnerabilities to governance threats and beyond. https://defisecuritysummit.org/
Devconnect
Talk
40:47
Streamlining Security Audits with AuditHub - DeFi Security Summit 2025
Speaker: Kostas Ferles, CTO, Veridise Security audits are complex and obscure processes that involve many critical decisions. AuditHub streamlines audits by introducing transparency and automation. The result? Efficient and better documented security audits for analysts and developers.Security audits are complex and obscure processes that involve many critical decisions. AuditHub streamlines audits by introducing transparency and automation. The result? Efficient and better documented security audits for analysts and developers. About DSS Every year, DSS brings together top minds in blockchain, auditing, and security — from white-hat hackers and protocol developers to academic researchers and industry leaders. The goal? To tackle the most pressing issues in DeFi security head-on — from smart contract exploits and cross-chain vulnerabilities to governance threats and beyond. https://defisecuritysummit.org/
Devconnect
Talk
46:02
The Art of Manually Guided Fuzzing - DeFi Security Summit 2025
Speaker: Jan Kalivoda, Tech Lead, Ackee Blockchain Manually Guided Fuzzing represents a paradigm shift in testing. Unlike random/property-based fuzzing, this approach puts testing back under your control, directing the process toward vulnerabilities with surgical precision. About DSS Every year, DSS brings together top minds in blockchain, auditing, and security — from white-hat hackers and protocol developers to academic researchers and industry leaders. The goal? To tackle the most pressing issues in DeFi security head-on — from smart contract exploits and cross-chain vulnerabilities to governance threats and beyond. https://defisecuritysummit.org/
Devconnect
Talk
50:21
What We Talk About When We Talk About DeFi in Europe - DeFi Security Summit 2025
Speaker: Vyara Savova, Policy Strategist, EUCI As the EU’s MiCA regulation begins to bite, questions of liability, governance and security in DeFi are no longer theoretical. This workshop probes how legal risk attaches to code—through smart contract design, MEV dynamics, and decentralised architecture. About DSS Every year, DSS brings together top minds in blockchain, auditing, and security — from white-hat hackers and protocol developers to academic researchers and industry leaders. The goal? To tackle the most pressing issues in DeFi security head-on — from smart contract exploits and cross-chain vulnerabilities to governance threats and beyond. https://defisecuritysummit.org/
Devcon
Talk
Keynote: Ethereum in 30 minutes
Vitalik Buterin, Founder of Ethereum, opens Devcon with a comprehensive overview of Ethereum’s evolution as a decentralized “world computer,” explaining its layer 1 trust machine and layer 2 scaling solutions for security and scalability, emphasizing improvements in decentralization and client diversity, and encouraging developers to build innovative applications that leverage Ethereum’s robust and evolving ecosystem.
Vitalik Buterin
Devcon
Talk
Keynote: Redefining boundaries in the Infinite Garden
Aya Miyaguchi, Executive Director of the Ethereum Foundation, opens Devcon by emphasizing the importance of nurturing Ethereum as an infinite garden—a decentralized, long-term ecosystem built on shared values, overlapping spheres of influence, and collaborative growth beyond singular control.
Aya Miyaguchi
Devcon
Talk
Keynote: This year in Ethereum
Josh Stark from EF Leadership opens Devcon with an overview of the Ethereum ecosystem's progress and status in 2024
Josh Stark
Devcon
Talk
34:14
The Value of Cryptocurrencies in Supporting Human Rights
Privacy and Free Expression
Kurt Opsahl