TY - RPRT TI - Industrial Experience of Finding Cryptographic Vulnerabilities in Large-scale Codebases AU - Ya Xiao AU - Yang Zhao AU - Nicholas Allen AU - Nathan Keynes AU - Danfeng AU - Yao AU - Cristina Cifuentes PY - 2022 UR - https://arxiv.org/abs/2007.06122 ID - 2007.06122 ER -