Section: Partnerships and Cooperations

Inria Internal Funding


SPAI (Security Program Analyses for the IoT) is an IPL (Inria Project Lab), with a duration of 4 years, started on April 2018. Members of the Antique, Celtique, Indes, Kairos, and Privatics Inria teams are involved in the SPAI IPL.

SPAI is concerned with the design of program analyses for a multitier language for the Internet of Things (IoT). The programming abstractions will allow us to reason about IoT systems from microcontrollers to the cloud. Relying on the Inria multitier language Hop.js semantics and the current Coq formalizations of JavaScript semantics, we plan to certify these analyses in order to guarantee the impossibility of security properties violations and implement security properties’ enforcements by compilation.


DATA4US is a joint project between two teams in Inria Sophia Antipolis and Inria Grenoble - Rhône-Alpes that tackles these interdisciplinary challenges by establishing collaborations with researchers in Law. Members are Nataliia Bielova (INDES) and Cedric Lauradoux (Privatics).

DATA4US will propose a new architecture for exercising access rights that will explain the users whether their data has been legally collected and eventually help contact DPAs for further investigations.

ADT FingerKit

In the context of the Inria ADT call, we are involved in a FingerKit: a Cloud Platform to Study Browser Fingerprints at Large, lead by Walter Rudametkin from the Spirals project-team. The funding for a two year engineering position for the 2018-2020 period was obtained and an engineer is hired in Spirals project-team. Nataliia Bielova is part of this project.