fiat-crypto

Cryptographic Primitive Code Generation by Fiat (by mit-plv)

Fiat-crypto Alternatives

Similar projects and alternatives to fiat-crypto

  • GitHub repo age

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

  • GitHub repo RFCs

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

  • Scout APM

    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.

NOTE: The number of mentions on this list indicates mentions on common posts. Hence, a higher number means a better fiat-crypto alternative or higher similarity.

Suggest an alternative to fiat-crypto

Posts

Posts where fiat-crypto has been mentioned. We have used some of these posts to build our list of alternatives and similar projects - the last one was on 2021-01-31.
  • "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/902
    news.ycombinator.com | 2021-01-03

Stats

Basic fiat-crypto repo stats
3
394
9.6
2 days ago

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.