Verification of LINE Encryption Version 1.0 Using ProVerif.

Cheng Shi Kazuki Yoneyama

Published in: IWSEC (2018)

Keyphrases

high security
integrity verification
model checking
cryptographic protocols
line segments
image encryption
information systems
encryption algorithms
encryption decryption
data sets
case study
secret key
formal verification
security properties
verification method