
GAMBA
Simplification of General Mixed Boolean-Arithmetic Expressions: GAMBA
binary-analysiscryptographymalware-analysis+2
2512 years ago

Simplification of General Mixed Boolean-Arithmetic Expressions: GAMBA

Project Wycheproof tests crypto libraries against known attacks.

Test tool to demonstrate the vulnerability of CVE-2022-21449

Automated differential fuzzing tool for cryptographic software that detects implementation errors, compliance failures, and side-channel leaks…