Skip to main content

Home
Patch the
Planet (New)
Explore
Services
Company
Open
Source
Blog (opens in a new tab)

Home
Explore
Symbolic Execution for Humans

989 Publications
657 Audits
200+ Open-source repos
Since 2012

Talk Open Original ↗

Symbolic Execution for Humans

Type

Conference talk

Client

—

Date

2017

Domain

Systems

Effort

—

Section

—

Presenter

Mark Mossberg

View slides on GitHub trailofbits/publications

Related

2026-02 Finding Hidden Overflows in Go: Fuzzing Beyond the Compiler's Limits Talk
2026 Auditing Scapy With Agents Talk
2025 Buttercup: Autonomously Finding and Fixing Bugs at Scale in Open-Source Software Talk
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

© 2026 Trail of Bits

Privacy Policy Vulnerability Disclosure

Services

Trail of Bits Services

Software Assurance Multi-disciplinary security reviews across the whole SDLC, with a team sized to your threat model rather than a fixed template.

AI/ML Security We review AI systems end to end, from training data and MLOps pipelines to model artifacts, inference hardware, and deployed agent loops.
Application Security Deep code, cloud, and architecture review that finds the root cause and the fix that retires the whole bug class.
Blockchain We review every layer of a blockchain system, from smart contracts to nodes and bridges, backed by Slither, Echidna, and Medusa.
Cryptography PhD-level cryptographers who build and break real protocols, from zero-knowledge proofs and MPC to post-quantum migrations.

Security Engineering An embedded team that builds custom security tooling and remediates vulnerabilities across your pipeline, from development through deployment. Research & Development Multi-year research that uncovers Internet-scale vulnerabilities and turns the findings into open-source tools, papers, and standards. Everything we do View all services

Get in touch

How can we help?

Contact Us Tell us about the software you need secured. Patch the Planet Apply to our open-source security initiative, in collaboration with OpenAI.

Other ways to reach us

Company

Who we are

About Who we are, what we believe, and how we got here.
Team The researchers and engineers behind the work.
Careers Open roles and what it's like to work here.

Explore the work

↵ to search all 1072

MCP Security

Securing the Model Context Protocol: the mcp-context-protector wrapper, disclosed attack classes, and community defenses.

AI/ML Security

Testing Handbook

Guides for configuring and automating static and dynamic analysis tools.

Application Security

ZKDocs

Interactive documentation on zero-knowledge proof systems.

Cryptography

Building Secure Smart Contracts

Best practices for developing secure smart contracts.

Blockchain

CTF Field Guide

Field guide to winning at Capture The Flag competitions.

Education

Ruby Security Field Guide

Practical Ruby security guide.

Application Security

Nothing here matches. Press ↵ to search the full library.

Trail of Bits

Security Review

OpenAI OpenClaw

AI/ML Reviews

2026-09

OpenAI OpenClaw

AI/ML

Trail of Bits

Security Review

Yon Labs White Paper

Other/Multi-Chain

2026-09

Yon Labs White Paper

Blockchain

Trail of Bits

Security Review

Google Private AI

Compute, Secure Server-Side

AI/ML Reviews

2026-09

Google Private AI Compute, Secure Server-Side Memory

AI/ML

Trail of Bits

Security Review

Amazon Bee Private Compute

Technology Product Reviews

2026-09

Amazon Bee Private Compute

AppSec

Trail of Bits

Security Review

Offchain Labs OSP Soundness Guard

Offchain Labs

2026-09

Offchain Labs OSP Soundness Guard

Blockchain

Trail of Bits

Security Review

Gensyn Token Minting Cap

Ethereum/EVM

2026-09

Gensyn Token Minting Cap

Blockchain

Trail of Bits

Security Review

Gensyn Delphi LMSR

Markets with Automated

Ethereum/EVM

2026-09

Gensyn Delphi LMSR Markets with Automated Settlement

Blockchain

Trail of Bits

Security Review

Offchain Labs Arbitrum

Chains Genesis File

Offchain Labs

2026-08

Offchain Labs Arbitrum Chains Genesis File Generator

Blockchain

Trail of Bits

Security Review

Offchain Labs Tip Collection Toggler

Offchain Labs

2026-08

Offchain Labs Tip Collection Toggler

Blockchain

Nothing here matches. Press ↵ to search the full library.

2026 · Systems

Finding Hidden Overflows in Go: Fuzzing Beyond the Compiler's Limits

Kevin Valerio

2026 · AI/ML

How we made Trail of Bits AI-Native (so far)

Dan Guido

2026 · Systems

Auditing Scapy With Agents

Clinton Thomas

2025 · Systems

Buttercup: Autonomously Finding and Fixing Bugs at Scale in Open-Source Software

Ronald Eytchison

2025 · Systems

Buttercup: The Future of Trail of Bits' Solution to DARPA's AI Cyber Challenge

Trent Brunson

2025 · Systems

Buttercup and DARPA's AI Cyber Challenge, Ringzer0

Henrik Brodin, Ronald Eytchison

2025 · Systems

Our experience competing in the AI Cyber Challenge

Michael Brown et al.

2025 · Blockchain

Mutation Testing with Slither: A New Way to Find High-Severity Issues

Guillermo Larregay

Nothing here matches. Press ↵ to search the full library.

Skill Let Fate Decide Let Fate Decide · 2026-10 Skill Claude in Chrome MCP Troubleshooting Chrome Mcp Troubleshooting · 2026-10 Skill Slicing Code Context Trailmark · 2026-10 Skill YARA-X Rule Authoring Yara Authoring · 2026-10 Skill Interpreting Culture Index Culture Index · 2026-09 Skill Semgrep Security Scan Static Analysis · 2026-09 Skill AddressSanitizer (ASan) Testing Handbook Skills · 2026-09 Skill AFL++ Testing Handbook Skills · 2026-09 Skill Agentic Actions Auditor Agentic Actions Auditor · 2026-09 Skill Algorand Vulnerability Scanner Building Secure Contracts · 2026-09 Skill Atheris Testing Handbook Skills · 2026-09 Skill Audit Augmentation Trailmark · 2026-09 Skill Audit Context Building Audit Context Building · 2026-09 Skill Audit Prep Assistant Building Secure Contracts · 2026-09

Nothing here matches. Press ↵ to search the full library.

Browse all guides & handbooks →

Home Patch the Planet Explore Get in Touch

Services
Open Source
Company
Blog

Search

Esc

No results

Try different keywords, or browse everything in Explore.

Loading index…

↑ ↓ Navigate ↵ Open