seL4 VS rekor

Compare seL4 vs rekor and see what are their differences.

rekor

Software Supply Chain Transparency Log (by sigstore)
Our great sponsors
  • WorkOS - The modern identity platform for B2B SaaS
  • InfluxDB - Power Real-Time Data Analytics at Scale
  • SaaSHub - Software Alternatives and Reviews
seL4 rekor
59 29
4,492 828
1.2% 2.4%
9.0 9.7
7 days ago 10 days ago
C Go
GNU General Public License v3.0 or later Apache License 2.0
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.

seL4

Posts with mentions or reviews of seL4. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2024-01-29.

rekor

Posts with mentions or reviews of rekor. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2023-10-10.
  • Obtainium – Get Android App Updates Directly from the Source
    2 projects | news.ycombinator.com | 10 Oct 2023
    There could be asset hashes in sigstore: https://sigstore.dev/

    Is there a good way to run native mobile app GUI tests with GitHub Actions?

    A VM/container emulator like anbox, waydroid, (or all of ChromeOS Flex in KVM) in a GitHub Action is probably enough to run GUI tests?

    "Build your own SLSA 3+ provenance builder on GitHub Actions"

  • Why SQLite Does Not Use Git
    13 projects | news.ycombinator.com | 22 Jul 2023
  • An Overview of Kubernetes Security Projects at KubeCon Europe 2023
    17 projects | dev.to | 22 May 2023
    sigstore is another suite of tools that focuses on attestation and provenance. Within the suite are two tools I heard mentioned a few times at KubeCon: Cosign and Rekor.
  • 50% new NPM packages are spam
    4 projects | news.ycombinator.com | 30 Mar 2023
  • Spin 1.0 — The Developer Tool for Serverless WebAssembly
    17 projects | dev.to | 28 Mar 2023
    Since we can distribute Spin applications using popular registry services, we can also take advantage of ecosystem tools such as Sigstore and Cosign, which address the software supply chain issue by signing and verifying applications using Sigstore's new keyless signatures (using OIDC identity tokens from providers such as GitHub).
  • Build and sign application containers
    3 projects | dev.to | 18 Jan 2023
    With containers being the heart of Cloud Native application development, it has become even more critical to ensure the integrity of the containers. One of the ways to do this to sign and verify the container images.sigstore is a open source project that empowers software developers to securely sign the container images.
  • Ask HN: What is the most impactful thing you've ever built?
    33 projects | news.ycombinator.com | 18 Nov 2022
    https://sigstore.dev - although its really not true to say I built it. I started it off, but very quickly smarter folks then me jumped on board and really took it to all sorts of new directions.
  • Container Images for the Cloud Native Era
    3 projects | dev.to | 22 Sep 2022
    Powered by Wolfi, Chainguard Images are a suite of distroless images that consolidate the base features of the Wolfi undistro into end-user container images that can be integrated into existing workflows. Chainguard Images are fully declarative and reproducible, and include SBOMs that cover all image dependencies. In addition, Chainguard Images are signed via Sigstore, which attests the provenance of all artifacts. All images and corresponding signatures, as well as their SBOMs, are hosted in Chainguard's OCI registry cgr.dev.
  • I am Mikko Hypponen, a global infosec expert! Ask me anything.
    2 projects | /r/IAmA | 27 Aug 2022
    What's your thoughts on the sigstore project from the linux foundation?
  • Freezing Requirements with Pip-Tools
    10 projects | news.ycombinator.com | 15 Jul 2022
    https://docs.sigstore.dev/ :

    > sigstore empowers software developers to securely sign software artifacts such as release files, container images, binaries, bill of material manifests and more. Signing materials are then stored in a tamper-resistant public log.

    > It’s free to use for all developers and software providers, with sigstore’s code and operational tooling being 100% open source, and everything maintained and developed by the sigstore community.

    > How sigstore works: Using Fulcio, sigstore requests a certificate from our root Certificate Authority (CA). This checks you are who you say you are using OpenID Connect, which looks at your email address to prove you’re the author. Fulcio grants a time-stamped certificate, a way to say you’re signed in and that it’s you.

    https://github.com/sigstore/fulcio

    > You don’t have to do anything with keys yourself, and sigstore never obtains your private key. The public key that Cosign creates gets bound to your certificate, and the signing details get stored in sigstore’s trust root, the deeper layer of keys and trustees and what we use to check authenticity.

    https://github.com/sigstore/cosign

    > our certificate then comes back to sigstore, where sigstore exchanges keys, asserts your identity and signs everything off. The signature contains the hash itself, public key, signature content and the time stamp. This all gets uploaded to a Rekor transparency log, so anyone can check that what you’ve put out there went through all the checks needed to be authentic.

    https://github.com/sigstore/rekor

What are some alternatives?

When comparing seL4 and rekor you can also consider the following projects:

sigstore-the-hard-way - sigstore the hard way!

fulcio - Sigstore OIDC PKI

l4v - seL4 specification and proofs

fprime - F´ - A flight software and embedded systems framework

cosign - Code signing and transparency for containers and binaries

nomicon - The Dark Arts of Advanced and Unsafe Rust Programming

CompCert - The CompCert formally-verified C compiler

InitWare - The InitWare Suite of Middleware allows you to manage services and system resources as logical entities called units. Its main component is a service management ("init") system.

4.4BSD-Lite2 - 4.4BSD Lite Release 2: last Unix operating system from Berkeley

kubeclarity - KubeClarity is a tool for detection and management of Software Bill Of Materials (SBOM) and vulnerabilities of container images and filesystems

Covenant - Covenant is a collaborative .NET C2 framework for red teamers.

openc910 - OpenXuantie - OpenC910 Core