Sign in
From Theory to Code: Identifying Logical Flaws in Cryptographic Implementations in C/C++.
Sazzadur Rahaman
Haipeng Cai
Omar Chowdhury
Danfeng Yao
Published in:
IEEE Trans. Dependable Secur. Comput. (2022)
Keyphrases
</>
theoretical basis
smart card
theoretical framework
random number generators
source code
efficient implementation
logical properties
real time
website
data model
logic programs
computational model
theoretical foundation
general theory
logical representation