Stars
11
Forks
2
Language
Shell
Last Updated
Mar 23, 2024
Similar Repos
| Repo | Language | Stars | Description | Updated At |
|---|---|---|---|---|
| C++ | 3 | Confidential Computing Series | Apr 25, 2023 | |
| C++ | 2 | Confidential VM Platform Guest attestation sample apps | Jul 20, 2022 | |
| C | 43 | An Open Enclave port of the ONNX inference server with data encryption and attestation capabilities … | Jul 21, 2022 | |
| TeX | 10 | NEO's formal specification | Jun 14, 2022 | |
| TypeScript | 78 | Confidential Storage Specification and Implementation | Aug 09, 2022 | |
| Rust | 874 | Enarx: Confidential Computing with WebAssembly | Aug 18, 2022 | |
| None | 46 | Confidential Computing Consortium Governance Documents | Apr 30, 2023 | |
| TLA | 2 | lido finance formal specification | Oct 19, 2021 | |
| CMake | 115 | Confidential Computing Zoo provides confidential computing solutions based on Intel SGX, TDX, HEXL, etc. technologies. | Aug 31, 2022 | |
| None | 8 | Collection of resources on Confidential Computing | Mar 23, 2023 | |
| Rust | 2 | Event Log utility for confidential computing | Jun 12, 2023 | |
| TeX | 12 | A formal specification for BIL | Dec 09, 2021 | |
| TeX | 1408 | The "Yellow Paper": Ethereum's formal specification | Aug 11, 2022 | |
| TeX | 2 | The "Yellow Paper": Ethereum's formal specification | Jan 09, 2022 | |
| None | 2 | The "Yellow Paper": Ethereum's formal specification | Oct 19, 2021 | |
| C++ | 22 | Open Enclave port of the ONNX runtime for confidential inferencing on Azure Confidential Computing | Aug 03, 2022 | |
| Python | 7 | Calculate AMD SEV-SNP measurement for confidential computing | Jun 23, 2022 | |
| Dockerfile | 9 | The samples aggregates Azure Confidential Computing related samples. | May 26, 2022 | |
| Rust | 2 | Libraries and tools for Confidential Computing on Azure | May 02, 2023 | |
| None | 3 | Formal specification for the key management project | Jan 29, 2023 | |
| Java | 2 | A Formal Specification Language Based on Statecharts | Oct 07, 2022 | |
| Java | 39 | Intellij plugin for TLA+ formal specification language. | Apr 15, 2023 | |
| F# | 187 | F# RISC-V Instruction Set formal specification | Apr 15, 2023 | |
| C | 502 | A novel container runtime, aka confidential container, for cloud-native confidential computing and enclave runtime ecosystem. | Aug 22, 2022 | |
| TLA | 13 | A formal specification of snapshot isolation in TLA+. | Jul 29, 2021 | |
| None | 18 | A formal specification for changelog files and entries | Nov 02, 2020 | |
| OCaml | 79 | A tool-agnostic formal specification language for OCaml. | Sep 06, 2022 | |
| Python | 3 | Formal specification for the XR/17032 processor architecture. | Apr 01, 2023 | |
| Verilog | 3 | An attempt at a formal specification for Bitcoin, including formal semantics for Bitcoin scripts. | Aug 22, 2016 | |
| None | 4 | Technical specification of RGB computing | Feb 03, 2022 | |
| Go | 640 | Constellation is the first Confidential Kubernetes. Constellation shields entire Kubernetes clusters from the (cloud) infrastructure … | Apr 24, 2023 | |
| None | 6 | [WIP] Formal Specification for the Next Iteration of Reloaded | Apr 21, 2023 | |
| Java | 8 | A formal model of the FMI specification in VDM | Nov 22, 2022 | |
| Go | 199 | MarbleRun is the control plane for confidential computing. Deploy, scale, and verify your confidential microservices … | Apr 18, 2023 | |
| TeX | 4 | Confidential! | Nov 28, 2019 | |
| Python | 11 | Repo of Azure Kubernetes service based sample implementations leveraging Azure Confidential Computing Nodes. | Aug 05, 2022 | |
| None | 21 | The free EAP version of the Cosmian Collaborative Confidential Computing platform. Try it! | Jun 06, 2022 | |
| Rust | 2 | A ledger for confidential computing (CC) shims for tracking memory management system calls | Nov 16, 2022 | |
| Coq | 100 | Formal specification and verification of hardware, especially for security and privacy. | Aug 08, 2022 | |
| Assembly | 63 | Automatic inference of a formal specification of the x86_64 instruction set | Sep 12, 2022 | |
| Python | 2 | Automated workflow routines for computing and storing theoretical data for reaction mechanisms | Apr 04, 2023 | |
| C++ | 12 | The Confidential Computing Certifier Framework consists of a client API called the certifier-API and server … | Apr 20, 2023 | |
| Lean | 7 | A formal specification of the Yul IR semantics in the Lean proof assistant. | Aug 03, 2022 | |
| Java | 3 | API of utilities for list, formal computing, UI, image manipulation, preferences, cache, threads, ... | Jan 07, 2018 | |
| TeX | 8 | This specification will define the Smmtt privilege ISA extensions required to support the supervisor domain … | Jun 12, 2023 | |
| Objective-C++ | 128 | Formal to Formal Mathematics Benchmark | Aug 12, 2022 | |
| C++ | 586 | Confidential Consortium Framework | Aug 18, 2022 | |
| None | 3 | Confidential Containers Community | Jun 10, 2022 | |
| Rust | 2 | Confidential Token Broker | Nov 08, 2023 | |
| Ada | 92 | Formal specification and generation of verifiable binary parsers, message generators and protocol state machines | Apr 03, 2023 |