Publications

708 results for Security

Constant time lattice reduction in dimension 4 with application to SQIsign
- - Otto Hanyecz
  - Alexander Karenin
  - et al.
- 2025
- CHES 2025
Conference paper
Taming the Wild West of Research Computing: How Policies Saved Us a Thousand Headaches
- - Alessandro Pomponio
- 2025
- Cloud Native Dublin 2025
Talk
Hybrid Obfuscated Key Exchange and KEMs
- - Felix Günther
  - Michael Rosenberg
  - et al.
- 2025
- CRYPTO 2025
Conference paper
Verifiable Decapsulation: Recognizing Faulty Implementations of Post-Quantum KEMs
- - Lewis Glabush
  - 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
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
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
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