DEVCON1: Towards Imandra Contracts: Formal verification for Ethereum - Grant Passmore
Imandra Contracts Formal Verification for Ethereum - Dr. Grant Passmore and Evgeny Gokhberg
Formal Verification and Security Panel @ ETHDenver
DEVCON1: Formal Semantics for Protocols - Peter McBurney
Panel Smart Contract Security in Ethereum
Relational Program Verification and Probabilistic Couplings - Gilles Barthe
Ferris Makes Hardware Ep.007 - Formal Verification
Smart Contract Security
DEVCON1: Towards safer languages for smart contracts - Jack Pettersson, Robert Edström
DEVCON1: Mix - Arkadiy Paronyan
Escrow dapp by smart contract 2 by Fabian Vogelsteller, Lead dapp developer of Ethereum
DEVCON1: Scalable Blockchains & Asynchronous Programming - Vitalik Buterin
DEVCON1: IBM MTN Project - Henning Diedrich
Full Stack on Ethereum - Roman Mandeleil
DEVCON1: Casper - Vlad Zamfir
ENS Ethereum Domain Name System
DEVCON1 : Communicating the Ethereum Narrative - William Mougayar
DEVCON1: Raiden: Scaling Out With Offchain State Networks - Heiko Hees
Investing in DeFi with Re7 Capital: yield, risk management, data, valuation | Fundamentals ep.79
globe | Talks with traders #23 - Re7 Capital, Evgeny Gokhberg
How DeFi & Metaverse can Solve Inequality | Evgeny from Re7 Capital
RE7 Capital Interview with Evgeny Gokhberg | Trader Insights
