Sign in
Verifying Arithmetic in Cryptographic C Programs.
Jiaxiang Liu
Xiaomu Shi
Ming-Hsien Tsai
Bow-Yaw Wang
Bo-Yin Yang
Published in:
ASE (2019)
Keyphrases
</>
smart card
model checking
galois field
key management
automatic programming
control program
provably correct
encryption key