Keynote Speaker

Title

Adventures in Symbolic Protocol Analysis

Abstract

Symbolic protocol analysis is a puzzle with many facets. It is an interdisciplinary open-ended brain teaser, with challenges in areas such as decidability, model checking, logical systems, concurrency, verification, and cryptosystem modeling. The talk is about the process of discovering aspects of the problem and the variety of approaches to it.

Bio

Dr. Millen is a Senior Principal Computer Scientist in the Information Security Division (G020) of The MITRE Corporation. He contributes to projects involving trusted system architecture and modeling. He began work at MITRE in 1969, working on Mathlab (an early computer algebra system) and some expert systems. Work on formally specifying secure operating systems started in 1975, leading to methods for information flow analysis, detection and measurement of covert channels, and support for the DoD Trusted Product Evaluation Program (the Orange Book). For the TPEP he was a member of the Technical Review Board and contributor to the Trusted Network Criteria. His work in cryptographic protocol analysis began in 1982 with the first software analysis tool for this purpose. He organized the IEEE Computer Security Foundations Symposium (initially a workshop) in 1988, and chairs its steering committee. He co-founded the Journal of Computer Security in 1992, and acted as co-editor-in-chief until 2010. He was an associate editor of ACM Trans. on Information and System Security for its first eight years.

He had the position of Senior Computer Scientist at the SRI International Computer Science Laboratory from 1997 to 2004, working on the application of verification and model checking tools to protocol analysis. He developed the Constraint Solver, a new security protocol analyzer; and had projects in other areas such as public key infrastructure and separation kernels. He returned to MITRE in 2004. He has a Ph.D. in Mathematics from Rensselaer Polytechnic Institute, and an M.S. from Stanford and a B.A from Harvard, also in Mathematics. He has given short courses at Rensselaer Polytechnic Institute, University of Bologna, ETH Zurich, and Taiwan University of Science and Technology.

He was Chair of the IEEE Computer Society Technical Committee on Security and Privacy in 2006-7, General Chair of the IEEE Security and Privacy Symposium in 2000, and its Program Chair in 1985. He is a member of the Association for Computing Machinery and the IEEE Computer Society.