C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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