C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Automating Cryptographic Code Generation.
Yuval Yarom
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