Send email Copy Email Address
PhD Student

Alexander Dax

Email

Address

Stuhlsatzenhaus 5
66123 Saarbrücken (Germany)

Member of Groups

Publications by Alexander Dax

Year 2021

2021-06-21

On the Soundness of Infrastructure Adversaries

Conference / Medium

CSF
2021 IEEE 34th Computer Security Foundations Symposium (CSF)34th IEEE Computer Security Foundations Symposium

Tags
Reliable Security Guarantees
Authors
Download Visit Detail Page

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