Naomi Okumura, Kazuhiro Ogata 0001. A way to find counterexamples located at deep positions with domain knowledge of authentication protocols. In Proceedings of the 12th International Conference on Software and Computer Applications, ICSCA 2023, Kuantan, Malaysia, February 23-25, 2023. pages 206-211, ACM, 2023. [doi]
Abstract is missing.