Project 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