Vincent Jacquot

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):

A symbolic execution tool for BTC scripts.