Skip to content
Performing Concolic Execution on Cryptographic Primitives
blog.trailofbits.com | blog | #cryptography | #symbolic-execution | #manticore | #unit-testing | #concolic-testing
Summary
Sandshrew, a Manticore-based concolic testing prototype, analyzes C crypto primitives under mixed symbolic and concrete execution, building strong unit tests that catch bignum and implementation bugs.
- Published
- Collected