Sign in
Li-Chang Lai
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Logical Equivalence
Data Exchange
Top Venues
IACR Cryptol. ePrint Arch.
</>
Publications
</>
Li-Chang Lai
,
Jiaxiang Liu
,
Xiaomu Shi
,
Ming-Hsien Tsai
,
Bow-Yaw Wang
,
Bo-Yin Yang
Automatic Verification of Cryptographic Block Function Implementations with Logical Equivalence Checking.
IACR Cryptol. ePrint Arch.
2023 (2023)