​
Login / Signup
HACL*: A Verified Modern Cryptographic Library.
Jean Karim Zinzindohoué
Karthikeyan Bhargavan
Jonathan Protzenko
Benjamin Beurdouche
Published in:
IACR Cryptol. ePrint Arch. (2017)
Keyphrases
</>
smart card
neural network
encryption key
database systems
hash functions
e learning
web services
key management
security protocols
s box
security properties