DS07 - Société de l'information et de la communication

Certification of IoT Secure Compilation – CISC

Submission summary

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

Project coordinator

Centre de Recherche Inria Sophia Antipolis - Méditerranée (Laboratoire public)

The author of this summary is the project coordinator, who is responsible for the content of this summary. The ANR declines any responsibility as for its contents.


Centre de Recherche Inria Sophia Antipolis - Méditerranée
College de France
Centre de Recherche Inria Rennes - Bretagne Atlantique
Centre de Recherche Inria Grenoble - Rhône-Alpes

Help of the ANR 774,782 euros
Beginning and duration of the scientific project: March 2018 - 48 Months

Useful links