Phying News
P非影 中文
Curated security research, vulnerabilities, advisories and tools for practitioners.

Magic with Manticore

blog.trailofbits.com | vulnerability | #automation | #ctf | #reverse-engineering | #binary-ninja | #symbolic-execution | #manticore

Summary

Solving Magic, a DEF CON CTF qualifier with 200 key-protected binaries, using Manticore symbolic execution plus Binary Ninja hooks to automate key extraction instead of manual reversing.
Published
Collected

original ↗

Related coverage

  1. Vulnerability Modeling with Binary Ninja (blog.trailofbits.com)
  2. MUI: Visualizing symbolic execution with Manticore and Binary Ninja (blog.trailofbits.com)
  3. Performing Concolic Execution on Cryptographic Primitives (blog.trailofbits.com)
  4. Symbolic Path Merging in Manticore (blog.trailofbits.com)
  5. Trail of Bits @ Devcon IV Recap (blog.trailofbits.com)
  6. Fault Analysis on RSA Signing (blog.trailofbits.com)

back