Login / Signup
A Modular Treatment of Cryptographic APIs: The Symmetric-Key Case.
Thomas Shrimpton
Martijn Stam
Bogdan Warinschi
Published in:
IACR Cryptol. ePrint Arch. (2016)
Keyphrases
</>
symmetric key
security protocols
security analysis
key management
encryption scheme
smart card
web services
digital signature
public key cryptography