Export 2 results:
Filters: Author is David L. Dill  [Clear All Filters]
Lazarus EL, Dill DL, Epstein J.  2011.  Applying a Reusable Election Threat Model at the County Level. 2011 Electronic Voting Technology Workshop/Workshop on Trustworthy Elections (EVT/WOTE 11).
Musuvathi M, Park DYW, Chou A, Engler DR, Dill DL.  2002.  CMC: A Pragmatic Approach to Model Checking Real Code. 5th Symposium on Operating Systems Design and Implementation (OSDI 02).