A draft of our paper, MOPS: An Infrastructure for Examining Security Properties of Software, is now available in postscript or pdf. We welcome comments.

This is work done in the Software Security project and sponsored by DARPA's CHATS program. The authors are Hao Chen and David Wagner.