Source-free Machine-checked Validation of Native Code in Coq

Document Details

Document Type: Pub Defense Publication
Publication Date: Nov 15, 2019
Source ID: 10.1145/3338502.3359759

Entities

People

Dakota Fisher
Gilmore R. Lundquist
Kevin W. Hamlen

Organizations

Air Force Research Laboratory
Defense Advanced Research Projects Agency
National Science Foundation
Office of Naval Research
University of Texas at Dallas