Le Loria, Laboratoire lorrain de Recherche en Informatique et ses Applications est un laboratoire commun à plusieurs établissements : le CNRS, l’Université de Lorraine et l’Inria. Le Loria est membre de la Fédération Charles Hermite qui regroupe les trois principaux laboratoires de recherche en mathématiques et STIC (science et technologies de l’information et de la communication) de Lorraine. Le laboratoire fait partie du pôle scientifique Automatique, Mathématiques, Informatique et leurs interactions de l’Université de Lorraine. Le Loria a pour mission la recherche fondamentale et appliquée en sciences informatiques. Le Loria est un des plus grands laboratoires de la région lorraine. Les travaux scientifiques sont menés au sein de 28 équipes structurées en 5 départements, dont 15 sont communes avec Inria, représentant un total de plus de 400 personnes. CentraleSupelec héberge une équipe de 11 enseignants chercheurs du LORIA.

  • Département 1 : Algorithme, calcul, image et géométrie
  • Département 2 : Méthodes formelles
  • Département 3 : Réseaux, systèmes et services
  • Département 4 : Traitement des langues et des connaissances
  • Département 5 : Systèmes complexes, intelligence artificielle et robotique

Axes transverses :
Santé numérique, Systèmes cyberphysiques, Sécurité Informatique

Contact

Directeur : Jean-Yves MARION

http://www.loria.fr/en/

Les dernières publications

Communication dans un congrès
09/08/2023
A comprehensive, formal and automated analysis of the EDHOC protocol
Charlie Jacomme, Elise Klein, Steve Kremer, Maïwenn Racouchot
Communication dans un congrès
09/08/2023
Hash Gone Bad: Automated discovery of protocol attacks that exploit hash function weaknesses
Vincent Cheval, Cas Cremers, Alexander Dax, Lucca Hirschi, Charlie Jacomme, Steve Kremer
Communication dans un congrès
09/07/2023
The Elephant in the Room: Analyzing the Presence of Big Tech in Natural Language Processing Research
Mohamed Abdalla, Jan Philip Wahle, Terry Ruas, Aurélie Névéol, Fanny Ducel, Saif M. Mohammad, Karën Fort
Communication dans un congrès
09/07/2023
Proving Unlinkability using ProVerif through Desynchronized Bi-Processes
David Baelde, Alexandre Debant, Stéphanie Delaune
Voir toutes les publications du laboratoire sur HAL