Paper published in a book (Scientific congresses and symposiums)
CHAUSSETTE: A Symbolic Verification of Bitcoin Scripts
Jacquot, Vincent; Donnet, Benoît
2023In Proc. International Workshop on Cryptocurrencies and Blockchain Technology (CBT)
Peer reviewed
 

Files


Full Text
paper.pdf
Author preprint (770.9 kB)
Download

All documents in ORBi are protected by a user license.

Send to



Details



Keywords :
CHAUSSETTE; Bitcoin; Scripts; Symbolic Execution
Abstract :
[en] The Bitcoin protocol relies on scripts written in SCRIPT, a simple Turing-incomplete stack-based language, for locking the money carried over the Bitcoin network. This paper explores the usage of symbolic execution for finding transactions that permit to redeem the money without being the legitimate owner. In particular, we show in detail how using insecure scripts could have led to security breaches, resulting in bitcoins theft. Our contributions include (i) a quantification of the vulnerable script instances over the full Bitcoin history up to Feburary, 4th 2023; (ii) the development and open source publication of a symbolic execution tool, called CHAUSSETTE; (iii) the description of how to use CHAUSSETTE to perform the attack; and, (iv) a discussion around a way to secure vulnerable money.
Disciplines :
Computer science
Author, co-author :
Jacquot, Vincent ;  Université de Liège - ULiège > Montefiore Institute of Electrical Engineering and Computer Science
Donnet, Benoît  ;  Université de Liège - ULiège > Département d'électricité, électronique et informatique (Institut Montefiore) > Algorithmique des grands systèmes
Language :
English
Title :
CHAUSSETTE: A Symbolic Verification of Bitcoin Scripts
Publication date :
September 2023
Event name :
International Workshop on Cryptocurrencies and Blockchain Technology (CBT)
Event place :
La Haye, Netherlands
Event date :
28 Septembre 2023
Audience :
International
Main work title :
Proc. International Workshop on Cryptocurrencies and Blockchain Technology (CBT)
Publisher :
Springer
Peer reviewed :
Peer reviewed
Funders :
Région wallonne [BE]
Funding number :
Cyber Excellence 2110186
Data Set :
CHAUSSETTE

CHAUSSETTE Code source and Blockchain analysis code source

Available on ORBi :
since 21 August 2023

Statistics


Number of views
198 (18 by ULiège)
Number of downloads
140 (13 by ULiège)

Scopus citations®
 
0
Scopus citations®
without self-citations
0

Bibliography


Similar publications



Contact ORBi