SoK: Directions and Issues in Formal Verification of Payment Protocols.

Hideki Sakurada Kouichi Sakurai

Published in: AINA (4) (2024)

Keyphrases

formal verification
model checking
model checker
bounded model checking
automated verification
program slicing
key issues
cryptographic protocols
symbolic model checking
reinforcement learning
electronic commerce