Acompany Co., Ltd.

Ensures geographical security and prevents physical attacks by verifying the organisation to which the TEE machine belongs

A transpiler for mutually-referential reflective programming in Nix

Humane-RAFW for Intel TDX DCAP-RA on baremetal.

Extend IMA measurements to CC runtime measurement registers via tsm-mr

A PoC implementation of mutual attestation for TPM-backed nodes using Kleene's second recursion theorem

A transpiler for mutually-referential reflective programming in Python

Remote Attestation Framework for AWS Nitro Enclaves

旧デモURLの転送スタブ → サイト本体は CAS-help-site

Python libraries for parsing SNP reports, fetching VCEK cert chains, and verifying them

SecureCode の公開配布リポジトリ。バイナリ、インストールスクリプト、ライセンスを配布する。