1. CogniCrypt: Supporting developers in using cryptography
2. High-level cryptographic abstractions;kane;CoRR,2018
3. CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs;krüger;IEEE Trans Software Eng (TSE),2019
4. CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs;krüger;Proceedings of the European Conference on Object-Oriented Programming (ECOOP '01),2018
5. Nativespeaker: Identifying crypto misuses in android native code libraries;wang;In Information Security and Cryptology - 13th International Conference Inscrypt 2017,2017