John Mitchell is the Mary and Gordon Crary Family Professor in the Stanford Computer Science Department. His research focuses on web security, network security, privacy, programming language analysis and design, formal methods, and applications of mathematical logic to computer science. Prof. Mitchell currently leads research projects funded by the US Air Force, the Office of Naval Research, private companies and foundations.

Andre Scedrov received his Ph.D. in Mathematics in 1981 at the State University of New York at Buffalo. He is a Professor of Mathematics and a Professor of Computer and Information Science at the University of Pennsylvania. His contributions are in logic, programming language semantics, and most recently, in information assurance. He has written over 90 research articles and several books. Prof. Scedrov has led two projects under the Critical Infrastructure Protection and High Confidence, Adaptable Software University Research Initiative.

ABSTRACT