Industrial Strength Static Detection for Cryptographic API Misuses | IEEE Conference Publication | IEEE Xplore