CISC - Certification of IoT Secure Compilation

Home » CISC - Certification of IoT Secure Compilation
Date: 
01/01/2018 to 31/12/2022

Project Description:

The goal of the ANR CISC project is to investigate multitier languages and compilers to build secure IoT applications with private communication.

In particular, we aim at extending multitier platforms by a new orchestration language that we call Hiphop.js to synchronize internal and external activities of IoT applications as a whole. Our goal is to define language, semantics, attacker models, and policies for the IoT and investigate automatic implementation of privacy and security policies by multitier compilation of IoT applications.

To guarantee such applications are correct, and in particular that the required security and privacy properties are achieved, we propose to certify them using the Coq proof assistant. We plan to implement the CISC results as extensions of the multitier language Hop.js (developed at Inria), based on the JavaScript language to maximize its impact. Using the new platform, we will carry out experimental studies on IoT security.

Week: 
Wednesday, 12 December, 2018

Future Events

By the end of YR2, the SECREDAS project is well on its way to deliver on its promise to make automated driving secure and safe whilst giving driver's full privacy. The document provides a brief overview of the project as well as the status by July 2020.

10/08/2020

The third Annual Fraud & Financial Crime Europe will focus on analysing the risks to determine the solutions in combating Fraud and Financial Crime.

01/09/2020 to 02/09/2020