Réunion du 27 Septembre 2000

The meeting was held on September 27th at INRIA Rocquencourt.

Programme

L. Henrio (Oasis): Type inference for analysing shared objects.
M. Eluard (Lande): Static analysis of the Java Card firewall.
T. Jensen (Lande): Verification of control flow based security policies.
G. Dufay (Oasis): Formalisation of the BCV in Coq.
K. Verma (Coq): Reflecting symbolic model-checking in Coq.

Participants

I. Attali (Oasis), G. Barthe (Oasis), Y. Bertot (Lemme), P. Brisset (France Telecom), J. Despeyroux (Certilab), G. Dufay (Oasis), M. Eluard (Lande), T. Genet (Lande), E. Gimenez (Trusted Logic), L. Gottely (France Telecom), J. Goubault-Larrecq (Coq), B. Grégoire (Coq), L. Henrio (Oasis), T. Jensen (Lande), J.-L. Lanet (Gemplus), P. Letouzey (Coq), E. Madelaine (Oasis), S. Sousa (Oasis), K. Verma (Coq), B. Werner (Coq).

Back to the S-Java home page.

Gilles Barthe

Last modified: Thu Mar 23 10:10:41 MET 2000