DEVCON1: Towards Imandra Contracts: Formal verification for Ethereum - Grant Passmore
Imandra Contracts Formal Verification for Ethereum - Dr. Grant Passmore and Evgeny Gokhberg
DEVCON1: Towards safer languages for smart contracts - Jack Pettersson, Robert Edström
DEVCON1: Formal Semantics for Protocols - Peter McBurney
Panel Smart Contract Security in Ethereum
DEVCON1: Mix - Arkadiy Paronyan
DEVCON1: Scalable Blockchains & Asynchronous Programming - Vitalik Buterin
Smart Contract Security
Relational Program Verification and Probabilistic Couplings - Gilles Barthe
DEVCON1 : Communicating the Ethereum Narrative - William Mougayar
DEVCON1: Casper - Vlad Zamfir
DEVCON1: Raiden: Scaling Out With Offchain State Networks - Heiko Hees
DEVCON1: IBM MTN Project - Henning Diedrich
Functional Safety and Formal Verification - with Dave Kelf of OneSpin Solutions
An introduction to K Lab (developed by DappHub)
Vitalik Buterin: Highlights from Devcon2 @KPMG – September 2016
Full Stack on Ethereum - Roman Mandeleil
Ferris Makes Hardware Ep.007 - Formal Verification
Escrow dapp by smart contract 2 by Fabian Vogelsteller, Lead dapp developer of Ethereum
