William D. Young

An approach to systems verification

William R. Bevier, Warren A. Hunt, J Strother Moore et al. · Journal of Automated Reasoning · 1989 · 143 citations

Engineering, Automated Reasoning, Program Analysis +11

Extending the Noninterference Version of MLS for SAT

J. Thomas Haigh, William D. Young · IEEE Transactions on Software Engineering · 1987 · 115 citations

Engineering, Information Security, Verification +23

An Experience Using Two Covert Channel Analysis Techniques on a Real System Design

J. Thomas Haigh, Richard A. Kemmerer, John McHugh et al. · IEEE Transactions on Software Engineering · 1987 · 49 citations

Engineering, Information Security, Information Forensics +19

A robust machine code proof framework for highly secure applications

David Hardin, Eric W. Smith, William D. Young · 2006 · 39 citations

Engineering, Hardware Verification Language, Verification +25

Extending The Non-Interference Version Of MLS For Sat

J. Thomas Haigh, William D. Young · 1986 · 35 citations · Full text

Secure Ada Target, Engineering, Information Security +20