CRISS

with the support of CNRS

Le projet CRISS se focalise sur les questions de sécurité soulevées par le concept de code mobile que l’on envisage aujourd’hui d’utiliser dans des domaines aussi variés que les réseaux programmables, les jeux en réseau et les cartes à puces. Les premières propositions – les “applets” de Java – ont visé à assurer l’intégrité de l’environnement d’exécution. Nous nous intéressons à deux autres classes de propriétés qui apparaîssent naturellement dans le contexte du code mobile :

  • La dérivation de bornes sur les ressources nécessaires à l’exécution du code afin d’éviter des attaques de type déni de service.

  • Le contrôle du flux d’information afin d’éviter la fuite de données confidentielles (non-interférence). L’objectif du projet est de développer des méthodes automatiques pour assurer et certifier ces propriétés et ceci dans le cadre d’un langage de coordination de modules séquentiels qui permet une exécution synchrone et déterministe

Composition

  • INRIA, Sophia (resp. Gérard Boudol).
  • LIF, Marseille (resp. Solange Coupet).
  • LIPN, Villetaneuse (resp. Patrick Baillot).
  • LORIA, Nancy (resp. Jean-Yves Marion).
  • PPS, Paris (resp. Roberto Amadio).
Avatar
Silvano DAL ZILIO
CNRS Researcher

My research interests include formal methods and concurrency semantics.

Publications

Resource Control for Synchronous Cooperative Threads

We develop new methods to statically bound the resources needed for the execution of systems of concurrent, interactive …

Resource Bound Certification for a Tail-Recursive Virtual Machine

We define a method to statically bound the size of values computed during the execution of a program as a function of the …

A Functional Scenario for Bytecode Verification of Resource Bounds

We define a simple stack machine for a first-order functional language and show how to perform type, size, and termination …

Resource Control for Synchronous Cooperative Threads

We develop new methods to statically bound the resources needed for the execution of systems of concurrent, interactive threads. …