MOPS: an Infrastructure for Examining Security Properties of Software (2002)

by Hao Chen , David Wagner
Venue:In Proceedings of the 9th ACM Conference on Computer and Communications Security
Citations:195 - 7 self