Sites Inria

Il y a 75 Résultats avec le mot clé : "cryptographie"

Atelier sciences manuelles du numérique Atelier sciences manuelles du numérique - Justine Larlet

Culture scientifique

Fête de la science : les coulisses du numérique

8/10/2015 au 9/10/2015

Le centre de recherche Inria Grenoble - Rhône-Alpes ouvre ses portes aux lycéens les 8 et 9 octobre prochains à l'occasion de la Fête de la Science.

Lieu : Inria Grenoble - Rhône-Alpes

Mots-clés :

Accueil > Centre > Grenoble > Agenda > Fête de la science : les coulisses du numérique

lire la suite

Culture scientifique

Fête de la science : Quand le numérique devient ludique

16/10/2014 au 17/10/2014

Le centre de recherche Inria Grenoble - Rhône-Alpes ouvre ses portes aux lycéens les 16 et 17 octobre prochains à l'occasion de la Fête de la Science.

Lieu : Inria Grenoble - Rhône-Alpes

Mots-clés :

Accueil > Centre > Grenoble > Agenda > Fête de la science : Quand le numérique devient ludique

lire la suite

Karthik Bhargavan

Interview

LogJam : nouvelle faille de sécurité

Equipe associée : PROSECCO / CARAMEL - 9/06/2015

Internet avait déjà été secoué en mars dernier par l’attaque FREAK menée par l’équipe PROSECCO. Suite à la découverte de la vulnérabilité LogJam, Karthik Bhargavan, chef de cette même équipe (vérification des mécanismes cryptographiques utilisés pour sécuriser les communications sur internet : protocoles cryptographiques, cartes à puce, clés USB sécurisées, base de données chiffrées…) qui fait partie du groupe de chercheurs l’ayant mis à jour nous donne plus de détails.

Mots-clés :

Accueil > Centre > Paris > Actualités > LogJam : nouvelle faille de sécurité

Lire la suite

Cyber Security

Tōkyō

Séminaire franco-japonais sur la Cybersécurité

DRI - 31/03/2015

Inria contribue au dialogue franco-japonais en cybersécurité. L’institut organise conjointement avec l’Ambassade de France au Japon, le CNRS, le NICT et  l’Université Kei, un séminaire franco-japonais dédié à la cybersécurité, du 1er au 3 avril 2015 à Tōkyō.

Mots-clés :

Accueil > Actualité > Actualités Inria > Séminaire franco-japonais sur la Cybersécurité

Lire la suite

Culture scientifique

Cryptris

29/07/2014

Léo Ducas-Binda (Cascade), Thierry Viéville et Laurent Viennot (référents médiation scientifique), et le service communication du centre se sont associés pour créer le serious game Cryptris. L’objectif : faire comprendre à quoi sert la cryptographie et dans quel contexte elle intervient.

Mots-clés :

Accueil > Centre > Paris > Actualités > Cryptris

Lire la suite

Equipe Caramel @Inria

Prix

La cryptographie à l'honneur

23/10/2012

Le cassage de la clé RSA 768 en 2010 : un jalon pour cette équipe de recherche méritante qui obtient de très beaux résultats.

Mots-clés :

Accueil > Recherches > Actualités > La cryptographie à l'honneur

Lire la suite

Logo Lybero.net Logo Lybero.net - Lybero.net

Startup

Lybero.net permet la protection des données grâce à de la cryptography ergonomique

Lybero.net permet aux organisations d’être imperméable aux failles de sécurité  grâce au chiffrement des données et des échanges. Notre premier produit est un service web de transfert de données, disponible en ligne ou installable par toute organisation. Nous permettons l'échange de fichiers chiffrés sans installation de logiciel pour l'expéditeur et le destinataire, sans échange de mot de passe, sans compte pour l'expéditeur. Le chiffrement est fait de bout en bout, l'interception des flux ou bien des stockages intermédiaires n'a aucune importance.
Notre promesse : la sécurité des données. Les avantages client : simplicité d’usage et d’exploitation, autonomie, contrôle interne de la sécurité. Bénéfice d’usage : pas de fuite de données vers le public ou la concurrence. Respect des réglementations de protection des données privées pour les organisations.

Mots-clés :

Accueil > Centre > Nancy > Innovation > RII 2016 > Démos > Lybero.net permet la protection des données grâce à de la cryptography ergonomique

Lire la suite

Recherche

Belenios

Equipes-projets PESTO et Caramba,Inria Nancy - Grand Est -

Organisation d'élections sûres et vérifiables.

La démo de Belenios montrera comment organiser une élection, de la phase de préparation jusqu'au dépouillement. Vous bénéficierez de toutes les explications sur les propriétés de sécurité et de vérifiabilité du système.

Mots-clés :

Accueil > Centre > Nancy > Innovation > RII 2016 > Démos > Belenios

Lire la suite

HACL*

Recherche

HACL*

Equipe PROSECCO -

Une bibliothèque cryptographique rapide et formellement vérifiée sûre, correcte et sans canaux cachés. Nous présentons HACL*, une bibliothèque cryptographique écrite en F* et compilée vers C. La vérification en F* garantit que le code source est sûr (memory-safe), fonctionnellement correct ainsi que l'absence de dépassements d'entiers et de certains types de fuite d'information par canaux cachés. La compilation s'appuie sur Kremlin, un compilateur de F* vers C, et une preuve formelle de la correction de cette transformation, et sur CompCert, un compilateur C vérifié. Nous illustrons l'usage de cette bibliothèque à travers une application de transfert de fichiers et une implémentation de référence de TLS.

Mots-clés :

Accueil > Centre > Nancy > Innovation > RII 2016 > Démos > HACL*

Lire la suite

Colloquium Jacques Morgenstern

Colloquium Jacques Morgenstern : Jean-Paul Delahaye (Univ. Lille 1)

26/05/2016

Jean-Paul Delahaye, Professeur émérite à l’Université de Lille 1 et chercheur au laboratoire CRISTAL viendra nous présenter, le 26 mai 2016, ses travaux sur le Bitcoin et les monnaies cryptographiques.

Lieu : Amphithéâtre du Bâtiment Kahn, Inria, Sophia Antipolis

Intervenant(s) : Jean-Paul Delahaye

Mots-clés :

Accueil > Centre > Sophia > Agenda > Colloquium Jacques Morgenstern : Jean-Paul Delahaye (Univ. Lille 1)

lire la suite

Haut de page

Suivez Inria