Ming-Hsien Tsai

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 4

Top Topics

Automatic Programming

Data Abstraction

Logical Equivalence

Top Venues

IACR Cryptol. ePrint Arch.

ESEC/SIGSOFT FSE

Publications

Ming-Hsien Tsai, Yu-Fu Fu, Jiaxiang Liu, Xiaomu Shi, Bow-Yaw Wang, Bo-Yin Yang
Certified Verification for Algebraic Abstraction. CAV (3) (2023)
Ruiling Chen, Jiaxiang Liu, Xiaomu Shi, Ming-Hsien Tsai, Bow-Yaw Wang, Bo-Yin Yang
llvm2CryptoLine: Verifying Arithmetic in Cryptographic C Programs. ESEC/SIGSOFT FSE (2023)
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)
Ming-Hsien Tsai, Yu-Fu Fu, Jiaxiang Liu, Xiaomu Shi, Bow-Yaw Wang, Bo-Yin Yang
CoqCryptoLine: A Verified Model Checker with Certified Results. CAV (2) (2023)