Publications

Hybrid Obfuscated Key Exchange and KEMs
- - Felix Günther
  - Michael Rosenberg
  - et al.
- 2025
- CRYPTO 2025
XHMQV: Better Efficiency and Stronger Security for Signal's Initial Handshake based on HMQV
- - Rune Fiedler
  - Felix Günther
  - et al.
- 2025
- CRYPTO 2025
Verifiable Decapsulation: Recognizing Faulty Implementations of Post-Quantum KEMs
- - Lewis Glabush
  - Felix Günther
  - et al.
- 2025
- CRYPTO 2025
Scientific research with AI co-participation in chemistry: Prompt engineering and AI ethical challenges in the scientific discovery process
- - Juliana Jansen Ferreira
  - Vinicius Segura
  - et al.
- 2025
- ACS Fall 2025
Shorter, Tighter, FAESTer: Optimizations and Improved (QROM) Analysis for VOLE-in-the-Head Signatures
- - Carsten Baum
  - Ward Beullens
  - et al.
- 2025
- CRYPTO 2025
Save what must be saved: Secure context switching with Sailor
- - Neelu Shivprakash Kalani
  - Thomas Bourgeat
  - et al.
- 2025
- USENIX Security 2025
Towards a Re-evaluation of Data Forging Attacks In Practice
- - Mohamed Suliman
  - Anisa Halimi
  - et al.
- 2025
- USENIX Security 2025
JuStRank: Benchmarking LLM Judges for System Ranking
- - Ariel Gera
  - Odellia Boni
  - et al.
- 2025
- ACL 2025
ConCodeEval: Evaluating Large Language Models for Code Constraints in Domain-Specific Languages
- - Mehant Kammakomati
  - Sameer Pimparkhede
  - et al.
- 2025
- ACL 2025
Multi-Sense Embeddings for Language Models and Knowledge Distillation
- - Qitong Wang
  - Mohammed Zaki
  - et al.
- 2025
- ACL 2025