Making mobile code both safe and efficient | IEEE Conference Publication | IEEE Xplore