TY  - RPRT
TI  - An AI Approach to Verified Production Cryptographic Libraries
AU  - Chuyue Sun
AU  - Su Fong
AU  - Zhiyi Kuang
AU  - Yizheng Jiao
AU  - Nina Narodytska
AU  - Haoze Wu
AU  - David L. Dill
AU  - Clark Barrett
PY  - 2026
UR  - https://arxiv.org/abs/2608.00965
ID  - 2608.00965
ER  -