Resource Control for Synchronous Cooperative Threads
Roberto M. Amadio, Silvano Dal Zilio Theoretical Computer Science 358(2-3):229—254, aug 2006.
Resource Control
CRISS
·171 words
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
Silvano Dal Zilio, Régis Gascon In APLAS 2005 — 3rd Asian Symposium on Programming Languages and Systems, nov 2005.
A Functional Scenario for Bytecode Verification of Resource Bounds
Roberto M. Amadio, Solange Coupet-Grimal, Silvano Dal Zilio, Line Jakubiec In CSL 2004 — 18th International Conference on Computer Science Logic, sep 2004.
Resource Control for Synchronous Cooperative Threads
Roberto M. Amadio, Silvano Dal Zilio In CONCUR 2004 — 15th International Conference on Concurrency Theory, aug 2004.
A Functional Scenario for Bytecode Verification of Resource Bounds
Roberto M. Amadio, Solange Coupet-Grimal, Silvano Dal Zilio, Line Jakubiec In SPACE 2004 — 2nd workshop on Semantics, Program Analysis, and Computing Environments for Memory Management, jan 2004.