Jon Millen - Brief Curriculum Vitæ


  • B.A. Mathematics, Harvard, 1963
  • M.S. Mathematics, Stanford, 1965
  • Ph.D. Mathematics, Rensselaer Polytechnic Institute, 1969

RPI Thesis

On the Capacity and Homology of a Discrete Metric. Partial results for a problem due to Shannon involving graph theory, topology, and coding theory: the zero-error capacity of a channel whose "confusion graph" was a pentagon. (The problem was fully solved a few years later by Laszlo Lovacs.)


  • The MITRE Corporation, 1969-1997
  • SRI International, Computer Science Lab, 1997-2004
  • The MITRE Corporation, 2004-2012


  • Founding General Chair of the IEEE Computer Security Foundations Workshop and Symposium, 1988, and Steering Committee Chair until 2012.
  • Founding Editor in Chief (with S. Jajodia) of the Journal of Computer Security, until 2012.
  • Program and General Chair of the IEEE Symposium on Security and Privacy at times.
  • Chair of the IEEE Computer Society Technical Committee on Security and Privacy 2006-7.

Selected Papers (under construction)

Book Chapters (selected)

  • Constraint Solving Techniques and Enriching the Model with Equational Theories, with H. Comon-Lundh and S. Delaune, in Formal Models and Techniques for Analyzing Security Protocols, ed. V. Cortier and S. Kremer, IOS Press, 2011, pp. 35-61.
  • Models of Multilevel Computer Security, in Advances in Computers, ed. Marshall C. Yovits, Vol 29, 1989, pp. 1-45.
  • Operating System Security Verification, in Case Studies in Mathematical Modeling, ed. W.E. Boyce, Pitman, 1981, pp. 335-386.

Hobby Articles

  • A universal Turing Machine, BYTE, Dec. 1976.
  • One-Dimensional Life, BYTE, Dec. 1978.
  • Programming the game of Go, BYTE, April 1981.
  • Some articles for nibble Mac, 1986-88, and Macintosh Hands On, 1989.