Table of ContentsProject Kimera Goals Java bytecode security Problem Problem Java Security Architecture Java Security Architecture Kimera Security Architecture Kimera Security Architecture Kimera Security Architecture Kimera Implementation Status Java Verification Testing Methodology Testing Results Vacuum Flaw Vacuum Exploit Vacuum Snapshot Vacuum lessons Future Directions |
Author: Emin Gun Sirer
Email: egs@cs.washington.edu Home Page: http://www.cs.washington.edu/homes/egs |