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