SoK: Directions and Issues in Formal Verification of Payment Protocols

Hideki Sakurada, Kouichi Sakurai

Research output: Chapter in Book/Report/Conference proceeding › Chapter

Fingerprint

Dive into the research topics of 'SoK: Directions and Issues in Formal Verification of Payment Protocols'. Together they form a unique fingerprint.

Computer Science