Towards Mechanising Probabilistic Properties of a Blockchain (CoqPL 2019 - The Fifth International Workshop on Coq for Programming Languages)

Blogs (1) >>

Sun 13 - Sat 19 January 2019 Cascais, Portugal

Who

Kiran Gopinathan, Ilya Sergey

Track

CoqPL 2019

Time Zone

The program is currently displayed in (GMT) Greenwich Mean Time : Belfast.

Use conference time zone: (GMT) Greenwich Mean Time : BelfastSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Sat 19 Jan 2019 11:15 - 11:40 at Sala VI - Contributed Talks 2 Chair(s): Enrico Tassi

Abstract

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.

File attachments

Presentation Slides (probchain_coqpl_presentation.pdf)	576KiB
Abstract (coqpl19-final13.pdf)	583KiB

Kiran Gopinathan

University College London

United Kingdom

Ilya Sergey

Yale-NUS College and National University of Singapore

Singapore