Checking cryptographic API usage with composable annotations (short paper).

Duncan Mitchell L. Thomas van Binsbergen Blake Loring Johannes Kinder

Published in: PEPM (2018)

Keyphrases

semantic annotation
smart card
open source
annotation tool
keywords
metadata
database
source code
key management
image retrieval
information systems
neural network
databases
user generated
gene ontology
meta information
secure communication
application programming interface