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
IoT.

Project coordinator

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

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.

Partner

Inria Sophia Antipolis-Méditerranée Centre de Recherche Inria Sophia Antipolis - Méditerranée
CDF College de France
Inria Rennes - Bretagne Atlantique Centre de Recherche Inria Rennes - Bretagne Atlantique
Inria Grenoble Rhône-Alpes - PRIVATICS 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