HACL*: A Verified Modern Cryptographic Library.

Jean Karim Zinzindohoué Karthikeyan Bhargavan Jonathan Protzenko Benjamin Beurdouche

Published in: CCS (2017)

Keyphrases

smart card
information retrieval
wireless sensor networks
hash functions
data sets
artificial intelligence
optimal solution
artificial neural networks
key management
cryptographic protocols
random number generator
differential power analysis