A plan for cybersecurity and grid safety

This page summarizes the projects mentioned and recommended in the original post on dev.to

Our great sponsors
  • WorkOS - The modern identity platform for B2B SaaS
  • InfluxDB - Power Real-Time Data Analytics at Scale
  • SaaSHub - Software Alternatives and Reviews
  • prusti-dev

    A static verifier for Rust, based on the Viper verification infrastructure.

    Efforts: seL4, Project Everest, the Prossimo project of the ISRG, Let's Encrypt, and Prusti for the Rust language

  • seL4

    The seL4 microkernel

    Efforts: seL4, Project Everest, the Prossimo project of the ISRG, Let's Encrypt, and Prusti for the Rust language

  • WorkOS

    The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

  • liboqs

    C library for prototyping and experimenting with quantum-resistant cryptography

    Efforts: Open Quantum Safe project

  • website

    Let's Encrypt Website and Documentation (by letsencrypt)

    Efforts: seL4, Project Everest, the Prossimo project of the ISRG, Let's Encrypt, and Prusti for the Rust language

  • infer

    A static analyzer for Java, C, C++, and Objective-C

    Efforts: Dependabot, CodeQL, Coverity, facebook's Infer tool, etc

  • codeql

    CodeQL: the libraries and queries that power security researchers around the world, as well as code scanning in GitHub Advanced Security

    Efforts: Dependabot, CodeQL, Coverity, facebook's Infer tool, etc

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a more popular project.

Suggest a related project

Related posts