ku-sldg/haskell-am ku-sldg/haskell-am

  • Stars
    star
    1
  • Language
    Haskell
  • License
    BSD 3-Clause "New...
  • Created over 5 years ago
  • Updated 11 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
ku-sldg/haskell-am
github

ku-sldg

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Haskell Attestation Manager implementation and tools

More Repositories

1

verified-tpm12

Githb repo for Verified TPM project
HTML
4
star
2

copland-avm

Copland Attestation Virtual Machine definition and tools
Coq
3
star
3

CTL

Coq CTL model
Coq
2
star
4

dependent-crypto

Experiments related to a Coq theory of perfect crypography
Coq
1
star
5

stairCASE

DARPA stairCASE Program
C
1
star
6

am-cakeml

Delivery repo for the KU CakeML Attestation Manager
Standard ML
1
star
7

cryptobasics

Coq cryptography theories
Coq
1
star