Jonathan Millen

Jonathan K. Millen

Address:: The MITRE Corporation
202 Burlington Road MS S128
Bedford, MA 01730
Email: jmillen(at)mitre.org
Tel: 781-271-5172

Activities

Some Papers

Call by Contract for Cryptographic Protocols, by Millen, Guttman, Ramsdell, Sheehy, and Sniffen. FCS-ARSPA, August 2006.
Symbolic Protocol Analysis With Products and Diffie-Hellman Exponentiation, by Millen and Shmatikov. Computer Security Foundations Workshop, June 2003.
Constraint Solving for Cryptographic Protocol Analysis, by Millen and Shmatikov, ACM CCS 2001.
MuCAPSL by Millen and Denker, for DISCEX III, April, 2003.
On the Freedom of Decryption by Millen. Information Processing Letters, 86(6), June 2003, pp. 329-333.
A Necessarily Parallel Attack, FLoC Workshop on Formal Methods and Security Protocols, 1999.
Depender Graphs: A Method for Fault-Tolerant Certificate Distribution, with Lincoln and Wright, JCS 9(4), 2001.
Unwinding Forward Correctibility, CSFW 1994.

Reference Information

Early Computer Security Papers, Part I, Matt Bishop's CD-ROM compilation at NIST

Background

Graduated from Rensselaer Polytechnic Institute in 1969 with a Ph. D. in mathematics. Thesis: ``On the Capacity and Homology of a Discrete Metric,'' it was really about a problem in the intersection of graph theory and coding theory, the zero-error capacity of a channel whose ``confusion graph'' was a pentagon. Not solved in the thesis; it was solved a few years later by Lovacs. At Rensselaer I also discovered an interest in automata theory. The degrees from Stanford (1965) and Harvard (1963) were in mathematics. But at Harvard I learned how to program the Univac II in binary, and at Stanford I learned Algol and LISP.

Began work in 1969 at The MITRE Corporation, working on Mathlab and some expert systems. Became involved in 1975 with computer security, especially modelling, covert channels, and Trusted Product evaluation (the Orange Book). I contributed to the TNI. Started the IEEE Computer Security Foundations Workshop in 1988, and co-founded the Journal of Computer Security in 1992. Research interests include information flow, covert channels, and protocol analysis. Developed the Interrogator, a Prolog program for key distribution protocol vulnerability analysis.

Work at SRI (1997-2004) included application of PVS to protocol security analysis; design of CAPSL; the Constraint Solver a new, different, and much better protocol analyzer; and other activities related to modeling of high-assurance systems, such as separation kernels and MILS.

Back to MITRE in 2004, with a role in the internal IA technology program. Work on TPMs and attestation protocols.

Other Interests

Wrote a few articles for BYTE magazine (1978), including one about an integrated-circuit implementation of a Turing Machine; another called "One-dimensional Life'' (cited in Wolfram's A New Kind of Science). Go player, ranking about 5 kyu.