Popular repositories Loading
-
-
-
dependent-crypto
dependent-crypto PublicExperiments related to a Coq theory of perfect crypography
-
Repositories
Showing 10 of 60 repositories
- vs-copland Public
Repository for vs-copland, a Visual Studio Code extension (and supporting tools) for writing Copland attestation protocols
ku-sldg/vs-copland’s past year of commit activity - 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 - asp-libs Public
Repository for implementations of attestation service provider (asp) libraries (libs).
ku-sldg/asp-libs’s past year of commit activity - 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 - bib Public
ku-sldg/bib’s past year of commit activity - cds-demo-attacks Public
ku-sldg/cds-demo-attacks’s past year of commit activity
Top languages
Loading…
Most used topics
Loading…