SCITT Examples A collection of use case oriented examples for implementing the IETF SCITT drafts Use Cases A collection of use cases, with examples Generating and Signing an SPDX SBOM nodejs Generating and Signing a CycloneDX SBOM python Producing Transparent Formal Verification Results proverif