Slides

You will find here the slides of the talks, updated according to the consent given by the speakers, thanks again to them.

[if your slides are not linked below, please contact Caroline Fontaine to give explicit agreement for them to be put online]

Keynote:

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

Plenary talks:

• Language-Based Fuzzing - Andreas Zeller, CISPA

C2-PVP Contact Tracing session:

• 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

SSLR-SSM session:

• 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

SDM session:

• 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

MFS session:

• 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

Presentation of the GDR - Gildas Avoine, IRISA