How to wrap it up - A formally verified proposal for the use of authenticated wrapping in PKCS#11

Dax, Alexander and Tangermann, Sven and Künnemann, Robert and Backes, Michael
(2019) How to wrap it up - A formally verified proposal for the use of authenticated wrapping in PKCS#11.
In: Computer Security Foundations Symposium, Hobuken, NJ.
Conference: CSF - IEEE Computer Security Foundations Symposium (was CSFW)
(In Press)

[img]
Preview
Text
pkcs11detenc-conf.pdf

Download (537kB) | Preview

Actions

Actions (login required)

View Item View Item