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.


Research directions

  • IoT security and privacy
  • Multitier languages
  • JavaScript analyses
  • Provable secure compilation

Comments are closed.