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

[CVE-2020-5232] Manticore discovers the ENS bug

blog.trailofbits.com | advisory | CVE-2020-5232 | #smart-contracts | #blockchain | #trail-of-bits | #ethereum | #symbolic-execution | #manticore | #ens | #cve-2020-5232

Summary

After CVE-2020-5232 let prior owners reclaim transferred ENS names, Trail of Bits tested whether its Manticore symbolic executor could have found the bug, and walks through how it does.
Published
Collected

original ↗

Related coverage

  1. Videos from Ethereum-focused Empire Hacking (blog.trailofbits.com)
  2. State divergence enables unauthorized access (blog.trailofbits.com)
  3. Building secure Uniswap v4 hooks (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