Kevin R. B. Butler William Enck Harri Hursti Stephen E. McLaughlin Patrick Traynor Patrick McDaniel Systemic Issues in the Hart InterCivic and Premier Voting Systems: Reflections on Project EVEREST. 2008 EVT http://www.usenix.org/events/evt08/tech/full_papers/butler/butler.pdf conf/uss/2008evt db/conf/uss/evt2008.html#ButlerEHMTM08