Research (ORCID)

My dissertation, which uses my template

• Two-sided, the “official” version.
• One-sided, a one-sided version optimized for digital reading.
• Defense: Unfortunately, the Department of Informatics at the KIT does not allow to stream or record the actual defense. However, you can find my slides here, and feel free to reach out for any questions.

Publications Talks

Publications

2024

• Quantum Lattice Enumeration in Limited Depth
  • with Nina Bindel, Xavier Bonnetain, Fernando Virdia
  • CRYPTO 2024, eprint
  • Code
  • Slides
• Post-Quantum Ready Key Agreement for Aviation
  • with Christian Martin, Nils Mäurer
  • Communications in Cryptology, eprint
  • code

2023

• Making an Asymmetric PAKE Quantum-Annoying by Hiding Group Elements
  • with Edward Eaton and Douglas Stebila
  • ESORICS 2023, eprint
  • Slides

2021

• On Forging SPHINCS+-Haraka Signatures on a Fault-Tolerant Quantum Computer
  • with Robin Berger
  • Latin Crypt 2021, eprint
  • Slides
  • Code
• A secure cell-attachment procedure of LDACS
  • with Nils Mäurer, Thomas Gräupl, Christoph Gentsch, Tobias Guggemos, Corinna Schmitt, Gabi Dreo Rodosek
  • IEEE S&PW 2021

2020

• Side-Channel Attacks on Query-Based Data Anonymization
  • with Franziska Boenisch, Reinhard Munz, Simon Hanisch, Christiane Kuhn, Paul Francis
  • kitbib
  • CCS 2020
• Exploiting Decryption Failures in Mersenne Number Cryptosystems
  • with Jan-Pieter D’Anvers
  • ACM Workshop Asia CCS 2020, eprint
  • Slides
  • Code

2019

• Timing Attacks on Error Correcting Codes in Post-Quantum Schemes
  • with Jan-Pieter D’Anvers, Frederik Vercauteren, and Ingrid Verbauwhede
  • eprint
  • [Latin Crypt 2019] (https://dl.acm.org/doi/10.1145/3338467.3358948)
• Quantum LLL with an application to mersenne number cryptosystems
  • with Alan Szepieniec
  • LatinCrypt 2019, eprint
  • Slides

2016

• Finding pre-production vehicle configurations using a Max-SAT framework
  • with Tilak Raj Singh
  • ICW 2016