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

Hideki Sakurada, Kouichi Sakurai

Browse the full AINA paper archive.