Login / Signup
Automatic Verification of Cryptographic Block Function Implementations with Logical Equivalence Checking.
Li-Chang Lai
Jiaxiang Liu
Xiaomu Shi
Ming-Hsien Tsai
Bow-Yaw Wang
Bo-Yin Yang
Published in:
IACR Cryptol. ePrint Arch. (2023)
Keyphrases
</>
np complete
logical equivalence
programming language
databases
data exchange