Composability, Provability and Reusability for Survivable Systems

Allen Goldberg, Principal Investigator
Zhenyu Qian
Alessandro Coglio
Richard Waldinger

Papers related to the project:

 

We have included a slide show that describes in detail the work on the Java Bytecode Verifier

We describe our objective and approach to the project.