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

Trail of Bits @ Devcon IV Recap

blog.trailofbits.com | blog | #web3 | #blockchain | #conferences | #symbolic-execution | #manticore | #trailofbits | #devcon

Summary

Recap of Trail of Bits' Devcon IV contributions: talks on finding smart contract bugs with Manticore and symbolic execution, blockchain autopsies, and security training.
Published
Collected

original ↗

Related coverage

  1. State divergence enables unauthorized access (blog.trailofbits.com)
  2. Performing Concolic Execution on Cryptographic Primitives (blog.trailofbits.com)
  3. Symbolic Path Merging in Manticore (blog.trailofbits.com)
  4. Fault Analysis on RSA Signing (blog.trailofbits.com)
  5. Videos from Ethereum-focused Empire Hacking (blog.trailofbits.com)
  6. Manticore: Symbolic execution for humans (blog.trailofbits.com)

back