Speaker: Bennet Yee, UC San Diego
Date: July 23, 1999
Preliminary Results on Migrating Java Agents
As part of the UCSD Sanctuary group's research on providing secure agent execution environments, we have been exploring the use of a pre-compiler to implement the addition of a "migrate" primitive to the Java language. The motivation for this approach is to avoid modifying the Java back-end (interpreter / JIT), since lots of people are hacking on that to improve performance.
A prototype implementation of the pre-compiler exists, but as yet no performance analysis or tweaking has been done. In this talk, I will describe some of the program transformation techniques used, go over some Java language constructs that cause problems with our techniques, discuss expected performance issues, and gloss over some programming language issues that I don't fully understand.
Bennet Yee's research focuses on issues in computer security. There are many inter-related areas that impact the security of systems: user-interfaces, software systems design, theorem proving,and cryptography all play important roles. Bennet's primary research interests are currently secure coprocessor applications, mobile agent security (or lack thereof), electronic commerce, and cryptographic protocol design. He co-directs the Cryptography and Security lab jointly with Mihir Bellare. Bennet received his Ph.D. in Computer Science from Carnegie Mellon Univerisity's School of Computer Science, and his B.S. in Mathematics and B.S. in Computer Engineering from Oregon State University. While working on his Ph.D. thesis, he also worked with the Embedded Cryptographic Systems group at IBM Research. Bennet's Ph.D. advisor was Doug Tygar.