Verification of LINE Encryption Version 1.0 Using ProVerif.

Cheng Shi Kazuki Yoneyama

Published in: IEICE Trans. Inf. Syst. (2019)

Keyphrases

high security
cryptographic protocols
integrity verification
line segments
image encryption
real time
databases
neural network
artificial intelligence
digital libraries
data encryption
database systems
model checking
signature verification
encryption algorithms