Sign in

Verifying Arithmetic in Cryptographic C Programs.

Jiaxiang LiuXiaomu ShiMing-Hsien TsaiBow-Yaw WangBo-Yin Yang
Published in: ASE (2019)
Keyphrases
  • smart card
  • model checking
  • galois field
  • key management
  • automatic programming
  • control program
  • provably correct
  • encryption key