Congratulations to Vincent Trélat, PhD student in the Mosel-Veridis team, who received a Best Paper Award at the ABZ 2025 conference (International Conference on Rigorous State-Based Methods).
The prize was awarded for his paper entitled “Safely Encoding B Proof Obligations in SMT-LIB”.
This international conference on formal methods was held in Düsseldorf from 10 to 13 June.
As part of her thesis, Amandine Decker, PhD student in the Sémagramme team, is organizing a collection of dialogues using an instant messaging tool for a study on conversational dynamics.
Every year, Loria’s teams strengthen with the arrival of new researchers and associate professors. We welcome them and invite you to take a few minutes to learn about their careers and projects!
Every year, Loria’s teams strengthen with the arrival of new researchers and associate professors. We welcome them and invite you to take a few minutes to learn about their careers and projects!
Our congratulations to Pierrick Gaudry, Emmanuel Thomé and Paul Zimmermann, CNRS and Inria researchers with the Loria and winners of the Levchin 2025 Prize!
The Levchin Prize is awarded for high-impact cryptography innovations and their use in real-world systems. It was presented to our researchers on March 26th at Real-World Crypto, a major annual international conference on applied cryptography that attracts around 600 academic and industrial professionals working in this field.
This prestigious award rewards the three researchers for their CADO-NFS computer security software developed by the Caramba team since 2007. CADO-NFS is now the benchmark software for testing the robustness of encryption keys.
