
z3
High-performance SMT solver for automated theorem proving, constraint solving, and program verification. Supports multiple theories and language…
binary-analysiscryptographyeducation+2
12.6k

High-performance SMT solver for automated theorem proving, constraint solving, and program verification. Supports multiple theories and language…

A little toolbox to play with Microsoft Kerberos in C

BitCracker is the first open source password cracking tool for memory units encrypted with BitLocker


OpenSSL engine for use with SymCrypt cryptographic library

CVE-2020-0601: Windows CryptoAPI Vulnerability. (CurveBall/ChainOfFools)

Materials for the second Rijeka secuity meetup. We will be discussing Microsoft cryptoapi vulnerability dubbed CurveBall (CVE-2020-0601)