Dedaub is heading to Cannes! As a WAGMI sponsor at EthCC[8], we’re bringing end-to-end smart contract security, …

DeFi Needs Firewalls: From Program Analysis to Real-World Defense A conversation between Mitchell Amador (CEO, Immunefi) and Yannis Smaragdakis (Co-founder, Dedaub) Introduction In this conversation, Dedaub co-founder Yannis Smaragdakis and Mitchell Amador (CEO of Immunefi) discuss the evolution of smart contract security, drawing on decades of program analysis research and hands-on experience securing real-world DeFi protocols.

Introduction to Move The Move language is a next-generation smart contract programming language originally designed for the Libra (later Diem) blockchain, a project since discontinued. Today, Move powers platforms like Aptos and Sui. Its hallmark is a focus on safety and expressiveness, particularly regarding digital assets. It enforces strong resource semantics, making it difficult to accidentally lose or duplicate tokens, a significant advantage over traditional smart contract languages. The Early Days: Move and (the Lack of) Reentrancy In web3 security, reentrancy vulnerabilities are notorious for enabling high-profile exploits (such as the DAO hack on Ethereum). Reentrancy refers to the execution of a second call to a contract before the first invocation is completed. Move, by design, did not support reentrancy in its early versions.

Trends New ERC-20 token creation on Ethereum YTD has increased by ~15% vs. 2024 (same period). At the same time, ERC-20 transfers on Ethereum YTD are up ~36% vs. 2024 (same period), with over 660M transfers expected by end-2025. Bar chart comparing the number of ERC-20 tokens created on Ethereum between January 1 and September 3 over two years. In 2024, 160,807 tokens were created, shown as a purple bar. In 2025, 185,745 tokens were created, shown as a cyan bar.

DeFi Needs Firewalls: From Program Analysis to Real-World Defense A conversation between Mitchell Amador (CEO, …

Introduction to Move The Move language is a next-generation smart contract programming language originally designed for …

Trends New ERC-20 token creation on Ethereum YTD has increased by ~15% vs. 2024 (same period). At the same time, ERC-20 …