CS201J: Engineering Software, Fall 2003
Notes: Tuesday 11 November 2003
- Tuesday, 18 November: No class
- Tuesday, 25 November: PS6 Due
- Tuesday, 2 December: Exam 2 Out
- Friday, 5 December: Exam 2
What assumption made by the Java bytecode verifier might is violated if bits in memory can flip?
If you can violate type safety, how can you get around Java's security policy?
NotesA. Appel and S. Govindavajhala. Using Memory Errors to Attack a Virtual Machine. In IEEE Symposium on Security and Privacy, Oakland, CA, May 2003.
Ion-Turbo 1200W Bit Flipping Device (reduces your bit-flipping time by up to 50%)
University of Virginia
Department of Computer Science
CS 201J: Engineering Software
Sponsored by the
National Science Foundation