Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
POPL 2019 (series) / CoqPL 2019 (series) / The Fifth International Workshop on Coq for Programming Languages /

Towards Mechanising Probabilistic Properties of a Blockchain

Kiran Gopinathan, Ilya Sergey
CoqPL 2019
Sat 19 Jan 2019 11:15 - 11:40 at Sala VI - Contributed Talks 2 Chair(s): Enrico Tassi

We present our progress on the formalisation and mechanisation of a probabilistic model of a blockchain consensus protocol in Coq, taking steps towards the formal verification of its security properties, stated in terms of probabilities, in an adversarial environment.

Presentation Slides (probchain_coqpl_presentation.pdf)576KiB
Abstract (coqpl19-final13.pdf)583KiB
Kiran Gopinathan
Kiran Gopinathan
University College London
United Kingdom
Ilya Sergey
Ilya Sergey
Yale-NUS College and National University of Singapore
Singapore

Sat 19 Jan

CoqPL-2019
11:15 - 12:30: CoqPL - Contributed Talks 2 at Sala VI
Chair(s): Enrico TassiINRIA
CoqPL-201911:15 - 11:40
Talk
Kiran GopinathanUniversity College London, Ilya SergeyYale-NUS College and National University of Singapore
File Attached
CoqPL-201911:40 - 12:05
Talk
Karl PalmskogUniversity of Texas at Austin, Milos GligoricUniversity of Texas at Austin, Lucas PeñaUniversity of Illinois at Urbana-Champaign, Grigore RosuUniversity of Illinois at Urbana-Champaign
File Attached
CoqPL-201912:05 - 12:30
Talk
Thomas Dinsdale-Young, Bas SpittersAarhus University, Søren Eller ThomsenAarhus University, Daniel TschudiAarhus University
File Attached