Evidence-driven security research and software.

Assertion Labs is Ryan Williams' company for program analysis research, evidence-driven software projects, and security advisory work. Public claims are separated by line of work so the record stays easy to evaluate.

Research Projects Advisory

Company map

Three lines of work, kept distinct.

Research

Assertion Labs Research

Program analysis, formal verification, and WebAssembly security research, kept distinct from project and advisory work.

Projects

Assertion Labs Projects

Company projects and prototypes. Public descriptions stay tied to current project materials rather than launch assumptions.

Advisory

Assertion Labs Advisory

Technical advisory, security architecture review, and diligence for teams or investors evaluating correctness-critical systems.

Selected work

Current public record and active project lines.

Research · NSS 2024

Vulnerability Monitoring

Current publication record includes network security, systems security, authentication, and program analysis work.

Projects · Assertion/Evidence

Aletheia

Typed assertion/evidence engine for agentic decision systems, built around provenance and deterministic validation boundaries.

Projects · Address Intelligence

SiteSignal

Evidence-backed property repository for NYC addresses, organized around records, timeline, graph, map, alerts, and reports.