Formal Verification of Financial Protocols | Martin Lundfall

Martin Lundfall: "Smart contracts as inductive systems"Подробнее

Formal verification: the road to complete security of smart contracts - Martin LundfallПодробнее

Formal Verification TalkПодробнее

Formal Verification: The Road to Complete Security of Smart Contracts - SBC '19Подробнее

Formal Verification of Smart Contracts with the th2 Automation FrameworkПодробнее

Specifying & verifying Solidity contracts by Martin LundfallПодробнее

Formal Verification of Smart Contracts and Protocols: What, Why, How (Devcon5)Подробнее

Formal Verification of Smart Contracts - Yoichi HiraiПодробнее

LPC2019 - Formal verification made easy (and fast)!Подробнее

SREcon19 Europe/Middle East/Africa - Applicable and Achievable Formal VerificationПодробнее

EthCC 2: Martin LundfallПодробнее

КУРС ДОЛЛАРА - новые рекорды! Акции РФ, Юань, Нефть.Подробнее

Formal Specification and Verification of the Distributed Validator Technology protocolПодробнее

Formally Verified EVM Golf and Reverse Bug Bounties by Martin Lundfall, Lev Livnev (Devcon5)Подробнее

"Formally Verifying Everybody's Cryptography" by Mike Dodds, Joey Dodds (Strange Loop 2022)Подробнее