University of Virginia, Department of Computer Science
CS201J: Engineering Software, Fall 2003

Notes: Tuesday 11 November 2003
Schedule

Notes

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?





Notes
A. Appel and S. Govindavajhala. Using Memory Errors to Attack a Virtual Machine. In IEEE Symposium on Security and Privacy, Oakland, CA, May 2003.

Slashdot Commentary

JavaCard

Ion-Turbo 1200W Bit Flipping Device (reduces your bit-flipping time by up to 50%)


CS201J University of Virginia
Department of Computer Science
CS 201J: Engineering Software
Sponsored by the
National Science Foundation
cs201j-staff@cs.virginia.edu