1. Crysl: An extensible approach to validating the correct usage of cryptographic apis;krüger;IEEE TSE-Transactions of Software Engineering,2019
2. Side channel attacks on cbc encrypted messages in the pkcs# 7 format;klima;IACR Cryptol ePrint Arch,2003
3. icryptotracer: Dynamic analysis on misuse of cryptography functions in ios applications;li;International Conference on Network and System Security NSS,2015
4. Why does cryptographic software fail?
5. Why don’t software developers use static analysis tools to find bugs?;johnson;International Conference on Software Engineering ICSE,2013