Stuhlsatzenhaus 5 66123 Saarbrücken (Germany)
How to wrap it up - A formally verified proposal for the use of authenticated wrapping in PKCS#11
CSF Computer Security Foundations Symposium