méthodes formelles
23 janvier 2020 | [Retour sur] La signature de l’accord franco-allemand en cybersécurité
Le nouveau centre franco-allemand en cybersécurité a été officiellement lancé au centre de recherche en cybersécurité (CISPA) à Sarrebruck, lundi 20 janvier 2020. Cette signature renforce la collaboration entre les chercheurs du CISPA et du Laboratoire Lorrain de recherche en informatique et ses... (Lire la suite)
28 janvier 2015 | Steve Kremer du LORIA obtient une ERC !
Steve Kremer, directeur de recherche Inria au sein de l'équipe Cassis du Loria a obtenu une ERC (European Research Council) Consolidator Grant, financement européen pour ses travaux portant sur la spécification et la vérification formelle de nouvelles propriétés de sécurité.
