Martin Lundfall

Martin Lundfall worked on formal verification of smart contracts at Dapphub and MakerDAO, applying tools such as the K framework to Ethereum contracts. Lundfall was later a formal verification researcher at the Ethereum Foundation.

7 talks by Martin Lundfall

• Smart contracts as inductive systems
• Formally Verified EVM Golf and Reverse Bug Bounties by Martin Lundfall, Lev Livnev (Devcon5)
• All Core Devs - Execution #75
• ZKPodcast: Formal Verification with Martin Lundfall
• zkSummit - Lightning Talk: Martin Lundfall (Maker/Dapphub)
• EthCC 2: Martin Lundfall
• J2 SAY 07 Martin Lundfall Circles – Universal basic income on the blockchain