@inproceedings {266573, author = {Eric L. Lazarus and David L. Dill and Jeremy Epstein}, title = {Applying a Reusable Election Threat Model at the County Level}, booktitle = {2011 Electronic Voting Technology Workshop/Workshop on Trustworthy Elections (EVT/WOTE 11)}, year = {2011}, address = {San Francisco, CA}, url = {https://www.usenix.org/conference/evtwote-11/applying-reusable-election-threat-model-county-level}, publisher = {USENIX Association}, month = aug } @inproceedings {270449, author = {Madanlal Musuvathi and David Y.W. Park and Andy Chou and Dawson R. Engler and David L. Dill}, title = {{CMC}: A Pragmatic Approach to Model Checking Real Code}, booktitle = {5th Symposium on Operating Systems Design and Implementation (OSDI 02)}, year = {2002}, address = {Boston, MA}, url = {https://www.usenix.org/conference/osdi-02/cmc-pragmatic-approach-model-checking-real-code}, publisher = {USENIX Association}, month = dec }