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
Publications
A Complete Security Proof of SQIsign
- Marius A. Aardal
- Andrea Basso
- et al.
- 2025
- CRYPTO 2025
Dynamic Multimodal Fusion for Robust Molecular Representation Learning
- 2025
- ACS Fall 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
Hybrid Obfuscated Key Exchange and KEMs
- Felix Günther
- Michael Rosenberg
- et al.
- 2025
- CRYPTO 2025
Verifiable Decapsulation: Recognizing Faulty Implementations of Post-Quantum KEMs
- Lewis Glabush
- Felix Günther
- et al.
- 2025
- CRYPTO 2025
PEGASIS: Practical Efficient Class Group Action using 4-dimensional isogenies
- Pierrick Dartois
- Jonathan Eriksen
- et al.
- 2025
- CRYPTO 2025
Shorter, Tighter, FAESTer: Optimizations and Improved (QROM) Analysis for VOLE-in-the-Head Signatures
- Carsten Baum
- Ward Beullens
- et al.
- 2025
- CRYPTO 2025
Towards a Re-evaluation of Data Forging Attacks in Practice
- Mohamed Suliman
- Anisa Halimi
- et al.
- 2025
- USENIX Security 2025
Save what must be saved: Secure context switching with Sailor
- Neelu S. Kalani
- Thomas Bourgeat
- et al.
- 2025
- USENIX Security 2025