Search
Arithmetic Protections Against Physical Attacks for Elliptic Curve based Cryptography – PAVOIS
This project involves studying arithmetic solutions that combine performance efficiency and resistance to hidden channel physical attacks for crypto-based elliptic curve (ECC) systems on platforms based on FPGA or ASIC circuits and on multicore processors. An important objective is to study theoreti
Algebraic groups and homology theories – GATHO
Rational points and 0-cycles of degree 1, rational points in A^1-homotopy. Birational motives, Noether's problem and commutativity of G(k)/R-equivalence. Motivic categories, Chow-Witt groups, approximation of homotopy theory of schèmes. Cohomological operations, Chow motivic décompositions. Isot
RURAGRI call 2012 for applications for transnational research linking agricultural, rural and sustainable development aspects
RURAGRI was set up within the 7th Framework Programme of the European Union (FP7-ERANET-2008-RTD, grant agreement number 235175) with the aim of improving coordination between on-going and future European, national and regional research programmes concerned with the interrelated issues of agricultur
Use of superacid conditions to highlight unprecedented transient intermediates in glycochemistry – OXYCARB
So-called glycosylation reactions enable sugar activation and are therefore a necessary step in the creation of sugary chemical compounds with novel functions. This life-essential reaction has been studied and chemically exploited for over a century even without full understanding of the mechanism b
Secondary Aerosol Formation in the MEDiterranean – SAF-MED
The formation of high organic concentrations observed in summer in the western Mediterranean may be explained by different processes: * Organic marine emissions * Biogenic VOCs interact with anthropogenic plumes and marine emissions * Formation of SOA (secondary organic aerosols) du
WCET: SEmantics, Precision, Traceability – W-SEPT
Static WCET estimations are by nature over-estimations, and thus pessimistic. Taking into account execution that are actually infeasible is a source of over-approximation. This can be due to the often complex hardware, but also the functionality of the software itself. The project aims at enhancin
Study of a first principles potential for water – QUANTEAU
From a fundamental point of view, Science magazine in 2005 included the problem of the structure of liquid water on the list of 125 most important questions of modern science. One of our goals is to describe as accurately as possible the interactions present in bulk water, and particularly the hydro
MOde LOcking and Solitons in SEmiconductors – MOLOSSE
Semiconductor light sources are often used in pulsed regimes in which they emit trains of spikes and these regimes are both of technical and fundamental interest. In certain conditions, each of these spikes can be described as a «solitary wave« or «soliton«, a surprising wave packet which does
ASP technologIes for Querying large scale multisource heterogeneous web information – ASPIQ
The main objective of this project is to propose: 1. Extensions of standard ASP for representing OWL2 tractable sublanguages in order to provide a common representation of the knowledge provided by multiple sources, allowing to deal with inconsistencies, exceptions and uncertainties, while staying
L'ANR présente au congrès international de "Biotechnologies microbiennes au service du développement"
Ces travaux représentent plus de 70 projets, un budget ANR de près de 40 M€, l'implication de plus de 300 partenaires (publics et privés), la production d'environ 300 publications scientifiques et d'une douzaine de brevets. Lors du congrès, l'Agence a également présenté les initiatives qu'elle mène
