Tips on how to manage your PhD stipend FIND OUT MORE
Martin Luther University of Halle-Wittenberg Featured PhD Programmes
University of West London Featured PhD Programmes
University of Edinburgh Featured PhD Programmes

Application Level Verification of Solidity Smart Contracts


Department of Computer Science

Applications accepted all year round Funded PhD Project (Students Worldwide)

About the Project

Smart contracts running in a blockchain environment (e.g. ones written in Solidity running on an Ethereum blockchain) need to consist of well defined atomic state updates; otherwise, the properties of the on-chain state become meaningless. Essentially, blockchain transactions need to enjoy the well-known ACID properties familiar from the database world. The (D)urability aspect of such transactions implies that it is practically impossible to back out of a running smart contract once it is live on the blockchain.

So, smart contracts need to be right the first time, and for this, formal verification can play a vital role. Event-B is a formalism for modelling and verifying systems whose behaviour consists of well defined atomic state updates, and is supported by the open-source Rodin toolset. This project aims to explore the feasibility of the basic Event-B framework for designing and verifying Solidity smart contracts and, will build a suitable plugin that could be added to the Rodin tool to support the design of such contracts. The project will investigate novel symbolic verification methods based on SAT modulo theories and abstract interpretation techniques in Rodin to check the discharged verification conditions.


Funding Notes

Candidates who have been offered a place for PhD study in the Department of Computer Science may be considered for funding by the Department. Further details on funding can be found at: View Website.

Email Now

Insert previous message below for editing? 
You haven’t included a message. Providing a specific message means universities will take your enquiry more seriously and helps them provide the information you need.
Why not add a message here

The information you submit to The University of Manchester will only be used by them or their data partners to deal with your enquiry, according to their privacy notice. For more information on how we use and store your data, please read our privacy statement.

* required field

Your enquiry has been emailed successfully





FindAPhD. Copyright 2005-2021
All rights reserved.