ATTENTION/WARNING - NE PAS DÉPOSER ICI/DO NOT SUBMIT HERE

Ceci est la version de TEST de DIAL.mem. Veuillez ne pas soumettre votre mémoire sur ce site mais bien à l'URL suivante: 'https://thesis.dial.uclouvain.be'.
This is the TEST version of DIAL.mem. Please use the following URL to submit your master thesis: 'https://thesis.dial.uclouvain.be'.
 

Smart Contract modeling : comparison of techniques and concrete applications

Meerts, Martin ; Halbardier, Alexandre
(2021)

Files

Halbardier_58431400_Meerts_80721400_2021.pdf
  • Open access
  • Adobe PDF
  • 3.89 MB
Download

Details

Supervisors
Legay, Axel
Faculty
Ecole polytechnique de Louvain
Degree label
Master [120] : ingénieur civil en informatique, à finalité spécialisée
Abstract
A Smart Contract is an executable piece of code residing within a blockchain network. Users can interact with it and use it as an automatized third party, in order to ensure correct transactions. Once a Smart Contract has been deployed in the blockchain, its source code cannot technically be modified anymore. Unfortunately, users are able to interact with vulnerable contracts unconsciously and it may cost millions of dollars due to naive bugs leading to unexpected behaviours. A way to prevent those behaviours is by verifying Smart Contracts before their deployment. This master thesis approached this question by comparing three powerful techniques : Static analysis, Fuzzing and Model Checking. These techniques are able to verify several security properties on Smart Contracts. This work will focus on the comparison between those approaches, on the improvement of an existing analysis tool and finally on the detection of vulnerabilities in a real Smart Contract project named Wablieft.