Paper Open Original ↗
Manticore: Symbolic Execution for Binaries and Smart Contracts
Type
Academic paper
Client
—
Date
2019
Domain
Systems
Effort
—
Section
—
Related
- 2025 Buttercup: The Future of Trail of Bits' Solution to DARPA's AI Cyber Challenge Talk
- 2025 Buttercup and DARPA's AI Cyber Challenge, Ringzer0 Talk
- 2025 Our experience competing in the AI Cyber Challenge Talk
- 2025 Constant-Time Coding Support in LLVM Talk
- 2025 Repeatable Benchmarking: An Exploration of OpenSearch vs Elasticsearch Talk
- 2024 PolyTracker: Whole-Input Dynamic Information Flow Tracing Paper