Showing 4 of 4 projects
A .NET library for encrypting and decrypting files of any size using libsodium and protobuf with a chunked streaming approach.
A SPARK/Ada implementation of the Keccak family of cryptographic sponge functions, including SHA-3, with formal proof of type safety.
A Commitment Scheme library implementing secure coin flipping and multiparty computation protocols using Encrypt-then-MAC authenticated encryption.
An Ada/SPARK implementation of the NORX authenticated encryption algorithm, formally verified for security.
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.