Verifying Distributed Ledger Technologies
Lead Research Organisation:
University of Surrey
Department Name: Computing Science
Abstract
My aim is to provide a formal verification of distributed ledger technology (DLT) algorithms to determine the correctness of the claims set forward by the creators.
In order to achieve this, I will be developing models, using formal modelling tools such as Event-B, and will formalise the claimed properties of the systems, such as immutability, internal consistency, and consistency of views. This will allow me to perform a formal and tool-supported analysis of the algorithms to investigate the claims made. This also provides the opportunity to correct, improve or optimise the DLT designs.
In order to achieve this, I will be developing models, using formal modelling tools such as Event-B, and will formalise the claimed properties of the systems, such as immutability, internal consistency, and consistency of views. This will allow me to perform a formal and tool-supported analysis of the algorithms to investigate the claims made. This also provides the opportunity to correct, improve or optimise the DLT designs.
Organisations
Studentship Projects
| Project Reference | Relationship | Related To | Start | End | Student Name |
|---|---|---|---|---|---|
| EP/N509772/1 | 01/10/2016 | 30/09/2021 | |||
| 1990423 | Studentship | EP/N509772/1 | 01/01/2018 | 31/01/2020 | JOHNNI Bech |