David S. Hardin

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2008

2 David S. Hardin: Invited Tutorial: Considerations in the Design and Verification of Microprocessors for Safety-Critical and Security-Critical Applications. FMCAD 2008: 1-8

2006

1 David S. Hardin, Eric W. Smith, William D. Young: A robust machine code proof framework for highly secure applications. ACL2 2006: 11-20

	2008
2		David S. Hardin: Invited Tutorial: Considerations in the Design and Verification of Microprocessors for Safety-Critical and Security-Critical Applications. FMCAD 2008: 1-8
	2006
1		David S. Hardin, Eric W. Smith, William D. Young: A robust machine code proof framework for highly secure applications. ACL2 2006: 11-20

Coauthor Index

1 Eric W. Smith [1]

2 William D. Young [1]

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page