622 Open source projects that are alternatives of or similar to Stp

Automatic verification of LLVM optimizations

pySMT: A library for SMT formulae manipulation and solving

Standard Subresource Integrity library for Node.js

Liquid Types For Haskell

A Proof-oriented Programming Language

SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.

KreMLin is a tool for extracting low-level F* programs to readable C code

Triton is a Dynamic Binary Analysis (DBA) framework. It provides internal components like a Dynamic Symbolic Execution (DSE) engine, a dynamic taint engine, AST representations of the x86, x86-64, ARM32 and AArch64 Instructions Set Architecture (ISA), SMT simplification passes, an SMT solver interface and, the last but not least, Python bindings.

Verification framework and tool for higher-order Scala programs

HACL*, a formally verified cryptographic library written in F*

SMACK Software Verifier and Verification Toolchain

Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE

Fast and efficient ed25519 signing and verification in Rust.

An advanced SAT solver

Main repository of the Vigor NF verification project.

"SAT/SMT by example" free ebook

Reference mobile app for BrightID

Symbolic execution tool

A simple (unfinished) SMT solver for QF_ABV.

Binsec/Rel is an extension of Binsec that implements relational symbolic execution for constant-time verification and secret-erasure at binary-level.

nFreezer is an encrypted-at-rest backup tool.

A boilerplate for Node.js apps / GraphQL-API / Authentication from scratch - express, graphql - (graphql compose), mongodb (mongoose).

No description or website provided.

Flame is an ActionScript library that provides a number of useful UI controls, collections, cryptographic services, and utilities to work with the Flex SDK.

Minimalist secure text editor and binary encryptor that implements RFC 4880 Open PGP format: symmetrically encrypted, compressed and integrity protected. The editor can protect files with passwords, key files or both.

A minimalist, open source online pastebin where the server has zero knowledge of pasted data. Data is encrypted/decrypted in the browser using 256 bits AES.

Virgil Core SDK allows developers to get up and running with Virgil Cards Service API quickly and add end-to-end security to their new or existing digital solutions to become HIPAA and GDPR compliant and more.

a portable and fast pairing-based cryptography library

A curated list of cryptography resources and links.

Compiler-free Python crypto library backed by the OS, supporting CPython and PyPy

🎲 A Distributed Randomness Beacon Daemon - Go implementation

Supersingular Isogeny Diffie-Hellman in Rust

Sample code and build environments for MPC frameworks

Cryptography course slides at Harbin Institute of Technology

Tangram Bamboo CLI Wallet

To the end of servers

Secure API Toolkit

👻 Post-quantum cryptography for Python.

Authenticated key-value store (i.e. an urkel tree)

The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.

Java SDK of WeDPR-Lab-Core; WeDPR即时可用场景式隐私保护高效解决方案核心算法组件通用Java SDK

RISC-V CPU Core (RV32IM)

Generator and supporting evidence for security of the Tweedledum/Tweedledee pair of elliptic curves suitable for Halo

The Intel Homomorphic Encryption (HE) toolkit is the primordial vehicle for the continuous distribution of the Intel HE technological innovation to users. The toolkit has been designed with usability in mind and to make it easier for users to evaluate and deploy homomorphic encryption technology on the Intel platforms.

Keyshuffling Attack for Persistent Early Code Execution in the Nintendo 3DS Secure Bootchain

Type-safe general-cryptography library - https://jmcardon.github.io/tsec/

Pwnable|Web Security|Cryptography CTF-style challenges

An implementation of the Wickr Secure Messaging Protocol in C

🔒 Happy Two-Factor Verifying!

Code for my blog post on using S2E for malware analysis

Concuerror is a stateless model checking tool for Erlang programs.

Go implementation of the Kyber (version 3) post-quantum IND-CCA2 KEM.

A Go library that implements a Sparse Merkle tree for a key-value map.

A Filesystem Built On Top of the Web.

A Crypto-Secure, Production-Grade Reliable-UDP Library for golang with FEC

Stash - The friendly secret storage made for teams

A blockchain for non-collateralized stable-coins, follow MimbleWimble protocol but with explicit amount.

secure interactive password manager with xchacha20poly1305, argon2id, and Go

The VerCors verification toolset for verifying parallel and concurrent software

This repo is dedicated to Concordium Incentivized Testnet3.