Andrew W. Appel

1. Proof Pearl: Magic Wand as Frame
   2019/09/19 by Qinxiang Cao, Cao, Qinxiang, Shengyi Wang +5 · 1 voice · 1 citation
   Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic, programming, and type systems #Programming Languages (cs.PL) #Security and Verification in Computing #cs.PL
2. Verification of a Cryptographic Primitive
   2015/04/16 by Andrew W. Appel · 2 citations
   Computer Science · #Advanced Malware Detection Techniques #Cryptographic Implementations and Security #Security and Verification in Computing
3. An Internet Voting System Fatally Flawed in Creative New Ways
   2024/11/18 by Andrew W. Appel, Appel, Andrew W., Philip B. Stark +1 · 3 voices
   Computer Science · #Internet Traffic Analysis and Secure E-voting #cs.CR #cs.CY