Hoai Le Nguyen, PhD student in the COAST team, will defend his thesis on Thursday, January 14th a at 9am. His defense is entitled "Study of conflicts in Collaborative Editing" and will be held in English. Abstract: Early researches about Collaborative Editing (CE) (in the 1990s and the early 2000) focused on describing different characteristics of […]
Itsaka Rakotonirina, PhD student in the Pesto Team, will defend his thesis on Monday, February 1st at 2pm. Title: Symbolic verification of cryptographic protocols, theory and practice The defence will be english. You can also find his dissertation here. Abstract: This thesis studies the analysis of cryptographic protocols. They are sequences of instructions permitting to […]
The CISPA - LORIA virtual workshop on cybersecurity will take place on Thursday, February 4th. Organization: Prof. Antoine Joux Program 10:00am-10:15am: Get together in the gather.town common space (15 min) 10:30am-10:50am: Benoît-Michel Cogliati (Researcher, CISPA) and Virginie Lallemand (Researcher, LORIA): Deterministic Authenticated Encryption GIAE from the Tweakable Pseudorandom Injection TableSpoon (20 min) 10:50am-11:00am: Discussion (10 min) 11:00am-11:20am: Bizhan […]
La communauté OLKi et plus largement les membres des laboratoires du consortium OLKi sont invités le mercredi 10 février matin au point d'étape du projet avec le Comité exécutif de Lorraine Université d'Excellence et des experts extérieurs invités. Programme 8h45 - 9h00 : Réglages techniques (15') 9h00 - 9h15 : Tour de table (15') 9h15 : Présentation des […]
Daniel El Ouraoui, doctorant dans l'équipe Mosel-Veridis, soutiendra sa thèse intitulée "Méthodes pour le raisonnement d’ordre supérieur dans SMT", effectuée sous la direction de Jasmin Blanchette, Pascal Fontaine et Stephan Merz, le 11 février à 9h. Résumé : La vérification formelle de programmes informatiques ou de systèmes dits critiques tels que dans le transport, […]
