Team, Visitors, External Collaborators
Overall Objectives
Research Program
New Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
XML PDF e-pub
PDF e-Pub

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.

Tamara Rezk coordinates this project.

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 from INDES team is part of this project.