Popular repositories

1. verified-tpm12 verified-tpm12 Public

   Githb repo for Verified TPM project

   HTML 4

2. copland-avm copland-avm Public

   Copland Attestation Virtual Machine definition and tools

   Coq 3 2

3. CTL CTL Public

   Coq CTL model

   Coq 2

4. dependent-crypto dependent-crypto Public

   Experiments related to a Coq theory of perfect crypography

   Coq 1 1

5. stairCASE stairCASE Public

   DARPA stairCASE Program

   C 1

6. haskell-am haskell-am Public

   Haskell Attestation Manager implementation and tools

   Haskell 1