Export 4 results:
Filters: Author is Andrew W. Appel  [Clear All Filters]
Beringer L, Petcher A, Ye KQ, Appel AW.  2015.  Verified Correctness and Security of OpenSSL HMAC. 24th USENIX Security Symposium (USENIX Security 15). :207--221.
Appel AW, Ginsburg M, Hursti H, Kernighan BW, Richards CD, Tan G, Venetis P.  2009.  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).
Ou X, Govindavajhala S, Appel AW.  2005.  MulVAL: A Logic-based Network Security Analyzer. 14th USENIX Security Symposium (USENIX Security 05).
Wang DC, Appel AW, Korn JL, Serra CS.  1997.  A The Zephyr Abstract Syntax Description Language. Conference on Domain-Specific Languages (DSL 97).