All Projects → Stp → Similar Projects or Alternatives

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

verify-apple-id-token
Verify the Apple id token on the server side.
Stars: ✭ 49 (-85.63%)
Mutual labels:  verification
cryptography
Cryptography course slides at Harbin Institute of Technology
Stars: ✭ 86 (-74.78%)
Mutual labels:  cryptography
Awesome Virgil
Key Management and Crypto Building Block for your App or Device.
Stars: ✭ 146 (-57.18%)
Mutual labels:  cryptography
Hs Jose
Haskell JOSE and JWT library
Stars: ✭ 100 (-70.67%)
Mutual labels:  cryptography
core-v-verif
Functional verification project for the CORE-V family of RISC-V cores.
Stars: ✭ 283 (-17.01%)
Mutual labels:  verification
Desudesutalk
Steganography for imageboards
Stars: ✭ 100 (-70.67%)
Mutual labels:  cryptography
yoti-java-sdk
The Java SDK for interacting with the Yoti Platform
Stars: ✭ 13 (-96.19%)
Mutual labels:  verification
Library
Collection of papers in the field of distributed systems, game theory, cryptography, cryptoeconomics, zero knowledge
Stars: ✭ 100 (-70.67%)
Mutual labels:  cryptography
scalogno
prototyping logic programming in Scala
Stars: ✭ 38 (-88.86%)
Mutual labels:  smt
Cryptofuzz
Fuzzing cryptographic libraries. Magic bug printer go brrrr.
Stars: ✭ 262 (-23.17%)
Mutual labels:  cryptography
kleespectre
KLEESpectre is a symbolic execution engine with speculation semantic and cache modelling
Stars: ✭ 31 (-90.91%)
Mutual labels:  symbolic-execution
netdice
A scalable and accurate probabilistic network configuration analyzer verifying network properties in the face of random failures.
Stars: ✭ 28 (-91.79%)
Mutual labels:  verification
Cryptokernel
A SDK for implementing blockchain-based digital currencies
Stars: ✭ 146 (-57.18%)
Mutual labels:  cryptography
Javascript Opentimestamps
Stars: ✭ 99 (-70.97%)
Mutual labels:  cryptography
anti-ddos-lite
Anti-DDoS-Lite (Anti-Crawler app) is a small PHP app to protect your site against DDoS attack.
Stars: ✭ 96 (-71.85%)
Mutual labels:  verification
Webcrypto Liner
webcrypto-liner is a polyfill that let's down-level User Agents (like IE/Edge) use libraries that depend on WebCrypto. (Keywords: Javascript, WebCrypto, Shim, Polyfill)
Stars: ✭ 98 (-71.26%)
Mutual labels:  cryptography
VerificationCode
简单的滑动验证码JS插件 图片验证码
Stars: ✭ 15 (-95.6%)
Mutual labels:  verification
Computer Science Resources
A list of resources in different fields of Computer Science (multiple languages)
Stars: ✭ 1,316 (+285.92%)
Mutual labels:  cryptography
Openssl
TLS/SSL and crypto library
Stars: ✭ 17,157 (+4931.38%)
Mutual labels:  cryptography
Cryptopals Python3
Solutions to Matasano crypto challenges in Python 3.
Stars: ✭ 91 (-73.31%)
Mutual labels:  cryptography
Tangram.Bamboo
Tangram Bamboo CLI Wallet
Stars: ✭ 14 (-95.89%)
Mutual labels:  cryptography
Libsodium
A modern, portable, easy to use crypto library.
Stars: ✭ 9,782 (+2768.62%)
Mutual labels:  cryptography
Awesome Blockchain Rust
Collect libraries and packages about blockchain/cryptography in Rust
Stars: ✭ 251 (-26.39%)
Mutual labels:  cryptography
Py Seccure
SECCURE compatible Elliptic Curve cryptography in Python
Stars: ✭ 90 (-73.61%)
Mutual labels:  cryptography
fphdl
VHDL-2008 Support Library
Stars: ✭ 36 (-89.44%)
Mutual labels:  verification
Tokenscript
TokenScript schema, specs and paper
Stars: ✭ 89 (-73.9%)
Mutual labels:  cryptography
Sqleet
SQLite3 encryption that sucks less
Stars: ✭ 244 (-28.45%)
Mutual labels:  cryptography
Pentesting toolkit
🏴‍☠️ Tools for pentesting, CTFs & wargames. 🏴‍☠️
Stars: ✭ 1,268 (+271.85%)
Mutual labels:  cryptography
Fresco
A FRamework for Efficient Secure COmputation
Stars: ✭ 83 (-75.66%)
Mutual labels:  cryptography
Go Bip39
The BIP39 library for Go.
Stars: ✭ 238 (-30.21%)
Mutual labels:  cryptography
Beamsplitter
💎 Beamsplitter - A new (possibly universal) hash that passes SMHasher. Built mainly with a random 10x64 S-box. Also in NodeJS
Stars: ✭ 83 (-75.66%)
Mutual labels:  cryptography
graph-vl
Self hosted identity verification layer with GraphQL.
Stars: ✭ 25 (-92.67%)
Mutual labels:  verification
Themis
Easy to use cryptographic framework for data protection: secure messaging with forward secrecy and secure data storage. Has unified APIs across 14 platforms.
Stars: ✭ 1,232 (+261.29%)
Mutual labels:  cryptography
Erlang Jose
JSON Object Signing and Encryption (JOSE) for Erlang and Elixir
Stars: ✭ 232 (-31.96%)
Mutual labels:  cryptography
Recrypt Rs
A set of cryptographic primitives for building a multi-hop Proxy Re-encryption scheme, known as Transform Encryption.
Stars: ✭ 81 (-76.25%)
Mutual labels:  cryptography
pqcrypto
👻 Post-quantum cryptography for Python.
Stars: ✭ 15 (-95.6%)
Mutual labels:  cryptography
Lightning Rfc
Lightning Network Specifications
Stars: ✭ 1,224 (+258.94%)
Mutual labels:  cryptography
Awesome He
✨ Awesome - A curated list of amazing Homomorphic Encryption libraries, software and resources
Stars: ✭ 224 (-34.31%)
Mutual labels:  cryptography
Yubikeylockd
Simple daemon for locking and unlocking macOS with Yubikey
Stars: ✭ 78 (-77.13%)
Mutual labels:  cryptography
amcheck
contrib/amcheck from Postgres v11 backported to earlier Postgres versions
Stars: ✭ 74 (-78.3%)
Mutual labels:  verification
Acvp
Industry Working Group on Automated Cryptographic Algorithm Validation
Stars: ✭ 76 (-77.71%)
Mutual labels:  cryptography
Frank jwt
JSON Web Token implementation in Rust.
Stars: ✭ 227 (-33.43%)
Mutual labels:  cryptography
Simon speck ciphers
Implementations of the Simon and Speck Block Ciphers
Stars: ✭ 74 (-78.3%)
Mutual labels:  cryptography
Sapient
Secure API Toolkit
Stars: ✭ 308 (-9.68%)
Mutual labels:  cryptography
Rustls
A modern TLS library in Rust
Stars: ✭ 3,062 (+797.95%)
Mutual labels:  cryptography
Lazysodium Android
An Android implementation of the Libsodium cryptography library. For the lazy dev.
Stars: ✭ 69 (-79.77%)
Mutual labels:  cryptography
eldarica
The Eldarica model checker
Stars: ✭ 41 (-87.98%)
Mutual labels:  verification
Gurvy
gurvy implements Elliptic Curve Cryptography (+Pairing) for BLS12-381, BLS12-377, BW6-761, and BN256. Originally developed (and used) by gnark
Stars: ✭ 66 (-80.65%)
Mutual labels:  cryptography
Whitebox Crypto Aes
Whitebox AES implementation in C++. Chow, Karroumi.
Stars: ✭ 218 (-36.07%)
Mutual labels:  cryptography
Cryptoswift
CryptoSwift is a growing collection of standard and secure cryptographic algorithms implemented in Swift
Stars: ✭ 8,846 (+2494.13%)
Mutual labels:  cryptography
WeDPR-Lab-Java-SDK
Java SDK of WeDPR-Lab-Core; WeDPR即时可用场景式隐私保护高效解决方案核心算法组件通用Java SDK
Stars: ✭ 18 (-94.72%)
Mutual labels:  cryptography
Simon Speck
The SIMON and SPECK families of lightweight block ciphers. #nsacyber
Stars: ✭ 146 (-57.18%)
Mutual labels:  cryptography
gini
A fast SAT solver
Stars: ✭ 139 (-59.24%)
Mutual labels:  verification
Wasm Crypto
A WebAssembly (via AssemblyScript) set of cryptographic primitives for building authentication and key exchange protocols.
Stars: ✭ 146 (-57.18%)
Mutual labels:  cryptography
Tink
Tink is a multi-language, cross-platform, open source library that provides cryptographic APIs that are secure, easy to use correctly, and hard(er) to misuse.
Stars: ✭ 11,855 (+3376.54%)
Mutual labels:  cryptography
react-native-sms-user-consent
React Native wrapper for Android's SMS User Consent API, ready to use in React Native apps with minimum effort.
Stars: ✭ 45 (-86.8%)
Mutual labels:  verification
node-email-verifier
The best possible way to verify and validate an email address.
Stars: ✭ 38 (-88.86%)
Mutual labels:  verification
Opentimestamps Server
OpenTimestamps server component
Stars: ✭ 143 (-58.06%)
Mutual labels:  cryptography
Mpyc
MPyC for Secure Multiparty Computation in Python
Stars: ✭ 142 (-58.36%)
Mutual labels:  cryptography
proofable-image
Build trust into your image by creating a blockchain certificate for it
Stars: ✭ 17 (-95.01%)
Mutual labels:  verification
301-360 of 622 similar projects