Formal verification of fair exchange based on Bitcoin smart contracts

DOI10.1007/978-3-030-65277-7_5zbMath1492.91459OpenAlexW3112327565MaRDI QIDQ2152024

Kazuki Yoneyama, Cheng Shi

Publication date: 6 July 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-65277-7_5

zbMATH Keywords

fairnessformal methodssmart contracts

Mathematics Subject Classification ID

Authentication, digital signatures and secret sharing (94A62) Actuarial science and mathematical finance (91G99)

Uses Software

• ProVerif

Cites Work

• Definitions and properties of zero-knowledge proof systems
• Provably Repairing the ISO/IEC 9798 Standard for Entity Authentication
• NIZKs with an Untrusted CRS: Security in the Face of Parameter Subversion

This page was built for publication: Formal verification of fair exchange based on Bitcoin smart contracts