Institute of Computer Languages
Compilers and Languages Group
Talks 2006 - Michael Franz
The Compilers and Languages Group invites you to a talk given by
Prof. Dr. Michael FRANZ
(University of California, Irvine, USA)
on
Cool Stuff With Virtual Machines: Making Java Much Faster and More Secure
| Date: |
Friday, 24th of March 2006
|
|---|
| Time: |
11:00(s.t.) |
|---|
| Location: |
TU Wien, Elektrotechnik, Hörsaal EI 3a,
Gusshausstraße 25-29 (Altbau), 2. Stock |
|---|
Abstract:
In this talk, I will report on two major ongoing research projects we are conducting at UC Irvine. In the first project, we have have extended the Java Virtual Machine with a per-object tagging mechanism that allows to implement Multi-Level Security schemes and Perl-style taint propagation. Our system can track the origin of information and enforce security policies auch as ("don't send secrets on network"), where "secret" is a data item read from a specific category of file. Existing Java VMs don't have per-object information flow tracking and hence need to resort to much more restrictive policies.
The surprising thing is that the overhead of implementing information-flow tracking in JVM is much smaller than expected, on the order of 5% runtime cost. Our implementation is 100% compatible with the existing Java platform, the policies are external to the JVM, and the system can stop malicious and faulty Java programs (including cross-scripting attacks).
The second project is a revolutionary new way of building just-in-time compilers. We are able to achieve about 50% of the performance of the best just-in-time compilers such as HotSpot in less than 1% of the effort. Key to this success is a novel application of Static Single Assignment form to trace-based compilation.
About Prof. Michael FRANZ:
Michael Franz is an Associate Professor in the Donald Bren School of Information and Computer Science at the University of California, Irvine. His current research focuses primarily on security and efficiency aspects of mobile code. Other research interests include code compression, dynamic compilation, compiling for low power use, and programming languages and architectures for component-based software construction. Franz received a Dr. sc. techn. degree in Computer Science (advisor Niklaus Wirth) and a Dipl. Informatik-Ing. degree, both from the Swiss Federal Institute of Technology, ETH Zurich.