Research on proof-carrying code for untrusted-code security | IEEE Conference Publication | IEEE Xplore