G. Necula and P. Lee, “Research on Proof-Carrying Code for Untrusted-Code Security,” Proceedings of IEEE Sym- posium on Security and Privacy, 1997, p. 204.
has been cited by the following article:
Related Articles: