Login / Signup
How to wrap it up - A formally verified proposal for the use of authenticated wrapping in PKCS\#11.
Alexander Dax
Robert Künnemann
Sven Tangermann
Michael Backes
Published in:
IACR Cryptol. ePrint Arch. (2019)
Keyphrases
</>
key exchange protocol
data mining
data model
web data extraction
database
databases
genetic algorithm
clustering algorithm
fault tolerant
data extraction
key distribution
java card