Vincent’s work focuses on Smart Contract Security. Due to the interest of many citizens into the cryptocurrency and the frequent hacks that occur, it seems important to study them to improve their security. His field of research covers UTXO (e.g., BTC) and account-based chains (e.g. Ethereum).
He employs his time to develop tools to find vulnerabilities, then to fix them. As a first contribution, he has found a vulnerability in Bitcoin that would allow hackers to steal the funds of unsecured addresses.
WP1 – Rendre les systèmes résilients aux cyberattaques: phase de conception
GD06 – Analyse de malware
CyberExcellence funding
My paper’s GIT repo (WIP):
https://gitlab.uliege.be/Benoit.Donnet/Blockchains
A symbolic execution tool for BTC scripts.
https://github.com/jack695/symbolic_execution