ISABELLA: Improving Structures of Attribute-Based Encryption Leveraging Linear Algebra.
IACR Cryptol. ePrint Arch., 2024
Key Exchange with Tight (Full) Forward Secrecy via Key Confirmation.
IACR Cryptol. ePrint Arch., 2024
CCA Secure Updatable Encryption from Non-Mappable Group Actions.
IACR Cryptol. ePrint Arch., 2024
Tightly-Secure Group Key Exchange with Perfect Forward Secrecy.
IACR Cryptol. ePrint Arch., 2024
On the Tight Security of the Double Ratchet.
IACR Cryptol. ePrint Arch., 2024
Count Corruptions, Not Users: Improved Tightness for Signatures, Encryption and Authenticated Key Exchange.
IACR Cryptol. ePrint Arch., 2024
Highly-Effective Backdoors for Hash Functions and Beyond.
IACR Cryptol. ePrint Arch., 2024
The Concrete Security of Two-Party Computation: Simple Definitions, and Tight Proofs for PSI and OPRFs.
IACR Cryptol. ePrint Arch., 2024
Protokolle für den Authentifizierten Schlüsselaustausch mit Strikten Sicherheitsschranken.
Proceedings of the Ausgezeichnete Informatikdissertationen 2023., 2023
Tightly-secure authenticated key exchange.
PhD thesis, 2023
Multi-User CDH Problems and the Concrete Security of NAXOS and HMQV.
IACR Cryptol. ePrint Arch., 2023
Generic Models for Group Actions.
IACR Cryptol. ePrint Arch., 2023
No more Reviewer #2: Subverting Automatic Paper-Reviewer Assignment using Adversarial Learning.
Proceedings of the 32nd USENIX Security Symposium, 2023
Analysing the HPKE Standard - Supplementary Material.
Dataset, August, 2022
FABEO: Fast Attribute-Based Encryption with Optimal Security.
IACR Cryptol. ePrint Arch., 2022
Group Action Key Encapsulation and Non-Interactive Key Exchange in the QROM.
IACR Cryptol. ePrint Arch., 2022
Strongly Anonymous Ratcheted Key Exchange.
IACR Cryptol. ePrint Arch., 2022
Password-Authenticated Key Exchange from Group Actions.
IACR Cryptol. ePrint Arch., 2022
Verifiable and Provably Secure Machine Unlearning.
CoRR, 2022
Analysing the HPKE Standard - Supplementary Material.
Dataset, September, 2021
Authenticated Key Exchange and Signatures with Tight Security in the Standard Model.
IACR Cryptol. ePrint Arch., 2021
Analysing the HPKE Standard - Supplementary Material.
Dataset, November, 2020
Tightly-Secure Authenticated Key Exchange, Revisited.
IACR Cryptol. ePrint Arch., 2020
Analysing the HPKE Standard.
IACR Cryptol. ePrint Arch., 2020