@inproceedings {271016,
	author = {Philip W. L. Fong and Robert D. Cameron},
	title = {Proof Linking: Distributed Verification of Java Classfiles in the Presence of Multiple Classloaders},
	booktitle = {Java (TM) Virtual Machine Research and Technology Symposium (JVM 01)},
	year = {2001},
	address = {Monterey, CA},
	url = {https://www.usenix.org/conference/jvm-01/proof-linking-distributed-verification-java-classfiles-presence-multiple},
	publisher = {USENIX Association},
	month = apr
}
