There are 29 Results with the keyword : "Inria Paris"
A new vulnerability, Logjam, in SSL and TLS cryptographic protocols, which impacts approximately 8% of the Internet, has been updated. This discovery is related to the work of researchers at Microsoft Research, Johns Hopkins University, University of Michigan, University of Pennsylvania and Inria.
Thomas Watteyne is a member of the Eva team at Inria Paris. In 2016, as part of the "Save the peaches" project, he equipped Argentinian orchards with sensors in order to predict the arrival of frost and save the crops. The team is now planning to use the same technology in order to predict snow melt in the Sierra Nevada.
Séminaire des équipes de recherche
Place : 2 rue Simone Iff (ou: 41 rue du Charolais) - Salle Lions 1, bâtiment C - 15h45
Guest(s) : Jacques Garrigue (Nagoya University)
Laurent Romary, a researcher with the Alpage project team, has been appointed Chair of ISO/CT 37, 2016 for a period of 6 years as from January 1.
In 1967, General de Gaulle's “Plan Calcul” assigned Iria to the Rocquencourt site after the Supreme Headquarters Allied Powers Europe (SHAPE) left Camp Voluceau. At end of 2015, the Paris-Rocquencourt research centre is leaving the site for the new “Paris Inria Centre” in inner Paris to be near its academic and industrial partners.
Extreme Computing: The 2015 Bull-Joseph Fourier prize rewards R&D work that provides tangible and immediate benefits in the fields of medicine and materials.
A Logical Relation for Monadic Encapsulation of State: Proving contextual equivalences in the presence of runST
Place : INRIA - Paris -2 rue Simone Iff - Salle Lions 2, bâtiment C
Guest(s) : Amin Timany, KU Leuven
Provably secure compilation of side-channel countermeasures.
Place : Inria de Paris - 2 rue Simone Iff - 75012 - Paris
Guest(s) : Vincent Laporte, IMDEA