@misc{cryptoeprint:2019:462,
    author = {Alexander Dax and Robert Künnemann and Sven Tangermann and Michael Backes},
    title = {How to wrap it up - A formally verified proposal for the use of authenticated wrapping in PKCS\#11},
    howpublished = {Cryptology ePrint Archive, Report 2019/462},
    year = {2019},
    url = {https://eprint.iacr.org/2019/462},
}