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 51 repositories
  • 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 1 Updated Jan 8, 2025
  • copland-avm Public

    Copland Attestation Virtual Machine definition and tools

    ku-sldg/copland-avm’s past year of commit activity
    Coq 3 3 9 0 Updated Jan 6, 2025
  • asp-libs Public

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

    ku-sldg/asp-libs’s past year of commit activity
    C 0 2 0 0 Updated Jan 6, 2025
  • bib Public
    ku-sldg/bib’s past year of commit activity
    TeX 0 0 0 0 Updated Jan 2, 2025
  • llncs-template Public template

    Template for creating a repo for an llncs-style paper with our BibTeX files, includes, natbib, and headers in place.

    ku-sldg/llncs-template’s past year of commit activity
    TeX 0 1 0 0 Updated Dec 20, 2024
  • resolute-copland Public

    Thoughts on interfacing RESOLUTE and Copland

    ku-sldg/resolute-copland’s past year of commit activity
    Coq 0 0 16 0 Updated Dec 20, 2024
  • 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 Dec 13, 2024
  • 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 Dec 9, 2024
  • cakeml-coq Public

    CakeML semantics in Coq

    ku-sldg/cakeml-coq’s past year of commit activity
    Coq 0 1 0 0 Updated Dec 4, 2024
  • coq2cakeml Public

    Formal synthesis of CakeML from Coq functions

    ku-sldg/coq2cakeml’s past year of commit activity
    Coq 0 CC-BY-SA-4.0 0 0 0 Updated Oct 31, 2024
View all repositories

Top languages

Loading…

Most used topics

Loading…