MECA: an extensible, expressive system and language for statically checking security properties.

Junfeng Yang, Ted Kremenek, Yichen Xie, Dawson R. Engler

Browse the full CCS paper archive.