(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)
|
Text
pkcs11detenc-conf.pdf Download (537kB) | Preview |
Item Type: | Conference or Workshop Item (Paper) |
---|---|
Subjects: | 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: | 18 Jul 2019 12:09 |
URI: | https://publications.cispa.saarland/id/eprint/2895 |
Actions
Actions (login required)
![]() |
View Item |