Philip W. L. Fong, Robert D. Cameron. Proof Linking: Distributed Verification of Java Classfiles in the Presence of Multiple Classloaders. In Proceedings of the 1st Java™ Virtual Machine Research and Technology Symposium, April 23-24, 2001, Monterey, CA, USA. pages 53-66, USENIX, 2001. [doi]
Abstract is missing.