Cyber & formal methods publications August 1, 2011 Conference PaperApplying a Reusable Election Threat Model at the County Level ↓ View presentation video online Share this