[tahoe-dev] secure module import in a programming language
Lazy Stream
mr.monkey at gmail.com
Wed Apr 15 03:48:06 UTC 2009
Bauer, Appel, and Felten also approached this problem, for Java:
http://portal.acm.org/citation.cfm?id=781673
More information about the tahoe-dev
mailing list