untrusted agents using proof-carrying code (1998)

by G C Necula, P Lee, Safe
Venue:in: G. Vigna (Ed.),Mobile Agents and Security, in: LNCS