Homepage Inria website
  • Inria login
  • The Inria's Research Teams produce an annual Activity Report presenting their activities and their results of the year. These reports include the team members, the scientific program, the software developed by the team and the new results of the year. The report also describes the grants, contracts and the activities of dissemination and teaching. Finally, the report gives the list of publications of the year.

  • Legal notice
  • Cookie management
  • Personal data
  • Cookies

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.