Invited Speaker

From stack maps to software certificates
Thomas Jensen, IRISA/CNRS, Rennes, France.
In this talk, we will review the basic principles behind Lightweight Bytecode Verification and the notion of stack map. We will then demonstrate how the idea of sending a certificate along with the bytecode to faciliate verification can be extended to other kinds of security-related properties, and discuss how such an extended bytecode verifier can be incorporated into a Trusted Computing Base.