MOPS: an infrastructure for examining security properties of software.

Hao Chen, David A. Wagner

Browse the full CCS paper archive.