Skip to content
@ku-sldg

ITTC System-Level Design Group

Popular repositories Loading

  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 3

  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

Repositories

Showing 10 of 56 repositories
  • asp-libs Public

    Repository for implementations of attestation service provider (asp) libraries (libs).

    ku-sldg/asp-libs’s past year of commit activity
    Rust 0 3 2 1 Updated Apr 3, 2025
  • am-cakeml Public

    Delivery repo for the KU CakeML Attestation Manager

    ku-sldg/am-cakeml’s past year of commit activity
    Standard ML 1 GPL-3.0 1 1 0 Updated Apr 2, 2025
  • copland-avm Public

    Copland Attestation Virtual Machine definition and tools

    ku-sldg/copland-avm’s past year of commit activity
    Coq 3 3 12 0 Updated Apr 2, 2025
  • rust-am-lib Public

    A repository to hold Rust crates and common libraries that support building Copland ASPs and AMs (Attestation Managers) in Rust

    ku-sldg/rust-am-lib’s past year of commit activity
    Rust 0 0 0 0 Updated Apr 2, 2025
  • demo_layered_attestation Public
    ku-sldg/demo_layered_attestation’s past year of commit activity
    OCaml 0 Apache-2.0 0 0 0 Updated Mar 31, 2025
  • rust-am-clients Public

    A repository for client implementations written in Rust that interact with Attestation Manager (AM) and Attestation Service Provider (ASP) servers.

    ku-sldg/rust-am-clients’s past year of commit activity
    Rust 0 0 2 0 Updated Mar 31, 2025
  • opam-repo Public

    Opam repository for packages created and maintained by @ku-sldg

    ku-sldg/opam-repo’s past year of commit activity
    0 1 0 0 Updated Mar 29, 2025
  • coq-template Public template

    Template file for a new Coq project

    ku-sldg/coq-template’s past year of commit activity
    Makefile 0 CC-BY-SA-4.0 0 0 0 Updated Mar 29, 2025
  • copland-parser Public
    ku-sldg/copland-parser’s past year of commit activity
    Coq 0 CC-BY-SA-4.0 0 0 0 Updated Mar 28, 2025
  • copland-spec Public
    ku-sldg/copland-spec’s past year of commit activity
    Coq 0 CC-BY-SA-4.0 0 0 0 Updated Mar 27, 2025
View all repositories

Top languages

Loading…

Most used topics

Loading…