@misc{indiciaec82495447e30,
  title = {An AI Approach to Verified Production Cryptographic Libraries},
  author = {Chuyue Sun and Su Fong and Zhiyi Kuang and Yizheng Jiao and Nina Narodytska and Haoze Wu and David L. Dill and Clark Barrett},
  year = {2026},
  url = {https://arxiv.org/abs/2608.00965},
  note = {Source identifier: 2608.00965}
}