---
_id: '20512'
author:
- first_name: Stefan
full_name: Krüger, Stefan
last_name: Krüger
- first_name: Karim
full_name: Ali, Karim
last_name: Ali
- first_name: Eric
full_name: Bodden, Eric
last_name: Bodden
citation:
ama: 'Krüger S, Ali K, Bodden E. CogniCrypt_GEN - Generating Code for the Secure
Usage of Crypto APIs. In: International Symposium on Code Generation and Optimization
(CGO). ; 2020:185-198.'
apa: Krüger, S., Ali, K., & Bodden, E. (2020). CogniCrypt_GEN - Generating Code
for the Secure Usage of Crypto APIs. International Symposium on Code Generation
and Optimization (CGO), 185–198.
bibtex: '@inproceedings{Krüger_Ali_Bodden_2020, title={CogniCrypt_GEN - Generating
Code for the Secure Usage of Crypto APIs}, booktitle={International Symposium
on Code Generation and Optimization (CGO)}, author={Krüger, Stefan and Ali, Karim
and Bodden, Eric}, year={2020}, pages={185–198} }'
chicago: Krüger, Stefan, Karim Ali, and Eric Bodden. “CogniCrypt_GEN - Generating
Code for the Secure Usage of Crypto APIs.” In International Symposium on Code
Generation and Optimization (CGO), 185–98, 2020.
ieee: S. Krüger, K. Ali, and E. Bodden, “CogniCrypt_GEN - Generating Code for the
Secure Usage of Crypto APIs,” in International Symposium on Code Generation
and Optimization (CGO), 2020, pp. 185–198.
mla: Krüger, Stefan, et al. “CogniCrypt_GEN - Generating Code for the Secure Usage
of Crypto APIs.” International Symposium on Code Generation and Optimization
(CGO), 2020, pp. 185–98.
short: 'S. Krüger, K. Ali, E. Bodden, in: International Symposium on Code Generation
and Optimization (CGO), 2020, pp. 185–198.'
date_created: 2020-11-26T08:51:01Z
date_updated: 2022-01-06T06:54:29Z
department:
- _id: '76'
language:
- iso: eng
page: 185-198
publication: International Symposium on Code Generation and Optimization (CGO)
related_material:
link:
- relation: confirmation
url: http://www.bodden.de/pubs/krueger20cognicryptgen.pdf
status: public
title: CogniCrypt_GEN - Generating Code for the Secure Usage of Crypto APIs
type: conference
user_id: '5786'
year: '2020'
...