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 001 (IACR Cryptol. ePrint Arch., 2019)