Sites Inria

2017

Conférence scientifique

Karthik Bhargavan (Prosecco) : Verified Cryptography for Everyone

6/12/2017

Understanding and implementing cryptographic algorithms is hard, and even expert programmers often make mistakes.

Mots-clés :

Lire la suite

Conférence Scientifique

Elias Tsigaridas (Polsys) : Algebraic Algorithms: The era of computational non-linear algebra

2/11/2017

Algebraic algorithms provide the research community with extremely powerful tools for computing with the solution set of polynomials in many variables. These tools allow us, on the one hand, to tackle theoretical problems involving non-linear objects, and on the other to produce efficient implementations. The mixture of algebraic algorithms with symbolic-numeric techniques and dedicated tools that exploit the geometry and the structure of the problem at hand,has enabled researchers to solve problems that were impossible in the past.

Mots-clés :

Lire la suite

Conférence scientifique

Marc Shapiro (Inria de Paris, équipe Regal) : La juste cohérence

5/10/2017

La cohérence est un problème fondamental de l'informatique répartie, qui consiste à assurer que des données partagées réparties sur plusieurs ordinateurs restent en accord mutuel.

Il n'y a pas de modèle de cohérence qui soit meilleur dans tous les cas. En effet, la cohérence forte nécessite beaucoup de synchronisation, ce qui pose des problèmes de disponibilité et de performance ; alors que les modèles asynchrones sont disponibles et efficaces, mais sont complexes à utiliser pour les applications.

Mots-clés :

Lire la suite

Conférence scientifique

Frédéric Hecht (LJLL, UMPC, Sorbonne Universités) : Brain Imaging with Freefem++

7/09/2017

Microwave tomography is a novel imaging modality holding great promise for medical applications and in particular for brain stroke diagnosis. We demonstrated on synthetic data the feasibility of a microwave imaging technique for the characterization and monitoring of strokes. Using high performance computing, we are able to obtain a tomographic reconstruction of the brain in less than two minutes.
Our work demonstrates on synthetic data the feasibility of a microwave imaging technique for the characterization of CVAs, and won our research team the Bull-Joseph Fourier Prize in 2015. The numerical framework is based on high-performance computing open-source tools developed by our research team: the HPDDM library[1](L1) is an efficient parallel implementation of Domain De- composition Methods (DDM) and is interfaced with the finite element software FreeFem++[2](L2). Our work was carried out in collaboration with EMTensor, an Austrian innovative SME dedicated to biomedical imaging and is based on their BRain IMaging Generation1 (BRIMG1) prototype[3].

Mots-clés :

Lire la suite

Conférence scientifique

Fabrizio De Vico Fallani (Aramis) : Comment les mathématiques contribuent à comprendre et “utiliser” notre cerveau

7/07/2017

Aujourd’hui les techniques de neuroimagerie, tels quels la image par résonnance magnétique (IRM) ou l’électroencéphalographie (EEG), permettent d’avoir une représentation numérique de notre cerveau. Comment traiter cette énorme quantité de données afin de mieux comprendre le cerveau sain et malade devient un problème qui ne concerne pas seulement la neurologie mais aussi la mathématique.

Mais ce n’est pas seulement une question de compréhension. Il s’agit aussi de voir si et comment notre activité cérébrale pourrait être utilisée pour interagir avec le monde externe et permettre, par exemple, à des individus paralysés d’écrire avec la pensée. A l’Institut du Cerveau et de la Moelle épinière à Paris, nous développons des interfaces cerveau-machine qui permettent, à travers des algorithmes mathématiques, d’interagir avec un ordinateur.

Comment notre cerveau apprend à faire cela est une question d’organisation cérébrale qui nous cherchons à dévoiler en étudiant comment les neurones communiquent entre eux. Mieux comprendre cet apprentissage nous permettra d’améliorer les performances des interfaces cerveau-machine et identifier, notamment, des nouvelles stratégies de réhabilitation après un accident vasculaire cérébrale.

Mots-clés :

Lire la suite

Conférence scientifique

Miguel A. Fernández (Reo) : Cardiac hemodynamics simulations: motivations, models and numerical methods

1/06/2017

The cardiac function is a complex multi-physic system whose purpose is to pump oxygenated blood throughout the body. In this talk, we will present an overview of some of the ongoing projects at REO project-team on the modeling and  simulation of blood flow within the cardiac cavities. We will first discuss the peculiarities of this phenomenon and the interest of simulations for applications. Then, we will focus on some fundamental aspects related to the simulation  of heart valve dynamics (the bottleneck of the system).

Mots-clés :

Lire la suite

Conférence scientifique

Liliana Cucu-Grosjean (AOSTE2) : More processors, better real-time ?

4/05/2017

The embedded real-time systems are present in our every-day life and this may let one think that all real-time systems problems are solved. Nevertheless the airplanes flying today have inside only one core processors while any modern personal computer has multiple cores processors inside. Why faster or multiple cores processors are not solving better the real-time problem is counter-intuitive and we present examples to illustrate where comes the difficulty from. The increased communication between real-time systems has made the problem even more difficult as different research communities provide now solutions for such systems without necessarily being aware that computing takes time.

Mots-clés :

Lire la suite

Conférence scientifique

Gaëtan Leurent (Secret) La cryptanalyse, de la théorie à la pratique

6/04/2017

La cryptographie permet de sécuriser les communications, et prend une place de plus en plus importante dans la société numérique. Pour étudier la sécurité des algorithmes cryptographiques, on utilise deux approches complémentaires: la cryptanalyse étudie la sécurité des primitives (AES, SHA1, ...) en essayant de les attaquer, et les preuves de sécurité garantissent la sécurité des protocoles (TLS, ...) en supposant que les primitives sont sûres.

Lire la suite

Conférence scientifique

Graham Steel (Prosecco) : Cryptosense

A.A. (*) - 2/03/2017

Le logiciel Cryptosense détecte et aide à réparer les failles de sécurité dues à des erreurs d’utilisation des systèmes cryptographiques. Dans cette présentation j’expliquerai comment ce projet, créé à Paris en 2013 sous l’égide de Prosecco-Inria , est passé d’un simple projet de recherche intéressant l’industrie à une entreprise en pleine croissance travaillant avec des services financiers et des pouvoirs publics en Europe et en Amérique du Nord. Je me pencherai notamment sur les différences entre le prototype de recherche originel et notre produit final commercialisé, et j’expliquerai ma vision des différences entre un "chargé de recherche" et un manager de start-up.

Mots-clés :

Lire la suite

Conférence scientifique

Marc Pouzet (Parkas) : Soyons lucides, restons synchrones !

15/02/2017

La programmation synchrone connait un grand succès dans la mise en  oeuvre des systèmes embarqués les plus critiques, dans les avions  (commandes de vol, contrôle moteur, freinage), les trains (contrôle de bord), et les centrales (contrôle et arrêt d’urgence), etc. Plusieurs de ces applications sont développées avec l'environnement SCADE issu des premiers travaux sur le langage Lustre inventé par Paul Caspi et Nicolas Halbwachs dans les années quatre-vingts.

Mots-clés :

Lire la suite

Haut de page

Suivez Inria