USENIX supports diversity, equity, and inclusion and condemns hate and discrimination.
Biblio
Export 4 results:
Filters: Author is Andrew W. Appel [Clear All Filters]
Verified Correctness and Security of OpenSSL HMAC. 24th USENIX Security Symposium (USENIX Security 15). :207--221.
.
2015. The New Jersey Voting-machine Lawsuit and the AVC Advantage DRE Voting Machine. 2009 Electronic Voting Technology Workshop/ Workshop on Trustworthy Elections (EVT/WOTE 09).
.
2009. MulVAL: A Logic-based Network Security Analyzer. 14th USENIX Security Symposium (USENIX Security 05).
.
2005. A The Zephyr Abstract Syntax Description Language. Conference on Domain-Specific Languages (DSL 97).
.
1997.