Login / Signup

How to Wrap it up - A Formally Verified Proposal for the use of Authenticated Wrapping in PKCS#11.

Alexander DaxRobert KünnemannSven TangermannMichael Backes
Published in: CSF (2019)
Keyphrases
  • java card
  • authentication scheme
  • key agreement protocol
  • real world
  • data mining
  • artificial neural networks
  • key exchange protocol