| 2025 | FMICS | Proof Engineering in Logika: Synergistically Integrating Automated and Semi-automated Program Verification. | Stefan Hallerstede, Robby, John Hatcliff, Jason Belt, David S. Hardin |
| 2025 | VECoS | AGREE-Dog Copilot: A Neuro-Symbolic Approach to Enhanced Model-Based Systems Engineering. | Amer Tahat, Isaac Amundson, David S. Hardin, Darren D. Cofer |
| 2024 | VECoS | Proof Repair Utilizing Large Language Models: A Case Study on the Copland Remote Attestation Proofbase. | Amer Tahat, David S. Hardin, Adam Petz, Perry Alexander |
| 2021 | MODELS | Synthesizing Verified Components for Cyber Assured Systems Engineering. | Eric Mercer, Konrad Slind, Isaac Amundson, Darren D. Cofer, Junaid Babar, David S. Hardin |
| 2021 | SP | Formal Synthesis of Filter Components for Use in Security-Enhancing Architectural Transformations. | David S. Hardin, Konrad L. Slind |
| 2016 | SAFECOMP | A High-Assurance, High-Performance Hardware-Based Cross-Domain System. | David S. Hardin, Konrad Slind, Mark Bortz, James Potts, Scott Owens |
| 2012 | TACAS | The Guardol Language and Verification System. | David S. Hardin, Konrad Slind, Michael W. Whalen, Tuan-Hung Pham |
| 2009 | ICFEM | Development of Security Software: A High Assurance Methodology. | David S. Hardin, T. Douglas Hiratzka, D. Randolph Johnson, Lucas G. Wagner, Michael W. Whalen |
| 2008 | FMCAD | Invited Tutorial: Considerations in the Design and Verification of Microprocessors for Safety-Critical and Security-Critical Applications. | David S. Hardin |
| 1998 | CAV | Transforming the Theorem Prover into a Digital Design Tool: From Concept Car to Off-Road Vehicle. | David S. Hardin, Matthew Wilding, David A. Greve |