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.
Complang
   About Us
   Research
   Lehre
   Service
      Robotics
      Library
      Talks 2017
      Talks 2016
      Talks 2015
      Talks 2014
      Talks 2013
      Talks 2012
      Talks 2011
      Talks 2010
      Talks 2009
      Talks 2008
      Talks 2007
      Talks 2006
      Talks 2005
      Talks 2004
Sitemap
Contact
Fast Access:
Previous Talk
Next Talk
Faculty of Informatics
Vienna University of Technology
top | HTML 4.01 | Datenschutzerklärung | last update: 2018-05-25 (Webmaster)