?
Advances in Cryptology – CRYPTO 2023; Lecture Notes in Computer Science ,
1
When Messages Are Keys: Is HMAC a Dual-PRF?:
, In:
?
2023 IEEE 8th European Symposium on Security and Privacy (EuroS&P) ,
2
Careful with MAc-then-SIGn: A Computational Analysis of the..:
, In:
?
Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security ,
3
Verifiable Verification in Cryptographic Protocols:
, In:
?
Advances in Cryptology – EUROCRYPT 2022; Lecture Notes in Computer Science ,
4
On the Concrete Security of TLS 1.3 PSK Mode:
, In:
?
Applied Cryptography and Network Security; Lecture Notes in Computer Science ,
5
KEMTLS with Delayed Forward Identity Protection in (Almost)..:
, In:
?
Advances in Cryptology – ASIACRYPT 2022; Lecture Notes in Computer Science ,
6
Puncturable Key Wrapping and Its Applications:
, In:
?
Computer Security – ESORICS 2022; Lecture Notes in Computer Science ,
7
Continuous Authentication in Secure Messaging:
, In:
?
Public-Key Cryptography – PKC 2022; Lecture Notes in Computer Science ,
8
Post-quantum Asynchronous Deniable Key Exchange and the Sig..:
, In:
?
Applied Cryptography and Network Security; Lecture Notes in Computer Science ,
9
Tighter Proofs for the SIGMA and TLS 1.3 Key Exchange Proto..:
, In:
?
Proceedings; Der Antrieb von morgen 2020 ,
10
Model-Based Approach to Identify Optimal HEV Drivetrain Con..:
, In:
?
Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security ,
11
The Security of ChaCha20-Poly1305 in the Multi-User Setting:
, In:
?
Selected Areas in Cryptography; Lecture Notes in Computer Science ,
12
Towards Post-Quantum Security for Signal's X3DH Handshake:
, In:
?
Topics in Cryptology – CT-RSA 2020; Lecture Notes in Computer Science ,
13
Modeling Memory Faults in Signature and Authenticated Encry..:
, In:
?
Advances in Cryptology – EUROCRYPT 2020; Lecture Notes in Computer Science ,
14
Separate Your Domains: NIST PQC KEMs, Oracle Cloning and Re..:
, In:
?
Information and Communications Security; Lecture Notes in Computer Science ,
15