G. Necula, P. Lee, "Research on Proof-Carrying Code for Untrusted-Code Security," Security and Privacy, IEEE Symposium on, pp. 0204, 1997 IEEE Symposium on Security and Privacy, 1997.

@article{ 10.1109/SECPRI.1997.601335,
author = {G. Necula and P. Lee},
title = {Research on Proof-Carrying Code for Untrusted-Code Security},
journal ={Security and Privacy, IEEE Symposium on},
volume = {0},
year = {1997},
issn = {1540-7993},
pages = {0204},
doi = {http://doi.ieeecomputersociety.org/10.1109/SECPRI.1997.601335},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}

TY - CONF
JO - Security and Privacy, IEEE Symposium on
TI - Research on Proof-Carrying Code for Untrusted-Code Security
SN - 1540-7993
SP
EP
A1 - G. Necula,
A1 - P. Lee,
PY - 1997
VL - 0
JA - Security and Privacy, IEEE Symposium on
ER -