Cheng Shi, Kazuki Yoneyama. Verification of LINE Encryption Version 1.0 Using ProVerif. In Atsuo Inomata, Kan Yasuda, editors, Advances in Information and Computer Security - 13th International Workshop on Security, IWSEC 2018, Sendai, Japan, September 3-5, 2018, Proceedings. Volume 11049 of Lecture Notes in Computer Science, pages 158-173, Springer, 2018. [doi]
Abstract is missing.