Taxonomic Search: john OR mitchell
Results 1 - 10 of 200
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.
NSF/IARPA/NSA Workshop on the Science of Security
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.
2013 COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF 2013)
June 26–28, 2013 , Tulane University, New Orleans LA, USA
Co-located Conferences: MFPS, LICS
CSF associated workshops: FCS, FCC, STAST
The early registration deadline is May 22, 2013