Compiling CAO: From Cryptographic Specifications to C Implementations.

Manuel Barbosa David Castro Paulo F. Silva

Published in: POST (2014)

Keyphrases

random number generators
smart card
formal specification
hash functions
efficient implementation
specification language
software implementation
concurrent systems
encryption scheme
random numbers
delay insensitive
real time
random number
encryption key