The French National Research Agency Projects for science

Voir cette page en français

ANR funded project

Société de l'information et de la communication (DS07) 2017
Projet CISC

Certification of IoT Secure Compilation

Since about a decade ago, researchers have been working on the design
of multitier languages for the web. A multitier programming language
unifies within a single formalism and a single execution environment
the programming of the different tiers of distributed
applications. On the web, this paradigm unifies the client tier, the
server tier, and the database tier. In this project we propose the
design and implementation of a multitier language for the Internet of
Things (IoT), with programming abstractions from microcontrollers to
the cloud. The proposal includes the design of security enforcements
by compilation as well as the handling of privacy issues by
construction. Relying on the JavaScript syntax and the current coq
formalizations of JavaScript semantics, we plan to certified the
compiler as well as study certifying compilation in the context of


CDF College de France

Inria Grenoble Rhône-Alpes - PRIVATICS Centre de Recherche Inria Grenoble - Rhône-Alpes

Inria Rennes - Bretagne Atlantique Centre de Recherche Inria Rennes - Bretagne Atlantique

Inria Sophia Antipolis-Méditerranée Centre de Recherche Inria Sophia Antipolis - Méditerranée

ANR grant: 774 782 euros
Beginning and duration: avril 2018 - 48 mois


ANR Programme: Société de l'information et de la communication (DS07) 2017

Project ID: ANR-17-CE25-0014

Project coordinator:
Madame Tamara Rezk (Centre de Recherche Inria Sophia Antipolis - Méditerranée)


Back to the previous page


The project coordinator is the author of this abstract and is therefore responsible for the content of the summary. The ANR disclaims all responsibility in connection with its content.