Misato Nakabayashi, Yuki Okano. Verification Method of Key-Exchange Protocols With a Small Amount of Input Using Tamarin Prover. In Weizhi Meng 0001, Li Li 0029, editors, ASSS '21: Proceedings of the 2021 International Symposium on Advanced Security on Software and Systems, Virtual Event, Hong Kong, 7 June, 2021. pages 43-50, ACM, 2021. [doi]
Abstract is missing.