
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…

OpenSSL engine for use with SymCrypt cryptographic library


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

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

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