Hideki Sakurada, Kouichi Sakurai. SoK: Directions and Issues in Formal Verification of Payment Protocols. In Leonard Barolli, editor, Advanced Information Networking and Applications - Proceedings of the 38th International Conference on Advanced Information Networking and Applications (AINA-2024), Kitakyushu, Japan, 17-19 April, 2024, Volume 4. Volume 202 of Lecture Notes on Data Engineering and Communications Technologies, pages 111-119, Springer, 2024. [doi]
Abstract is missing.