Sign in

Verified Cryptographic Implementations for TLS.

Karthikeyan BhargavanCédric FournetRicardo CorinEugen 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