The machine stops (1909, PDF link)

The moral character of cryptographic work (2015)

The Moral Character of Cryptographic Work

The Machine Stops (1909)

Mining Semantic Loop Idioms (2018)

A Guide to Writing Mathematics

Five things we need to know about technological change (1998)

Input and Output Block Conventions for AES Encryption Algorithms (1999)

Finding Error-Handling Bugs in Systems Code Using Static Analysis (2012)

The Moral Character of Cryptographic Work

Five Things We Need to Know About Technological Change (1998)

Combining Symbolic Execution and Model Checking for Data Flow Testing (2015)

EMI-based Compiler Testing

The Moral Character of Cryptographic Work

The Moral Character of Cryptographic Work

A Guide to Writing Mathematics

TrustDavis: A Non-Exploitable Online Reputation System [pdf]