Publications 2000

Proceedings

  1. I. Attali, T. Jensen (eds.). Proceedings of the International Workshop on Java Card (Java Card 2000). Inria, Cannes, France, September 2000.

International Conferences

  1. E. Denney, T. Jensen. Correctness of Java Card method lookup via logical relations. In Proc. of European Symp. on Programming (ESOP 2000), Lecture Notes in Computer Science, Pages 104-118, 2000.
  2. T. Genet, F. Klay. Rewriting for Cryptographic Protocol Verification. In Proceedings 17th International Conference on Automated Deduction, Lecture Notes in Artificial Intelligence, Volume 1831, 2000. ps

Research Reports

  1. T. Genet, F. Klay. Rewriting for Cryptographic Protocol Verification (extended version). Technical Report INRIA, No 3921, 2000. ps

Thesis

  1. Pascal Fradet. Approches langages pour la conception et la mise en oeuvre de programmes. Habilitation à diriger des recherches Université de Rennes 1, November 2000.
  2. Michaël Périn. Spécifications graphiques multi-vues : formalisation et vérification de cohérence. PhD Thesis IFSIC, October 2000.