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.