USENIX supports diversity, equity, and inclusion and condemns hate and discrimination.
Biblio
Export 2 results:
Filters: Author is David L. Dill [Clear All Filters]
Applying a Reusable Election Threat Model at the County Level. 2011 Electronic Voting Technology Workshop/Workshop on Trustworthy Elections (EVT/WOTE 11).
.
2011. CMC: A Pragmatic Approach to Model Checking Real Code. 5th Symposium on Operating Systems Design and Implementation (OSDI 02).
.
2002.