: generating code for the secure usage of crypto APIs.

Stefan Krüger Karim Ali Eric Bodden

Published in: CGO (2020)

Keyphrases

source code
security protocols
lightweight
digital signature
code examples
private key
rfid systems
open source
static analysis
protection scheme
advanced encryption standard
website
database management systems
security issues
key management
security analysis