This page shows all presentations of this author published in EasyChair Smart Slide.
Dione: A protocol verification system built with Dafny for I/O Automata
Chiao Hsieh and Sayan Mitra