The foundations of a provably secure operating system (PSOS) (1979) [pdf]

Reliability Issues from Computer Date and Time Problems

An Analysis of Conficker (2009)

SMT for state-based formal methods: the ASM case study (2017)

Timeline for Logic, λ-Calculus, and Programming Language Theory (2012)

Design and Verification of Secure Systems (1981)

TRIMMER: Application Specialization for Code Debloating