gdr-secu-jn2025 : Journées Nationales 2025 du GDR Sécurité Informatique

23-25 juin 2025 Caen (France)

FR EN

ATTENTION : Une migration de la base de données est programmée jeudi 21 août.
Elle peut occasionner des problèmes d'accès à Sciencesconf.

Lien vers les présentations

Vous trouverez ici les liens vers les présentations des journées nationales, mises en ligne au fur et à mesure des autorisations données par les oratrices et orateurs, que nous remercions chaleureusement.

Keynote

Verified compilation: towards zero-defect software - Sandrine Blazy
The Nym Network: Design and Challenges - Claudia Diaz

Conférences plénières

Impersonation Attacks on Biometric Recognition Systems - Marta Gomez-Barrero
Formal verification of security protocols: the Squirrel prover - Stéphanie Delaune

Session C2

Threshold Cryptography based on class groups of imaginary quadratic fields - Guilhem Castagnos
Randomness Delegation and its Connections with Secure Computation - Mahshid Riahinia
The relevance and challenges of random probing security for post-quantum algorithms. Application to Raccoon signature scheme - Mélissa Rossi

Session SSLR-SSM

On the modelling of processor micro-architecture for masked software verification - Karine Heydemann
Secure compilation—with the compiler, not against: first experiments on 'Tracing LLVM' - Sébastien Michelland
Partitionnement dynamique à grain fin contre des attaques par canaux auxiliaires exploitant les mémoires caches - Vianney Lapôtre

Session SDM

Obscuration réversible de chiffres dans des images - Valentin Noyé

Prix de thèse

Symmetric cryptanalysis: from primitives to modes - Rachelle Heim Boissier

Vie privée | Accessibilité