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]
No references recorded for this publication.
No citations of this publication recorded.