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
Item Type: Conference or Workshop Item (Paper)
Subjects: Research Areas > NRA2 Reliable Security Guarantees
Research Areas [OLD] > Formal Methods for Security
Research Fields > Privacy SFB
Divisions: Information Security and Cryptography (InfSec)
Conference: CSF - IEEE Computer Security Foundations Symposium (was CSFW)
Depositing User: Robert Künnemann
Date Deposited: 07 Jun 2019 06:58
Last Modified: 07 Jun 2019 06:58
URI: https://publications.cispa.saarland/id/eprint/2895

Actions

Actions (login required)

View Item View Item
CISPA is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.