Automating Cryptographic Code Generation.

Published in: ASHES@CCS (2022)

Keyphrases

code generation
application development
software development
smart card
code generator
modeling language
model driven
rapid prototyping
formal specification
software reuse
design patterns
information systems
data driven
database
databases
development process