Il y a 2 Résultats avec le mot clé : "Equipe SECSI"

Salle serveur du Laboratoire Haute Sécurité (LHS)  © INRIA / Photo Kaksonen  © Inria / Photo Kaksonen

Stratégie

Le premier laboratoire de haute sécurité de la recherche académique française dédié à la sécurité informatique

1/07/2010

Situé au cœur du centre Inria Nancy-Grand Est, le laboratoire de haute sécurité informatique (LHS) est voué à accueillir des travaux de recherche déterminants pour sécuriser le réseau, les échanges sur internet et les équipements de télécommunications associés. Aux côtés de ses partenaires, l’Inria inaugure aujourd’hui cet équipement de recherche inédit. Le LHS offre le cadre technologique et réglementaire nécessaire aux avancées scientifiques accompagnant les évolutions de notre société numérique. Ouvert aux partenaires industriels, le laboratoire représente également un cadre propice aux tests de fiabilité requis avant toute mise sur le marché de différents produits ou solutions technologiques.

Mots-clés :

Accueil > Actualité > Médiacenter > Inauguration LHS Nancy

Lire la suite

© INRIA / Sophie Auvin

Colloquium

SECSI Colloquium

17/03/2011 au 18/03/2011

Le Laboratoire de Spécification et Vérification (LSV) de l'ENS Cachan organise un colloquium de 2 jours avec conférences d'orateurs invités et la soutenance d'HDR de 3 membres de l'équipe SECSI (Stéphanie Delaune, Steve Kremer et Graham Steel).

Lieu : École Normale Supérieure de Cachan

Intervenants : John Mitchell (Stanford Unviersity), Ran Canetti (Tel Aviv University), Ralf Küsters (Trier University), Véronique Cortier (LORIA), David Basin (ETH Zurich), Andre Scedrov (University of Pennsylvania), équipe Inria SECSI

Mots-clés :

Accueil > Centre > Saclay > Agenda > SECSI Colloquium

Lire la suite

Haut de page