Liens 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.

[si votre présentation ne figure pas ci-dessous il vous suffit de contacter Caroline Fontaine pour lui donner expliciitement votre accord]

Keynote :

• Privacy-preserving computations (Calculs sur des données sensibles, respectueux de la vie privée) - David Pointcheval, CNRS/DIENS

Conférences plénières :

• Language-Based Fuzzing - Andreas Zeller, CISPA

Session GT C2-PVP Contact Tracing :

• Introduction et retour sur les actions du groupe de travail sur le contact-tracing - Alain Passelègue - Inria Rhône Alpes/ENS Lyon    
• TousAntiCovid (TAC), ROBERT, DÉSIRÉ et CLÉA : le point de vue PRIVATICS - Vincent Roca - INRIA Rhône-Alpes
• Risques et limites des applications de traçage covid-19 - Véronique Cortier - CNRS/LORIA
• Contact Tracing - Armand Heslot - CNIL
• Approches canadiennes et québécoises au traçage de contact - Sébastien Gambs - Université du Québec à Montréal (UQAM)
• De StopCovid à TousAntiCovid, un an de roman feuilleton - Eric Fleury - INRIA Paris

Session GT SSLR-SSM :

• A safe & secure perspective on RISC-V and open-source hardware / Sûreté, Sécurité : RISC-V et Matériel open-source - Jérôme Quevremont, Thales
• Modern System On Chips Security AgainstPhysical Attacks / Évaluation de la sécurité physique des SoCs - Thomas Trouchkine, ANSSI

Session SDM :

• 3D watermarking – from graphical models to 3D printing. - Adrian Bors, University of York
• Blind Robust 3D Mesh Watermarking Based on Mesh Saliency and Wavelet Transform for Copyright Protection. - Mohamed Hamidi, Laboratoire de Recherche Informatique et Télécommunications
• Security of printed documents - Iuliia Tkachenko, Laboratoire dÍnfoRmatique en Image et Systèmes dínformation

Session GT MFS :

• DY*: Modular Symbolic Verification Framework for Executable Cryptographic Protocol Code - Ralf Kuesters, University of Stuttgart
• Formal Verification of the Tezos Code Base - Zaynah Dargaye, Nomadic Labs     

Prix de thèse :

• Le prix de thèse - Pascal Lafourcade, LIMOS
• Lauréat : Proofs of security protocols (Preuves de protocoles cryptographiques : méthodes symboliques et attaquants puissants) - Charlie Jacomme - CISPA

REncontres DOCtorantS entreprises (REDOCS) :

• REDOCS - Pascal Lafourcade, LIMOS
• Token generation and security (sujet entreprise Be Ys) - Diane Leblanc-Albarel, IRISA

AG du GDR - Gildas Avoine, IRISA