29 Open source projects that are alternatives of or similar to libsparkcrypto

Frama-C and WP tutorial

Spritz encryption system portable C library, CSPRNG, cryptographic hash and MAC functions, symmetric-key data encryption, and general-purpose functions. It's also an Arduino library.

A framework for implementing and certifying impure computations in Coq

Implementation of a Blockchain as a school project

No description or website provided.

The RiscvSpecKami package provides SiFive's RISC-V processor model. Built using Coq, this processor model can be used for simulation, model checking, and semantics analysis. The RISC-V processor model can be output as Verilog and simulated/synthesized using standard Verilog tools.

TLA+ specs and models for the TezEdge node's p2p overlay network, shell, and consensus

Security framework for building multi-user end-to-end encrypted data storage and sharing/processing with zero leakage risks from storage and transport infrastructure.

Reads a state transition system and performs property checking

Trying to verify Verilog/VHDL designs with formal methods and tools

Nim cryptographic library

Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on

Legacy code connected to the high-assurance implementation of the Ouroboros protocol family

www.imandra.ai

An Eclipse-based modeling framework for the component-based design and analysis of reactive systems

Source code for the equivalence checker presented in the PLDI 2019 paper, "Semantic Program Alignment for Equivalence Checking"

An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.

HElib is an open-source software library that implements homomorphic encryption. It supports the BGV scheme with bootstrapping and the Approximate Number CKKS scheme. HElib also includes optimizations for efficient homomorphic evaluation, focusing on effective use of ciphertext packing techniques and on the Gentry-Halevi-Smart optimizations.

Rust Post-Quantum cryptography

Fully proved small C functions (examples for verification course).

Formalization of Tendermint proposer election properties

Read-only mirror of the Klever Git repository

Algebraic proof discovery in Agda

HElib is an open-source software library that implements homomorphic encryption. It supports the BGV scheme with bootstrapping and the Approximate Number CKKS scheme. HElib also includes optimizations for efficient homomorphic evaluation, focusing on effective use of ciphertext packing techniques and on the Gentry-Halevi-Smart optimizations.

a fully python Diffie-Hellman Library

Classical ciphers: Caesar, ADFGX, ROT13 and etc.

Awesome ASIC design verification

The Verifiably Safe Reinforcement Learning Framework

Intrepyd Model Checker