---
id: 2001
title: "Trail of Bits @ Devcon IV Recap"
source_domain: blog.trailofbits.com
source_url: "https://blog.trailofbits.com/2018/11/16/trail-of-bits-devcon-iv-recap/"
published_at: "2018-11-16T11:50:22Z"
tags: ["web3", "blockchain", "conferences", "symbolic-execution", "manticore", "trailofbits", "devcon"]
phying_url: "https://phying.com/item/2001"
lang: en
---

# Trail of Bits @ Devcon IV Recap

## 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.

## Intelligence Metadata

- **Sources:** blog.trailofbits.com
- **Published:** 2018-11-16T11:50:22Z
- **Original:** https://blog.trailofbits.com/2018/11/16/trail-of-bits-devcon-iv-recap/
- **Phying News:** https://phying.com/item/2001