William D. Young

Publication Activity (10 Years)

Years Active: 1980-2022
Publications (10 Years): 1

Top Topics

Decision Problems

Genetic Algorithm

Operating System

Top Venues

Publications

William D. Young
Modeling Asymptotic Complexity Using ACL2. ACL2 (2022)
Michael McCoyd, Robert Bellarmine Krug, Deepak Goel, Mike Dahlin, William D. Young
Building a Hypervisor on a Formally Verifiable Protection Layer. HICSS (2013)
Mike Dahlin, Ryan Johnson, Robert Bellarmine Krug, Michael McCoyd, William D. Young
Toward the Verification of a Simple Hypervisor ACL2 (2011)
Warren A. Hunt Jr., Robert Bellarmine Krug, Sandip Ray, William D. Young
Mechanized Information Flow Analysis through Inductive Assertions. FMCAD (2008)
David S. Hardin, Eric W. Smith, William D. Young
A robust machine code proof framework for highly secure applications. ACL2 (2006)
William D. Young
Introducing Abstractions via Rewriting. CHARME (2005)
William D. Young, William R. Bevier
Mathematical Modeling and Analysis of an External Memory Manager. FME (1997)
William D. Young
Comparing Verification Systems: Interactive Consistency in ACL2. IEEE Trans. Software Eng. 23 (4) (1997)
William R. Bevier, William D. Young
A State-Machine Approach to Non-Interference. J. Comput. Secur. 3 (1) (1995)
William R. Bevier, Richard M. Cohen, William D. Young
Connection policies and controlled interference. CSFW (1995)
William D. Young, William R. Bevier
A State-Based Approach to Non-Interference. CSFW (1994)
William R. Bevier, William D. Young
Machine Checked Proofs of the Design of a Fault-Tolerance Circuit. Formal Aspects Comput. 4 (6A) (1992)
Bishop Brock, Warren A. Hunt Jr., William D. Young
Introduction to a Formally Defined Hardware Description Language. TPCD (1992)
Donald I. Good, William D. Young
Mathematical Methods for Digital Systems Development. VDM Europe (2) (1991)
William D. Young
Formal Methods versus Software Engineering: Is There a Conflict? Symposium on Testing, Analysis, and Verification (1991)
William D. Young
Verified program support environments. Formal Methods in Software Development (1990)
William D. Young
A Mechanically Verified Code Generator. J. Autom. Reason. 5 (4) (1989)
William R. Bevier, Warren A. Hunt Jr., J. Strother Moore, William D. Young
An Approach to Systems Verification. J. Autom. Reason. 5 (4) (1989)
William D. Young
Verified Compilation in micro-Gypsy. Symposium on Testing, Analysis, and Verification (1989)
J. Thomas Haigh, Richard A. Kemmerer, John McHugh, William D. Young
An Experience Using Two Covert Channel Analysis Techniques on a Real System Design. IEEE Trans. Software Eng. 13 (2) (1987)
William D. Young, John McHugh
Coding for a Believable Specification to Implementation Mapping. IEEE Symposium on Security and Privacy (1987)
William R. Bevier, Warren A. Hunt Jr., William D. Young
Toward Verified Execution Environments. IEEE Symposium on Security and Privacy (1987)
J. Thomas Haigh, William D. Young
Extending the Noninterference Version of MLS for SAT. IEEE Trans. Software Eng. 13 (2) (1987)
J. Thomas Haigh, Richard A. Kemmerer, John McHugh, William D. Young
An Experience Using Two Covert Channel Analysis Techniques on a Real System Design. IEEE Symposium on Security and Privacy (1986)
J. Thomas Haigh, William D. Young
Extending the Non-Interference Version of MLS for SAT. IEEE Symposium on Security and Privacy (1986)
William Earl Boebert, R. Y. Kaln, William D. Young, S. A. Hansohn
Secure Ada Target: Issues, System Design, and Verification. IEEE Symposium on Security and Privacy (1985)
William D. Young, Donald I. Good
Steelman and the verifiability of (preliminary) ADA. ACM SIGPLAN Notices 16 (2) (1981)
Anand R. Tripathi, William D. Young, Donald I. Good, James C. Browne
HAL/S/V: a verifiable subset for HAL/S. ACM SIGPLAN Notices 16 (3) (1981)
William D. Young, Donald I. Good
Generics and verification in Ada. SIGPLAN (1980)
Anand R. Tripathi, William D. Young, Donald I. Good
A preliminary evaluation of verifiability in Ada. ACM Annual Conference (1980)