Back
  1. Home
  2. Profile of Vincent Jacquot (ULiège)
Profil

Jacquot Vincent

Dép. d'électric., électron. et informat. (Inst.Montefiore) > Algorithmique des grands systèmes

Montefiore Institute

See author's contact details
Main Referenced Co-authors
Donnet, Benoît  (2)
Hammad, Nada (1)
Main Referenced Keywords
Bitcoin (1); bitcoin (1); blockchain (1); CHAUSSETTE (1); clustering (1);
Main Referenced Disciplines
Computer science (2)

Publications (total 2)

The most downloaded
140 downloads
Jacquot, V., & Donnet, B. (2023). CHAUSSETTE: A Symbolic Verification of Bitcoin Scripts. In Proc. International Workshop on Cryptocurrencies and Blockchain Technology (CBT). Springer. doi:10.1007/978-3-031-54204-6_22 https://hdl.handle.net/2268/305862

Jacquot, V., Hammad, N., & Donnet, B. (2024). Efficient and Reliable Service Detection on Bitcoin. In IEEE International Conference on Blockchain and Cryptocurrency (ICBC). IEEE.
Peer reviewed

Jacquot, V., & Donnet, B. (2023). CHAUSSETTE: A Symbolic Verification of Bitcoin Scripts. In Proc. International Workshop on Cryptocurrencies and Blockchain Technology (CBT). Springer. doi:10.1007/978-3-031-54204-6_22
Peer reviewed

Contact ORBi