Automatic Certified Verification of Cryptographic Programs with COQCRYPTOLINE - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ming-Hsien Tsai, Yu-Fu Fu, Xiaomu Shi, Jiaxiang Liu 0001, Bow-Yaw Wang, Bo-Yin Yang. Automatic Certified Verification of Cryptographic Programs with COQCRYPTOLINE. IACR Cryptology ePrint Archive, 2022:1116, 2022. [doi]

This author has not been identified. Look up 'Ming-Hsien Tsai' in GoogleThis author has not been identified. Look up 'Yu-Fu Fu' in GoogleThis author has not been identified. Look up 'Xiaomu Shi' in GoogleThis author has not been identified. Look up 'Jiaxiang Liu 0001' in GoogleThis author has not been identified. It may be one of the following persons:

Bow-Yaw Wang

Look up 'Bow-Yaw Wang' in GoogleThis author has not been identified. Look up 'Bo-Yin Yang' in Google

runs on WebDSL