Talks and presentations (selected)

Mechanized Proof for the Libra Blockchain

May 27, 2020

Talk, TPBC Weekly seminar series, Barcelona, Spain

This talk presents formal methods work on the Diem (formerly Libra) blockchain, including a formalization of the safety of consensus in Coq.