"Serious" vulnerability found in Libgcrypt, GnuPG's cryptographic library - Help Net Security

This page summarizes the projects mentioned and recommended in the original post on /r/crypto
Security CLI Encryption Modern zero-configuration

InfluxDB - Power Real-Time Data Analytics at Scale
Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
www.influxdata.com
featured
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured

  • fiat-crypto

    Cryptographic Primitive Code Generation by Fiat

    • I have great hopes for formal verification: - https://www.usenix.org/conference/usenixsecurity17/technical-sessions/presentation/bond - https://github.com/project-everest/hacl-star - https://github.com/mit-plv/fiat-crypto - https://saw.galois.com/

  • RFCs

    A repository for your Nim proposals. (by nim-lang)

    • Personally, I'm using the Nim language for my projects (greatly inspired by Ada) and I can't get formal verification tools soon enough (https://nim-lang.org/docs/drnim.html) especially for protocol designs (https://github.com/nim-lang/RFCs/issues/222) but also preventing DOS attacks because we prove that some network facing buffers is unbounded.

  • InfluxDB

    Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

    InfluxDB logo

  • age

    A simple, modern and secure encryption tool (and Go library) with small explicit keys, no config options, and UNIX-style composability.

    • Apparently they're planning to add hardware key storage by means of a plugin system.

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

  • Has the encryption tool "age" been audited

    1 project | /r/cryptography | 29 Dec 2021

  • Help finding encryption workflow | Many users on an allowed list can view a single (Alice) users encrypted data. The single (Alice) user can add and remove users from the allowed list

    1 project | /r/cryptography | 22 Dec 2021

  • Text encryption software for encrypting notes

    2 projects | /r/crypto | 22 Dec 2021

  • Is there any BSD version Of GnuPG?

    1 project | /r/openbsd | 21 Dec 2021

  • Can I selfhost the fork of firefox send on AWS, or is that counterintuitive?

    1 project | /r/privacy | 15 Dec 2021