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