Il y a 2 Résultats avec le mot clé : "Equipe SECSI"
Stratégie
Le premier laboratoire de haute sécurité de la recherche académique française dédié à la sécurité informatique
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
Colloquium
SECSI Colloquium
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
Inria
Inria.fr
Inria Channel
Centres de recherche Inria