Verification of LINE Encryption Version 1.0 using ProVerif

Cheng SHI  Kazuki YONEYAMA  

Publication:   IEICE TRANSACTIONS on Information and Systems
Publicized: 2019/04/24
DOI: 10.1587/transinf.2018FOP0001
Full Text: PDF(175.7KB)