Similar projects and alternatives to fiat-crypto
A simple, modern and secure encryption tool (and Go library) with small explicit keys, no config options, and UNIX-style composability.
A repository for your Nim proposals. (by nim-lang)
Scout APM: A developer's best friend. Try free for 14-days. Scout APM uses tracing logic that ties bottlenecks to source code so you know the exact line of code causing performance issues and can get back to building a great product faster.
"Serious" vulnerability found in Libgcrypt, GnuPG's cryptographic library - Help Net Security
reddit.com/r/crypto | 2021-01-31
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/
Synthesizing Correct-by-Construction Code for Cryptographic Primitives
news.ycombinator.com | 2021-01-03
A list of projects using the code generated by fiat-crypto: https://github.com/mit-plv/fiat-crypto/issues/902news.ycombinator.com | 2021-01-03
mit-plv/fiat-crypto is an open source project licensed under GNU General Public License v3.0 or later which is an OSI approved license.