View Proposal

Proposer
Oleksandr Letychevskyi
Title
Research on the use of formal methods in the verification of the property of resistance to attacks in the blockchain.
Goal
Study of formal methods usage in blockchain attack resistance property.
Description
Create a formal model of the selected consensus algorithm (Proof of stake, proof of delegated stake, etc.) in the form of a formal model, which can be represented as an automaton, a Petri net, or another type of transition system or process algebra. Consider attacks on the blockchain such as double spending, Sybil attacks, or others. Create a method or use existing algorithms of the model-checking and prove the possibility of an attack under certain conditions (for example, the number of attackers in the network is more than 50%).
Resources
Background
Url
Difficulty Level
High
Ethical Approval
None
Number Of Students
2
Supervisor
Oleksandr Letychevskyi
Keywords
blockchain, formal verification, double spending attack
Degrees
Back to List