Sites Inria

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

© 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

Intervenant(s) : 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

Stéphanie Delaune, chargée de recherche, équipe Secsi - © Inria / Photo Kaksonen

Unithé ou café

Big Brother won't watch us

Laure Guion - 4/11/2011

« Compte débiteur de 5386€. Dernière dépense : séjour aux Maldives. » À moins que votre inconscient ne vous joue des tours, ce n’est pas vous qui avez acheté ce voyage de rêve, mais bien quelqu’un qui a utilisé votre numéro de carte bancaire. Alors même que nous avons tous connaissance de ce type de désagréments, la sécurité informatique s’attaque à des problématiques récentes liées à la multiplication des nouvelles technologies : la protection de la vie privée et de l’anonymat. À travers des exemples, nous verrons qu’il est aujourd’hui possible de vous retrouver grâce à votre passeport électronique, et qu’il est encore très difficile de certifier la fiabilité du vote électronique.

Mots-clés :

Accueil > Centre > Saclay > Recherche > Algorithmique, programmation, logiciels et architectures > Big Brother won't watch us

Lire la suite

Jean Goubault-Larrecq, professeur, équipe Secsi - © Inria / Photo J.-M. Ramès

Unithé ou café

Faut-il avoir peur des hackers ?

Laure Guion - 20/03/2009

Ohio, 2003. Une centrale nucléaire est paralysée par… un ver informatique, nommé Slammer. Dans le monde des hackers, le terrain de jeu est beaucoup plus large que les seuls PC : en effet tout équipement informatique comporte des vulnérabilités, qu’il s’agisse des ordinateurs évidemment, mais aussi des téléphones ou encore des voitures…
Obtenir des droits d’administrateur sur une autre machine ou pénétrer des réseaux et des systèmes, les modes d’intrusions peuvent être très variés. Cet Unithé ou café ? nous permettra de voir un échantillon des attaques possibles. Et après s’être fait bien peur, nous verrons différentes solutions proposées à ce jour, parmi lesquelles le logiciel ORCHIDS, développé dans l’équipe.

Mots-clés :

Accueil > Centre > Saclay > Recherche > Algorithmique, programmation, logiciels et architectures > Faut-il avoir peur des hackers ?

Lire la suite

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, Inria inaugure aujourd’hui cet équipement de recherche inédit. Le LHS offre l'environnement 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

Haut de page

Suivez Inria