GitHub repository: lethom/speccert
Primary language: Coq
Created: 2016-05-30T13:52:05Z
Description: Specifying and Verifying Hardware-based Security Enforcement