Publications 1999

International Conferences

1. F. Besson, T. Jensen, J.P. Talpin. Polyhedral Analysis for Synchronous Languages. In International Static Analysis Symposium, SAS'99, Gilberto Filé (ed.), Lecture Notes in Computer Science, Volume 1694, September 1999.
2. T. Jensen, D. Le Métayer, T. Thorn. Verification of control flow based security properties. In Proc.\ of the 20th IEEE Symp. on Security and Privacy, Pages 89-103, May 1999.

Misc

1. E. Denney, P. Fradet, C. Goire, T. Jensen, D. Le Métayer. Procédé de vérification de transformateurs de codes pour un système embarqué, notamment sur une carte à puce. July 1999.

Thesis

1. Thomas Jensen. Analyse statiques de programmes : fondements et applications. Habilitation à diriger des recherches Université de Rennes 1, December 1999.
2. T. Thorn. Vérification de politiques de sécurité par analyse de programmes. PhD Thesis Université de Rennes I, Ifsic, Irisa, February 1999.