Complexity

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. Our study is concerned with a _synchronous_ model of interaction based on cooperative threads whose …

CRISS

Sep 2003 — Dec 2006. CRISS, (Contrôle de Ressources et d'Interférence dans les Systèmes Synchrones) is a French project of ACI SÉCURITÉ INFORMATIQUE. The CRISS project focuses on security issues raised by _mobile code_, that occurs in areas as diverse as programmable networks, network games and smart cards. In ths project, we focus on two classes of properties that appear naturally in the context of mobile code: the derivation of bounds on the resources needed to execute code (to avoid denial of service attacks); and control of the flow of information, or non-interference, to avoid leakage of confidential data.

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 size of its parameters. More precisely, we consider bytecode programs that should be executed on a simple …

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 verifications at the level of the bytecode of the machine. In particular, we show that a combination of size …

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. Our study is concerned with a synchronous model of interaction based on cooperative threads whose …