Vincent Jacquot, Benoit Donnet. Chaussette: A Symbolic Verification of Bitcoin Scripts. In Sokratis K. Katsikas, Frédéric Cuppens, Nora Cuppens-Boulahia, Costas Lambrinoudakis, Joaquín García-Alfaro, Guillermo Navarro-Arribas, Pantaleone Nespoli, Christos Kalloniatis, John Mylopoulos, Annie I. Antón, Stefanos Gritzalis, editors, Computer Security. ESORICS 2023 International Workshops - CyberICS, DPM, CBT, and SECPRE, The Hague, The Netherlands, September 25-29, 2023, Revised Selected Papers, Part I. Volume 14398 of Lecture Notes in Computer Science, pages 359-375, Springer, 2023. [doi]
Abstract is missing.