PhDOOS Logo

Supported by AITO.

These pages are currently maintained by Alex Potanin

 

Security-consciuos dynamic optimizations

Phung Nguyen
( Vietnamese )

University of New South Wales
Shool of Computer Science and Engineering, University of New South Wales, Sydney NSW 2052, Australia
tel: +61 2 93854941
fax: +61 2 9385 5533
nhp@cse.unsw.edu.au

Keywords:

formal calculus frameworks language implementation typing

Abstract:

Security, performance and portability are vital requirements in today's global computing environment. How a program or a component downloaded from an untrusted source can execute efficiently and safely in an arbitrary system is still an open question. Certifying compiler is a promising solution that guarantees safe execution of mobile codes. Some static optimizations have been applied successfully in the compiler. This research proposes an approach applying dynamic optimizations to certifying compilers in order to improve portability and performance.

The PhD work started: 05/09/2001

HTML3
JAVA

 

Last modified on Mon Aug 15 14:59:24 2005