Il y a 15 Résultats avec le mot clé : "Centre de recherche Inria Paris - Rocquencourt"
Sécurité informatique
Inria découvre une nouvelle faille dans le protocole TLS, garant de la sécurité des échanges sur Internet
Le 4 mars 2014, à l’occasion de la conférence IETF 89, une équipe de chercheurs Inria ont annoncé la découverte d’une faille de sécurité importante du protocole TLS, le principal mécanisme de sécurisation des communications sur Internet. Cette faiblesse permettrait à un hacker, dans certaines circonstances, d’usurper l’identité des utilisateurs, en particulier sur les réseaux bancaires et d’entreprise. Cette faille concerne peu d'Internautes et un correctif est déjà disponible, mais les chercheurs d’Inria recommandent une révision en profondeur de TLS.
Mots-clés :
Accueil > Actualité > Médiacenter > Inria découvre une nouvelle faille dans le protocole TLS, garant de la sécurité des échanges sur Internet
Recherche
Lancement du projet européen SyncFree
Les applications à grande échelle de type Cloud telles que les réseaux sociaux ou les jeux en ligne exigent que l’accès et la mise à jour des données se fassent de manière très réactive et avec une grande disponibilité. Le projet SyncFree explorera les pistes de Clouds plus performants par une approche inédite visant à s’affranchir de la synchronisation des données. Le 1er octobre prochain sera lancé officiellement ce projet européen dont Inria est coordinateur et initiateur par la voie de Marc Shapiro, directeur de recherche au centre Inria Paris – Rocquencourt dans l’équipe-projet REGAL.
Mots-clés :
- Equipe-projet REGAL
- Centre de recherche Inria Paris - Rocquencourt
- Systèmes répartis
- Cloud computing
- Cloud
- Projet européen
Accueil > Centre > Paris > Actualités > Lancement du projet européen SyncFree
Xavier Leroy
Distinction
Prix La Recherche 2011
Xavier Leroy, responsable de l'équipe-projet Gallium du centre de recherche Inria Paris - Rocquencourt, a obtenu le prix La Recherche 2011 en sciences de l'information le 18 octobre dernier aux côtés de Sandrine Blazy (université de Rennes, EPI Celtique), Zaynah Dargaye (maintenant au CEA), Jean-Baptiste Tristan (actuellement à Harvard). Récompensant ainsi leurs travaux sur la vérification formelle de compilateurs réalistes.
Mots-clés :
- Xavier Leroy
- Prix la Recherche 2011
- CompCert
- Langage C
- Compilateur
- Code source
- Logiciel critique
- Preuve de programme
- Centre de recherche Inria Paris - Rocquencourt
Accueil > Centre > Paris > Actualités > Prix La Recherche 2011
Séminaire : Modélisation et Calcul Scientifique
Séminaire : Modélisation et Calcul Scientifique
Lieu : Amphithéâtre Alan Turing
Intervenant(s) : Mathieu Desroches, Inria & U. of Bristol, UK
Mots-clés :
Accueil > Centre > Paris > Agenda > Séminaire : Modélisation et Calcul Scientifique
Séminaire : Modélisation et Calcul Scientifique
Séminaire : Modélisation et Calcul Scientifique
Lieu : Amphithéâtre Alan Turing
Intervenant(s) : Damiano Lombardi, Inria
Mots-clés :
Accueil > Centre > Paris > Agenda > Séminaire : Modélisation et Calcul Scientifique
Séminaire : Modélisation et Calcul Scientifique
Séminaire : Modélisation et Calcul Scientifique
A 14h, Entrée libre
Lieu : Amphi Turing, bâtiment 1
Intervenant(s) : Martin Gander, Université de Genève, Suisse
Mots-clés :
Accueil > Centre > Paris > Agenda > Séminaire : Modélisation et Calcul Scientifique
Séminaire : Modélisation et Calcul Scientifique
Séminaire : Modélisation et Calcul Scientifique
Lieu : Amphithéâtre Alan Turing
Intervenant(s) : Martin Vohralik, Inria
Mots-clés :
Accueil > Centre > Paris > Agenda > Séminaire : Modélisation et Calcul Scientifique
Séminaire : Modélisation et Calcul Scientifique
Séminaire : Modélisation et Calcul Scientifique
Lieu : Amphithéâtre Alan Turing
Intervenant(s) : Anne Mangeney, Professor of Geoscience, University Paris Diderot-PRES Sorbonne Paris Cite, Institut de Physique du Globe de Paris
Mots-clés :
Accueil > Centre > Paris > Agenda > Séminaire : Modélisation et Calcul Scientifique
Séminaire : Modélisation et Calcul Scientifique
Séminaire : Modélisation et Calcul Scientifique
Lieu : Amphithéâtre Alan Turing
Intervenant(s) : Paul Van Liedekerke, INRIA & Katholieke Universtiteit Leuven, Belgium
Mots-clés :
Accueil > Centre > Paris > Agenda > Séminaire : Modélisation et Calcul Scientifique
Séminaire : Modélisation et Calcul Scientifique
Séminaire : Modélisation et Calcul Scientifique
A 14h, Entrée libre
Lieu : Salle de conférence du bâtiment 16
Intervenant(s) : Stanley Durrleman, ICM (Institut du Cerveau et de la Moëlle épinière) au sein de l'hôpital de la Pitié Salpêtrière
Mots-clés :
Accueil > Recherches > Agenda > Séminaire : Modélisation et Calcul Scientifique
Centres de recherche Inria
