Sites Inria

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

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

Vadim Lyubashevsky

European Research Council 2014

Vadim Lyubashevsky : vers des systèmes cryptographiques plus sûrs

12/01/2015

Protégés par la cryptographie, nos échanges sur Internet sont en sécurité… pour l’instant. Chercheur au sein de l’équipe Cascade, Vadim Lyubashevsky conçoit des protocoles de protection des données toujours plus sûrs. Son projet bénéficie du soutien du Conseil européen de la recherche (European Research Council , ERC), qui lui a attribué une bourse Starting Grant.

Mots-clés :

Accueil > Centre > Paris > Actualités > Vadim Lyubashevsky : vers des systèmes cryptographiques plus sûrs

Lire la suite

 Titre : Extraction des données cryptographiques Extraction des données cryptographiques - © Inria / Photo Kaksonen

Conférence

Journées codage et cryptographie 2017

23/04/2017 au 28/04/2017

L’objectif des ces journées est de réunir la communauté scientifique française dont les thèmes de recherche sont liés au codage et à la cryptographie.

Lieu : La Bresse,

Mots-clés :

Accueil > Centre > Nancy > Agenda > Journées codage et cryptographie 2017

lire la suite

Haut de page

Suivez Inria