Software Devices and Systems Group
|
|
MIT Laboratory for Computer
Science Software Devices and Systems Group
Publications |
Andrew Twyman. Flexible Code Safety for Win32. MIT MEng Thesis. May 21, 1999. (abstract; PDF, postscript (91 pages).
MIT Master's thesis that describes a Win32 implementation of Naccio.David Evans and Andrew Twyman. Flexible Policy-Directed Code Safety. In 1999 IEEE Symposium on Security and Privacy, Oakland, California, May 9-12, 1999. (abstract; PDF, gzipped postscript, 14 pages)
A general introduction to Naccio.