Ruiling Chen, Jiaxiang Liu 0001, Xiaomu Shi, Ming-Hsien Tsai 0001, Bow-Yaw Wang, Bo-Yin Yang. llvm2CryptoLine: Verifying Arithmetic in Cryptographic C Programs. In Satish Chandra 0001, Kelly Blincoe, Paolo Tonella, editors, Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/FSE 2023, San Francisco, CA, USA, December 3-9, 2023. pages 2167-2171, ACM, 2023. [doi]
Abstract is missing.