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
  • 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 Nov 20, 2024
  • 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 1 0 0 Updated Nov 20, 2024
  • resolute-copland Public

    Thoughts on interfacing RESOLUTE and Copland

    ku-sldg/resolute-copland’s past year of commit activity
    Coq 0 0 17 0 Updated Nov 19, 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
  • cakeml-coq Public

    CakeML semantics in Coq

    ku-sldg/cakeml-coq’s past year of commit activity
    Coq 0 1 0 0 Updated Oct 31, 2024
  • 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 2 1 Updated Oct 31, 2024
  • ku-sldg.github.io Public

    SLDG Webpage

    ku-sldg/ku-sldg.github.io’s past year of commit activity
    CSS 0 0 0 0 Updated Oct 21, 2024
  • coq Public Forked from coq/coq

    Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

    ku-sldg/coq’s past year of commit activity
    OCaml 0 LGPL-2.1 668 0 0 Updated Sep 24, 2024
  • bib Public
    ku-sldg/bib’s past year of commit activity
    TeX 0 0 0 0 Updated Sep 19, 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 Sep 18, 2024
View all repositories

Top languages

Loading…

Most used topics

Loading…