Login / Signup
Automatic Certified Verification of Cryptographic Programs with COQCRYPTOLINE.
Ming-Hsien Tsai
Yu-Fu Fu
Xiaomu Shi
Jiaxiang Liu
Bow-Yaw Wang
Bo-Yin Yang
Published in:
IACR Cryptol. ePrint Arch. (2022)
Keyphrases
</>
cryptographic protocols
fully automatic
hardware designs
semi automatic
model checking
smart card
encryption key
computer programs
symbolic execution
formal methods
java bytecode
high security
asynchronous circuits
java programs
real time
face verification
learning algorithm
neural network