William D. Young

According to our database, William D. Young authored at least 29 papers between 1980 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2022

Modeling Asymptotic Complexity Using ACL2.

William D. Young

Proceedings of the Proceedings Seventeenth International Workshop on the ACL2 Theorem Prover and its Applications, 2022

2013

Building a Hypervisor on a Formally Verifiable Protection Layer.

Michael McCoyd, Robert Bellarmine Krug, Deepak Goel, Mike Dahlin, William D. Young

Proceedings of the 46th Hawaii International Conference on System Sciences, 2013

2011

Toward the Verification of a Simple Hypervisor

Mike Dahlin, Ryan Johnson, Robert Bellarmine Krug, Michael McCoyd, William D. Young

Proceedings of the Proceedings 10th International Workshop on the ACL2 Theorem Prover and its Applications, 2011

2008

Mechanized Information Flow Analysis through Inductive Assertions.

Warren A. Hunt Jr., Robert Bellarmine Krug, Sandip Ray, William D. Young

Proceedings of the Formal Methods in Computer-Aided Design, 2008

2006

A robust machine code proof framework for highly secure applications.

David S. Hardin, Eric Whitman Smith, William D. Young

Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications, 2006

2005

Introducing Abstractions via Rewriting.

William D. Young

Proceedings of the Correct Hardware Design and Verification Methods, 2005

1997

Comparing Verification Systems: Interactive Consistency in ACL2.

William D. Young

IEEE Trans. Software Eng., 1997

Mathematical Modeling and Analysis of an External Memory Manager.

William D. Young, William R. Bevier

Proceedings of the FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 1997

1995

A State-Machine Approach to Non-Interference.

William R. Bevier, William D. Young

J. Comput. Secur., 1995

Connection policies and controlled interference.

William R. Bevier, Richard M. Cohen, William D. Young

Proceedings of the Eighth IEEE Computer Security Foundations Workshop (CSFW '95), 1995

1994

A State-Based Approach to Non-Interference.

William D. Young, William R. Bevier

Proceedings of the Seventh IEEE Computer Security Foundations Workshop, 1994

1992

Machine Checked Proofs of the Design of a Fault-Tolerance Circuit.

William R. Bevier, William D. Young

Formal Aspects Comput., 1992

Introduction to a Formally Defined Hardware Description Language.

Bishop Brock, Warren A. Hunt Jr., William D. Young

Proceedings of the Theorem Provers in Circuit Design, 1992

1991

Formal Methods versus Software Engineering: Is There a Conflict?

William D. Young

Proceedings of the Symposium on Testing, Analysis, and Verification, 1991

Mathematical Methods for Digital Systems Development.

Donald I. Good, William D. Young

Proceedings of the VDM '91, 1991

1990

Verified program support environments.

William D. Young

Proceedings of the Conference proceedings on Formal methods in software development, 1990

1989

A Mechanically Verified Code Generator.

William D. Young

J. Autom. Reason., 1989

An Approach to Systems Verification.

William R. Bevier, Warren A. Hunt Jr., J Strother Moore, William D. Young

J. Autom. Reason., 1989

Verified Compilation in micro-Gypsy.

William D. Young

Proceedings of the ACM SIGSOFT '89 Third Symposium on Testing, Analysis, and Verification, 1989

1987

Extending the Noninterference Version of MLS for SAT.

J. Thomas Haigh, William D. Young

IEEE Trans. Software Eng., 1987

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

J. Thomas Haigh, Richard A. Kemmerer, John McHugh, William D. Young

IEEE Trans. Software Eng., 1987

Coding for a Believable Specification to Implementation Mapping.

William D. Young, John McHugh

Proceedings of the 1987 IEEE Symposium on Security and Privacy, 1987

Toward Verified Execution Environments.

William R. Bevier, Warren A. Hunt Jr., William D. Young

Proceedings of the 1987 IEEE Symposium on Security and Privacy, 1987

1986

Extending the Non-Interference Version of MLS for SAT.

J. Thomas Haigh, William D. Young

Proceedings of the 1986 IEEE Symposium on Security and Privacy, 1986

1985

Secure Ada Target: Issues, System Design, and Verification.

William Earl Boebert, R. Y. Kaln, William D. Young, S. A. Hansohn

Proceedings of the 1985 IEEE Symposium on Security and Privacy, 1985

1981

Steelman and the verifiability of (preliminary) ADA.

William D. Young, Donald I. Good

ACM SIGPLAN Notices, 1981

HAL/S/V: a verifiable subset for HAL/S.

Anand R. Tripathi, William D. Young, Donald I. Good, James C. Browne

ACM SIGPLAN Notices, 1981

1980

Generics and verification in Ada.

William D. Young, Donald I. Good

Proceedings of the ACM-SIGPLAN symposium on The ADA programming language, 1980

A preliminary evaluation of verifiability in Ada.

Anand R. Tripathi, William D. Young, Donald I. Good

Proceedings of the ACM 1980 Annual Conference, 1980