A robust machine code proof framework for highly secure applications - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

David S. Hardin, Eric W. Smith, William D. Young. A robust machine code proof framework for highly secure applications. In Panagiotis Manolios, Matthew Wilding, editors, Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications, ACL2 2006, Seattle, Washington, USA, August 15-16, 2006. pages 11-20, ACM, 2006. [doi]

This author has not been identified. Look up 'David S. Hardin' in GoogleThis author has not been identified. Look up 'Eric W. Smith' in GoogleThis author has not been identified. It may be one of the following persons:

William D. Young

Look up 'William D. Young' in Google

runs on WebDSL