Thomas E. Hart Marsha Chechik David Lie Security Benchmarking using Partial Verification. 2008 HotSec http://www.usenix.org/events/hotsec08/tech/full_papers/hart/hart.pdf conf/uss/2008hotsec db/conf/uss/hotsec2008.html#HartCL08