Talk Open Original ↗
Binary Symbolic Execution With KLEE-Native
Type
Conference talk
Client
—
Date
2019
Domain
Systems
Effort
—
Section
—
Presenter
Sai Vegasena
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