Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
William D. Young
2010 – today
- 2013
[c16]Michael McCoyd, Robert Bellarmine Krug, Deepak Goel, Mike Dahlin, William D. Young: Building a Hypervisor on a Formally Verifiable Protection Layer. HICSS 2013: 5069-5078- 2011
- [c15]Mike Dahlin, Ryan Johnson, Robert Bellarmine Krug, Michael McCoyd, William D. Young: Toward the Verification of a Simple Hypervisor. ACL2 2011: 28-45
2000 – 2009
- 2008
- [c14]Warren A. Hunt Jr., Robert Bellarmine Krug, Sandip Ray, William D. Young: Mechanized Information Flow Analysis through Inductive Assertions. FMCAD 2008: 1-4
- 2006
- [c13]David S. Hardin, Eric W. Smith, William D. Young: A robust machine code proof framework for highly secure applications. ACL2 2006: 11-20
- 2005
- [c12]
1990 – 1999
- 1997
- [j7]William D. Young: Comparing Verification Systems: Interactive Consistency in ACL2. IEEE Trans. Software Eng. 23(4): 214-223 (1997)
- [c11]William D. Young, William R. Bevier: Mathematical Modeling and Analysis of an External Memory Manager. FME 1997: 237-257
- 1995
- [j6]William R. Bevier, William D. Young: A State-Machine Approach to Non-Interference. Journal of Computer Security 3(1): 55-70 (1995)
- [c10]William R. Bevier, Richard M. Cohen, William D. Young: Connection policies and controlled interference. CSFW 1995: 167-176
- 1994
- [c9]
- 1992
- [j5]William R. Bevier, William D. Young: Machine Checked Proofs of the Design of a Fault-Tolerance Circuit. Formal Asp. Comput. 4(6A): 755-775 (1992)
- [c8]Bishop Brock, Warren A. Hunt Jr., William D. Young: Introduction to a Formally Defined Hardware Description Language. TPCD 1992: 3-35
- 1991
- [c7]Donald I. Good, William D. Young: Mathematical Methods for Digital Systems Development. VDM Europe (2) 1991: 406-430
- [c6]William D. Young: Formal Methods versus Software Engineering: Is There a Conflict? Symposium on Testing, Analysis, and Verification 1991: 188-189
1980 – 1989
- 1989
- [j4]William R. Bevier, Warren A. Hunt Jr., J. Strother Moore, William D. Young: An Approach to Systems Verification. J. Autom. Reasoning 5(4): 411-428 (1989)
- [j3]
- [c5]William D. Young: Verified Compilation in micro-Gypsy. Symposium on Testing, Analysis, and Verification 1989: 20-26
- 1987
- [j2]J. Thomas Haigh, William D. Young: Extending the Noninterference Version of MLS for SAT. IEEE Trans. Software Eng. 13(2): 141-150 (1987)
- [j1]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): 157-168 (1987)
- [c4]William R. Bevier, Warren A. Hunt Jr., William D. Young: Toward Verified Execution Environments. IEEE Symposium on Security and Privacy 1987: 106-115
- [c3]William D. Young, John McHugh: Coding for a Believable Specification to Implementation Mapping. IEEE Symposium on Security and Privacy 1987: 140-149
- 1986
- [c2]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: 14-24
- [c1]J. Thomas Haigh, William D. Young: Extending the Non-Interference Version of MLS for SAT. IEEE Symposium on Security and Privacy 1986: 60-60
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-04-18 02:18 CEST by the dblp team