Sites Inria

Il y a 3 Résultats avec le mot clé : "Security"

ITP 2016

ITP 2016

22/08/2016 au 27/08/2016

La 7ème édition de la conférence "Interactive Theorem Proving" ITP2016, organisée par Inria Nancy-Grand Est, se déroulera du 22 au 25 août 2016 dans les locaux du centre.

Elle sera suivie de trois workshops du 25 au 27 août.

ITP est la conférence principale dans le domaine de la preuve assistée par ordinateur.

Lieu : Centre Inria Nancy - Grand Est, 615 rue du Jardin Botanique, 54600 Villers-lès-Nancy

Intervenant(s) : Viktor Kuncak, Grant Olney Passmore, Nikhil Swamy

Mots-clés :

Accueil > Centre > Nancy > Agenda > ITP 2016

lire la suite

Journée Scientifique

Grande Region Security and Reliability Day

16/03/2016

Security and reliability are interdisciplinary areas, drawing from several fields: mathematics (number theory, statistics, logic), computer science (algorithms, information theory, cryptology, formal methods, computational complexity, software engineering), electrical engineering (electronics, signal acquisition and processing, secure hardware design), management (security and quality policies, risk assessment) and social aspects (security awareness, ethical and legal issues, privacy).

Lieu : Inria Nancy - Grand Est, 615, rue du Jardin Botanique, 54600 Villers-lès-Nancy, France

Mots-clés :

Accueil > Centre > Nancy > Agenda > Grande Region Security and Reliability Day

Lire la suite

Itsaka Rakotonirina

Portrait

Itsaka Rakotonirina, un chercheur de confiance

Mediathena - BP (*) - 26/08/2019

Doctorant à Inria Nancy Grand-Est, Itsaka Rakotonirina évalue les protocoles cryptographiques qui protègent le Wi-Fi, la 4G, le paiement en ligne ou les données du passeport biométrique. L’objectif, c’est de les rendre plus sûrs afin de préserver la confiance des utilisateurs. Et le jeune chercheur obtient des résultats probants. En deux ans de thèse, il a décroché un Paper Award dans une conférence internationale, une bourse de Google et un stage de trois mois chez Microsoft .

Mots-clés :

Accueil > Centre > Nancy > Actualités > Itsaka Rakotonirina, un chercheur de confiance

Lire la suite

Haut de page

Suivez Inria