Visible to the public Science of Cyber Security: Modeling, Composition, and Measurement

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.


Visible to the public Security and Composition

A presentation on Security and Composition given by John Rushby at the Science of Security Meeting in November of 2008.