Publications

686 results for Security

Verifiable Decapsulation: Recognizing Faulty Implementations of Post-Quantum KEMs
- - Lewis Glabush
  - Felix Günther
  - et al.
- 2025
- CRYPTO 2025
Conference paper
Shorter, Tighter, FAESTer: Optimizations and Improved (QROM) Analysis for VOLE-in-the-Head Signatures
- - Carsten Baum
  - Ward Beullens
  - et al.
- 2025
- CRYPTO 2025
Conference paper
PEGASIS: Practical Efficient Class Group Action using 4-dimensional isogenies
- - Pierrick Dartois
  - Jonathan Eriksen
  - et al.
- 2025
- CRYPTO 2025
Conference paper
Hybrid Obfuscated Key Exchange and KEMs
- - Felix Günther
  - Michael Rosenberg
  - et al.
- 2025
- CRYPTO 2025
Conference paper
XHMQV: Better Efficiency and Stronger Security for Signal's Initial Handshake based on HMQV
- - Rune Fiedler
  - Felix Günther
  - et al.
- 2025
- CRYPTO 2025
Conference paper
A Complete Security Proof of SQIsign
- - Marius A. Aardal
  - Andrea Basso
  - et al.
- 2025
- CRYPTO 2025
Conference paper
Save what must be saved: Secure context switching with Sailor
- - Neelu S. Kalani
  - Thomas Bourgeat
  - et al.
- 2025
- USENIX Security 2025
Conference paper
SoK: Automating Kernel Vulnerability Discovery and Exploit Generation
- - Anil Kurmus
  - Andrea Mambretti
  - et al.
- 2025
- WOOT 2025
Conference paper
Think Again! The Effect of Test-Time Compute on Preferences, Opinions, and Beliefs of Large Language Models
- - George Kour
  - Itay Nakash
  - et al.
- 2025
- ACL 2025
Conference paper
A Perspective on LLM Data Generation with Few-shot Examples: from Intent to Kubernetes Manifest
- - Antonino Angi
  - Liubov Nedoshivina
  - et al.
- 2025
- ACL 2025
Conference paper