William D. Young

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