The next Loria Security Séminar will take place on December 9th in room A008 at 1:00pm. Lesly-Ann Daniel, assistant professor at EURECOM, will give a talk about Hardware-Software Co-Designs for Microarchitectural Security. Abstract: Microarchitectural optimizations, such as caches and speculative out-of-order execution, are essential for achieving high system performance. However, these same mechanisms also open the door to […]
Élise Klein (Pesto), défendra sa thèse intitulée Formal Verification in Practice: Real-World Case Study and Enhanced Support for AC Operators in Tamarin . La soutenance aura lieu en public le jeudi 11 décembre à 9h30, au LORIA, en salle A008. Elle sera suivie d'un pot. Jury : Yannick Chevalier (rapporteur -- MCF HDR à l'Université de […]
Robin San Roman défendra sa thèse intitulée Safe Audio Generation Models from Discrete Latent Representations La soutenance se déroulera le lundi 15 décembre 2025 à 15h en A008. La présentation sera en français. Elle sera suivie d'un pot devant la salle. Une visioconférence sera également disponible via le lien suivant : https://inria.webex.com/meet/romain.serizel Directeurs de thèse : […]
Salome Lepers (Larsen), défendra sa thèse intitulée Interprétabilité et explicabilité en planification probabiliste. La soutenance se déroulera le mardi 16 décembre 2025 à 9h en C005. La présentation sera en français. Elle sera suivie d'un pot devant la salle. Une visioconférence sera également disponible via le lien suivant : https://rendez-vous.renater.fr/soutenanceSalomeLepers Jury : Abdel-Illah Mouaddib, Université de […]
Le Loria a le plaisir d'accueillir des étudiants de l'École des Mines pour deux demi-journées d'échanges et de découvertes Au programme : Présentation du Loria Visite des plateformes LHS et Creativ'Lab Exposé de Mathilde Bouvel Titre " Permutations évitant des motifs : pourquoi ? comment ? combien ? " Exposé de Claire Gardent Titre " […]
