Verification of LINE Encryption Version 1.0 Using ProVerif - researchr publication related

researchr

You are not signed in
Sign in
Sign up

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]

The following publications are possibly variants of this publication:

Verification of LINE Encryption Version 1.0 Using ProVerifCheng Shi, Kazuki Yoneyama. ieicet, 102-D(8):1439-1448, 2019. [doi]

Verification of Group Key Management of IEEE 802.21 using ProVerifRyoga Noguchi, Yoshikazu Hanatani, Kazuki Yoneyama. ccs 2020: 19-27 [doi]

Verification of Group Key Management of IEEE 802.21 Using ProVerifRyoga Noguchi, Yoshikazu Hanatani, Kazuki Yoneyama. ieicetd, 104-D(10):1533-1543, 2021. [doi]

runs on WebDSL