Send email Copy Email Address
Placeholder
PhD Student

Alexander Dax

Email

Address

Stuhlsatzenhaus 5
66123 Saarbrücken (Germany)

Member of Groups

Publications by Alexander Dax

Year 2019

2019

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

Conference / Medium

CSF
Computer Security Foundations Symposium

Tags
Reliable Security Guarantees
Authors
Download Visit Detail Page