@INPROCEEDINGS{krueger20cognicryptgen, author={Stefan Kr\"uger and Karim Ali and Eric Bodden}, booktitle={International Symposium on Code Generation and Optimization (CGO)}, title={{CogniCrypt$_{GEN}$} - Generating Code for the Secure Usage of Crypto APIs}, year = 2020, month = Feb, pages = {185--198}, url={https://www.bodden.de/pubs/krueger20cognicryptgen.pdf} }