› Increasing the Integrity of the Open Source Software Supply Chain with Reproducible Builds - Stefano Zacchiroli, Laboratoire Traitement et Communication de lÍnformation
11:00-11:45 (45min)
› Differential analysis of a cipher using Constraint Programming - Marine Minier, Laboratoire Lorrain de Recherche en Informatique et ses Applications
14:00-14:45 (45min)
› Generation and Detection of Deepfakes - Antitza Dantcheva, INRIA
11:00-11:30 (30min)
› Improving Deepfake Detection by Mixing Top Solutions of the DFDC - Anis Trabelsi, EURECOM
11:30-12:00 (30min)
› Hierarchical Learning and Dummy Triplet Loss for Efficient Deepfake Detection - Nicolas Beuve, Institut d\'Électronique et des Technologies du numéRique
12:00-12:30 (30min)
11:00 - 12:30 (1h30)
Session GT MFS-SSM
Forum
› Armed cats: formal concurrency modelling at Arm - Jade Alglave, ARM
11:00-11:45 (45min)
› High-Level Synthesis for Hardware Implementation of Cryptography: Experience Feedback - Arnaud Tisserand, Lab-STICC
11:45-12:30 (45min)
› Détection des altérations d'images photographiques et des images générées : deux approches spécifiques - Grégoire Mercier, ExomaKina
14:00-14:45 (45min)
› Présentation de REDOCS - Pascal Lafourcade, Laboratoire d'Informatique, de Modélisation et d'optimisation des Systèmes
11:00-11:05 (05min)
› Risques des objets connectés sur la vie privée : l'analyse de doctorants en sécurité à REDOCS - Anaïs Barthoulot, Laboratoire dínformatique de l'École Polytechnique (LIX)
11:05-11:30 (25min)