Login / Signup

llvm2CryptoLine: Verifying Arithmetic in Cryptographic C Programs.

Ruiling ChenJiaxiang LiuXiaomu ShiMing-Hsien TsaiBow-Yaw WangBo-Yin Yang
Published in: ESEC/SIGSOFT FSE (2023)
Keyphrases
  • smart card
  • galois field
  • computer programs
  • data sets
  • search algorithm
  • similarity measure
  • model checking
  • hash functions
  • automatic programming
  • java programs
  • secure communication