Challenge

SPAI

Security by Program Analysis of the IoT
Security by Program Analysis of the IoT

The SPAI team 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.

Inria teams involved
ANTIQUE, CELTIQUE, INDES, KAIROS, PRIVATICS

Members

Tamara Rezk

Scientific leader