Send email Copy Email Address
© Tobias Ebelshäuser
PhD Student

Alexander Dax

Email

Address

Stuhlsatzenhaus 5
66123 Saarbrücken (Germany)

Member of Groups

Publications by Alexander Dax

Year 2023

2023-08-09

Hash Gone Bad: Automated discovery of protocol attacks that exploit hash function weaknesses

Conference / Medium

USENIX-Security
Proceedings of USENIX 2023USENIX 2023

Tags
Trustworthy Information Processing
Authors
Download Visit Detail Page

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
Trustworthy Information Processing
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
Trustworthy Information Processing
Authors
Download Visit Detail Page