Pinned Repositories
alloydocs
Proposed documentation for alloytools.org
Azure-DCAP-Client
Interfaces between SGX SDKs and the Azure Attestation SGX Certification Cache.
CCF
Confidential Consortium Framework
ccf-app-samples
Sample applications for the Confidential Consortium Framework (CCF)
ccf-app-template
Template repository for CCF apps
cimetrics
Track your metrics in GitHub PR to avoid unwanted regressions
CommunityModules
TLA+ snippets, operators, and modules contributed and curated by the TLA+ community
didx509cpp
A C++, header-only DID:x509 resolver
draft-birkholz-cose-cometre-ccf-profile
A Profile of the CoMETRE Proof Structure for the Confidential Consortium Framework (CCF) and Corresponding Tree Algorithm
CCF
Confidential Consortium Framework
achamayou's Repositories
achamayou/alloydocs
Proposed documentation for alloytools.org
achamayou/Azure-DCAP-Client
Interfaces between SGX SDKs and the Azure Attestation SGX Certification Cache.
achamayou/CCF
Confidential Consortium Framework
achamayou/ccf-app-samples
Sample applications for the Confidential Consortium Framework (CCF)
achamayou/ccf-app-template
Template repository for CCF apps
achamayou/cimetrics
Track your metrics in GitHub PR to avoid unwanted regressions
achamayou/CommunityModules
TLA+ snippets, operators, and modules contributed and curated by the TLA+ community
achamayou/didx509cpp
A C++, header-only DID:x509 resolver
achamayou/draft-birkholz-cose-cometre-ccf-profile
A Profile of the CoMETRE Proof Structure for the Confidential Consortium Framework (CCF) and Corresponding Tree Algorithm
achamayou/eEVM
Enclave ready EVM (eEVM) is an open-source, standalone, embeddable, C++ implementation of the Ethereum Virtual Machine.
achamayou/everest-ci
CI scripts for project everest
achamayou/json
JSON for Modern C++
achamayou/mbedtls
An open source, portable, easy to use, readable and flexible SSL library
achamayou/jwcrypto
Implements JWK,JWS,JWE specifications using python-cryptography
achamayou/meeting-backgrounds
🖼️ Download and manage meeting background collections.
achamayou/oe-engine
ACC template generation engine
achamayou/oe-sgx-base-images
Base images for Open Enclave SGX applications
achamayou/openenclave
SDK for developing enclaves
achamayou/openenclave-ci
achamayou/openenclave-curl
libcurl build files to enable use in Open Enclave applications
achamayou/peps
Pyrona PEP WIP
achamayou/pycose
A Python implementation of the COSE specification (CBOR Object Signing and Encryption) described in RFC 8152.
achamayou/quint
Quint is a specification language based on the Temporal Logic of Actions
achamayou/ravl
Remote Attestation Verification Library
achamayou/rego-cpp
A C++ interpreter for the OPA policy language Rego
achamayou/scitt-ccf-ledger
Supply Chain Integrity Transparency and Trust ledger application using Confidential Consortium Framework (CCF)
achamayou/scitt-web
SCITT Website content
achamayou/snmalloc
Message passing based allocator
achamayou/tlaplus
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
achamayou/Trieste
A term rewriting system for experimental programming language development.