Skip to content

@CCC-Attestation CCC Attestation

Change the repository type filter

All

    Repositories list

    8 repositories

    • meetings

      Public
      Meeting materials
      Apache License 2.0
      •9•16•10•2•Updated Dec 22, 2024Dec 22, 2024

    • formal-spec-KBS

      Public
      Formal specification and verification of the Confidential Containers KBS protocol
      BSD 3-Clause "New" or "Revised" License
      •0•3•0•0•Updated Dec 17, 2024Dec 17, 2024

    • .github

      Public
      Apache License 2.0
      •1•0•0•0•Updated Sep 5, 2024Sep 5, 2024

    • formal-spec-TEE

      Public
      Formal specification of attestation mechanisms in Confidential Computing
      Shell
      •
      Apache License 2.0
      •3•17•0•0•Updated Aug 27, 2024Aug 27, 2024

    • interoperable-ra-tls

      Public
      Design documents and interoperability tests for Interoperable RA-TLS projects
      Apache License 2.0
      •3•11•3•0•Updated Jan 8, 2024Jan 8, 2024

    • attested-tls-poc

      Public
      Miscellaneous materials related to the "attested TLS" proof-of-concept
      Apache License 2.0
      •4•16•11•0•Updated Oct 25, 2023Oct 25, 2023

    • governance

      Public
      Apache License 2.0
      •5•0•1•0•Updated Sep 26, 2023Sep 26, 2023

    • rats-cheatsheet

      Public
      IETF RATS terms cheat sheet
      Makefile
      •
      Apache License 2.0
      •3•10•0•0•Updated Feb 4, 2023Feb 4, 2023