
paranoid_crypto
Paranoid's library contains implementations of checks for well known weaknesses on cryptographic artifacts.

Paranoid's library contains implementations of checks for well known weaknesses on cryptographic artifacts.

Config Extractor for Asyncrat/Dcrat/VenomRat

Static Decryptor for IcedID Malware

BlockChain Security Construction

Formalizing np1sec using Tamarin and other FM (see https://github.com/equalitie/np1sec)

Denial of Service vulnerability in ecdsa (PyPI)

cryptography is a package designed to expose cryptographic primitives and recipes to Python developers.

Trail of Bits Testing Handbook - appsec.guide

Coefficient-Based Reconstruction of Arithmetic — a Mixed Boolean-Arithmetic (MBA) expression simplifier for deobfuscation

Project Wycheproof tests crypto libraries against known attacks.


OWASP Thick Client Application Security Verification Standard


Go package that checks if RSA keys are vulnerable to ROCA / CVE-2017-15361


PoC for CVE-2020-0601- Windows CryptoAPI (Crypt32.dll) POC: https://github.com/ollypwn/CurveBall

PoC for CVE-2020-0601 vulnerability (Code Signing)