PICC: a secure mobile agent framework based on garbled circuit | IEEE Conference Publication | IEEE Xplore