CS551: Security and Privacy on the Internet, Fall 2000
Manifest: Monday 13 November and Wednesday 15 November 2000
Make sure to schedule a project team progress meeting with me by Wednesday. Check your email for details.
Wednesday: Guest Lecture - Gary McGraw on Smart Card SecurityGary McGraw is the Vice President of Corporate Technology at Cigital. Dr. McGraw co-authored both Java Security: Hostile Applets, Holes, & Antidotes (Wiley, 1996) and Securing Java: Getting down to business with mobile code (Wiley, 1999) with Prof. Ed Felten of Princeton. He holds a dual PhD in Cognitive Science and Computer Science from Indiana University and a BA in Philosophy from the University of Virginia.
ReadingsRead before Monday 20 November:
- Stallings, Chapter 15.1: Intruders.
- Computer Immunology, Stephanie Forrest, Steven Hofmeyr and Anil Somayiji. Communications of the ACM, October 1997.
- Cedilla Systems - Peter Lee's company trying to commercialize proof-carrying code
- George Necula's Proof Carrying Code page
- Gary McGraw's Home Page
- What is proof-carrying code?
- What are the advantages and disadvantages of proof-carrying code?
- How hard is it to prove interesting properties about programs?
University of Virginia
Department of Computer Science
CS 551: Security and Privacy on the Internet