Explore the intersection of blockchain technology and binary analysis in this 52-minute conference talk from NorthSec. Dive into the world of Ethereum, a decentralized computation platform that has gained significant popularity since its introduction in 2014. Learn about the importance of smart contract correctness and the financial implications of vulnerabilities in the Ethereum network. Discover the development of analysis tools for automated error and vulnerability discovery in smart contracts, with a focus on symbolic execution techniques. Gain insights into the technical challenges of combining symbolic execution with blockchain technology, including topics such as constraint solvers and virtual machine internals. Get introduced to Manticore, an open-source symbolic execution tool used to enhance smart contract security audits. Understand how these advancements in binary analysis contribute to improving the security and reliability of blockchain-based systems.