Verified Cryptographic Implementations for TLS.

Karthikeyan Bhargavan Cédric Fournet Ricardo Corin Eugen Zalinescu

Published in: ACM Trans. Inf. Syst. Secur. (2012)

Keyphrases

random number generators
smart card
efficient implementation
parameter estimation
security protocols
data structure
random number
feature selection
key management
parallel implementations
encryption key