Home
Explore
Services
Reports
Open
Source
Talks
Team
Careers

Home
Explore
Symbolic Execution for Humans

945 Publications
620 Audits
200+ OSS 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

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

Services

What we work on

Software Assurance Get a comprehensive understanding of your security landscape and be absolutely confident in your technology and infrastructure.
AI/ML Our services address the novel challenges of AI/ML and provide clients with the assurance they need in a rapidly advancing industry.
Application Security We have been a recognized leader in software security for 10 years, with a long track record of helping our clients improve their security.
Blockchain We have become experts in reviewing all facets of blockchain applications, from smart contracts to off-chain components.
Cryptography Our team includes PhD-level cryptographers who have spent years developing and cryptanalyzing complex cryptographic protocols.
Security Engineering Trail of Bits Engineering is your support team for security projects. Our experts work with you to build custom tools and remediate system vulnerabilities to keep your software secure -- from development to testing and throughout continuous deployment.
Research & Development We are an industry leader in high-end security research. Our team has a track record of discovering critical Internet vulnerabilities in targets hardened by dedicated security teams. When we can, we share the deep science that underpins our work for the betterment of all.

View All Services

Home Services Explore Open Source

Reports
Talks
Team
Careers

Search

Esc

No results

Try different keywords, or browse the library.

Loading index…

↑ ↓ Navigate ↵ Open