@inproceedings {179537, title = {A Systematic {Process-Model-based} Approach for Synthesizing Attacks and Evaluating Them}, booktitle = {2012 Electronic Voting Technology Workshop/Workshop on Trustworthy Elections (EVT/WOTE 12)}, year = {2012}, address = {Bellevue, WA}, url = {https://www.usenix.org/conference/evtwote12/workshop-program/presentation/Phan}, publisher = {USENIX Association}, month = aug }