hyperplanes.io/talks
$ ls -lh talks/

# Talks & Presentations

Conference talks, lectures, and presentations about Hyperplanes and program analysis.

## 2025

$ cat talks/2025-10-21-binfun-dartmouth/README.md

Binary Meaning & Reachability

Binary Fun Week 2025 • Dartmouth College • October 21, 2025

Exploring how to extract and reason about semantic meaning from binary programs, focusing on reachability analysis and capability graphs.

downloads
📄 Slides (PDF)
🌐 Slides (HTML)
$ cat talks/2025-02-25-dartmouth/README.md

Hyperplanes: Cross-Layer Program Analysis

Dartmouth College • February 25, 2025

Introduction to the Hyperplanes framework and its approach to unified program analysis across source, binary, and runtime layers.

downloads
📄 Slides (PDF)

## 2024

$ cat talks/2024-12-21-spear/README.md

SPEAR: Sever, Protect, Enforce, and Rewrite

SPEAR Workshop • December 21, 2024

Discussing pointer analysis challenges and protection mechanisms in binary program analysis.

downloads
📄 Slides (PDF)

## About These Talks

$ cat README.md

All talks are presented by the Hyperplanes team and cover various aspects of program analysis, binary security, and cross-layer reasoning.

Slide decks are available in PDF format and sometimes as interactive HTML presentations. Source materials and demos are available in the repository.

$ _