Publications 2001

Proceedings

  1. Isabelle Attali, Thomas Jensen (eds.). Smart Card Programming and Security (e-Smart 2001). Springer LNCS vol. 2140, September 2001.

Academic Journals

  1. F. Besson, T. Jensen, D. Le Métayer, T. Thorn. Model ckecking security properties of control flow graphs. Journal of Computer Security, 9:217-250, 2001. download

International Conferences

  1. T. Genet, Valérie Viet Triem Tong. Reachability Analysis of Term Rewriting Systems with Timbuk. In 8th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, Lectures Notes in Artificial Intelligence, Volume 2250, Pages 691-702, 2001. ps
  2. T. Jensen, F. Spoto. Class analysis of object-oriented programs through abstract interpretation. In Proc. of Foundations of Software Science and Computation Structures (FoSSaCS'01), F. Honsell, M. Miculan (eds.), Pages 261-275, 2001.
  3. David Pichardie, Yves Bertot. Formalizing Convex Hulls Algorithms. In Proc.\ of 14th International Conference on Theorem Proving in Higher Order Logics (TPHOLs'01), Lecture Notes in Computer Science, Pages 346-361, 2001.
  4. Igor Siveroni, Thomas Jensen, Marc Éluard. A Formal Specification of the Java Card Applet Firewall. In Nordic Workshop on Secure IT-Systems, Hanne Riis Nielson (ed.), November 2001.
  5. Marc Éluard, Thomas Jensen, Ewen Denney. An Operational Semantics of the Java Card Firewall. In Smart Card Programming and Security (e-Smart 2001, Isabelle Attali, Thomas Jensen (eds.), Volume Springer LNCS vol. 2140, September 2001.

Research Reports

  1. Thomas Genet, Valérie Viet Triem Tong. Reachability Analysis of Term Rewriting Systems with Timbuk (extended version). Technical Report INRIA, No 0, 2001. ps

Thesis

  1. Marc Éluard. Analyse de sécurité pour la certification d'applications Java Card. PhD Thesis Université de Rennes 1, December 2001.