Sites Inria

There are 79 Results with the keyword : "Inria de Paris"

Cybersecurity

Prosecco: cryptographic protocols in safe custody

11/02/2019

In mid-January Inria published its white paper on cybersecurity, highlighting 5 scientific challenges that need to be met for the future. High on the list is the security of cryptographic protocols. This is precisely the playing field of the Prosecco team (Inria Paris). 

Keywords:

Home > Centre > Paris > News > Prosecco : les protocoles cryptographiques sous bonne garde

More

Start-up

Connected ports: another barrier broken thanks to Falco

18/02/2019

Set up following the SmartMarinaproject, led by the Eva team at the Inria Paris centre, the start-up Wattson Elements has unveiled technology capable of remotely monitoring boats moored in marinas. The goal of this solution, given the name Falco, was to improve marina management and security while promoting the development of new services targeted at boat owners. 

Keywords:

Home > Centre > Paris > News > Port connecté : un nouveau cap franchi grâce à Falco

More

Irène-Vignon-Clémentel - © Inria / Photo G. Scagnelli

Interdisciplinarité

Applying numerical simulation to surgery

Com CRI Paris (*) - 3/04/2019

Built on cooperation between researchers in biological fluid dynamics, mathematical modelling specialists and doctors, the Reo project team came to an end in December 2018. This is an opportunity to look back on the research into congenital heart diseases and liver surgery that Irène Vignon-Clémentel, senior researcher at Inria Paris, conducted over more than 12 years in that multidisciplinary team.

Keywords:

Home > Centre > Paris > News > La simulation numérique au service de la chirurgie

More

Summer School 2019

Computer Science CEA EDF INRIA Summer school 2019

24/06/2019 to 28/06/2019

Recent developments in neural network approaches (more known now as "deep learning") have dramatically changed the landscape of several research fields such as image classification, object detection, speech recognition, machine translation, self-driving cars and many more.

Place : UPMC - Sorbonne Universités – 75005 Paris, France

Keywords:

Home > Centre > Paris > Calendar > Computer Science CEA EDF INRIA Summer school 2019

lire la suite

© INRIA Sophie Auvin - G comme Grille

Research team seminar

Gallium seminar

23/09/2019

Succinct data structures give space-efficient representations of large amounts of data without sacrificing performance. They rely on cleverly designed data representations and algorithms.

Place : Inria de Paris - Room Jacques-Louis Lions - 10:30am

Guest(s) : Jacques Garrigue (Nagoya University)

Keywords:

Home > Centre > Paris > Calendar > Séminaire Gallium 'Proving tree algorithms for succinct data structures'

lire la suite

Research Team Seminar

Gallium Seminar

30/09/2019

Data constantly change. Google engineers make one commit every 2 seconds on the same git repository. On average, Twitter receives approximatively 6000 tweets per second. A self-driving car typically updates 100MB of its state each second.

Place : Room Jacques-Louis Lions 1, building C - 10:30am

Guest(s) : Yann Régis-Gianas, Université Paris Diderot

Keywords:

Home > Centre > Paris > Calendar > Séminaire Gallium 'Towards certified incremental functional programming'

lire la suite

© INRIA Sophie Auvin - G comme Grille

Research Teams' Seminar

Gallium Seminar

3/10/2019

Parsers are a security-critical part of networking software, where bugs can lead to such catastrophes as the 2017 Cloudflare data leaks ("Cloudbleed".) 

We present EverParse, our open-source library and tools for automatic generation of verified efficient parsers for binary transport data formats.

Place : Room Jacques-Louis Lions 1, building C - 10:30am

Guest(s) : Tahina Ramananandro (Microsoft Research, Redmond)

Keywords:

Home > Centre > Paris > Calendar > Séminaire Gallium 'EverParse'

lire la suite

Scientific Conference

The Science Half-Hour

10/10/2019

The Science Half-Hour is back! See you on Thursday, October 10th at 1:45pm in conference room Jacques-Louis Lions (building C) for a new edition of your favorite meeting.

Place : Room Jacques Louis Lions, building C - 1:45pm

Keywords:

Home > Centre > Paris > Calendar > La demi-heure de science

lire la suite

© INRIA Sophie Auvin - G comme Grille

Research Teams Seminar

Gallium Seminar

14/10/2019

EverCrypt is a comprehensive collection of verified, high-performance cryptographic functionalities available via a carefully designed API. 

Place : Inria de Paris, Room Jacques Louis Lions 1, building C - 10:30am

Guest(s) : Jonathan Protzenko, Microsoft Research

Keywords:

Home > Centre > Paris > Calendar > Séminaire Gallium

lire la suite

© INRIA / Sophie Chauvin - Equation

Research Teams Seminar

Performance and Genericity Seminar (Research and Development Lab, EPITA)

1/10/2019

The Loci Auto-Parallelizing framework provides a Domain Specific Language (DSL) for the creation of high performance numerical models.

Place : 11am - Amphi 4, LRDE, EPITA (14-16, rue Voltaire 94276 Le Kremlin-Bicêtre)

Guest(s) : Edward A. Luke, Professor (Department of Computer Science and Engineering, Mississippi State University)

Keywords:

Home > Centre > Paris > Calendar > Séminaire Performance et Généricité du LRDE

lire la suite

Top