Speakers
	Martín Abadi     University of California, Santa Cruz Access Control and Logic Úlfar Erlingsson     Microsoft Research, Silicon Valley Program Monitoring Ed Felten     Princeton University Security and Society Jeff Foster     University of Maryland Security via Type Qualifiers Neal Glew     Intel Research Typed Assembly Language Carl Gunter     University of Pennsylvania Network Security Architectures Peter Lee     Carnegie Mellon University Proof Carrying Code Andrew Myers     Cornell University Principles of Systems Security François Pottier     INRIA Language-Based Information-Flow Security David Walker     Princeton University Type Systems Steve Zdancewic     University of Pennsylvania Current Techniques in Language-Based Security
	This page is the property of the University of Oregon