ASSERTION LABS LLC · NEW YORK
Security research,
formal methods, and
software that ships.
Founded by Ryan Williams. We build security tooling, publish program analysis research, and advise technical teams on correctness-critical systems.
What we do
Research
Assertion Labs Research
Program analysis, formal verification, and WebAssembly security. Published work in top venues. Tools that prove correctness, not just test for it.
WebAssembly security analysis
Abstract interpretation & formal methods
Symbolic execution pipelines
AI code validation layers
Studio
Assertion Labs Studio
Software built to be used. iOS apps with real utility, web tools worth bookmarking. Everything ships under the same standard as the research.
iOS apps on the App Store
Finance & trading tools
Interactive research demos
Open source tooling
Ventures
Assertion Labs Ventures
Security architecture, fractional technical leadership, and diligence for investors. Engagements where correctness is non-negotiable.
Fractional CISO / CTO
Technical due diligence
Expert witness services
Security architecture reviews
Featured work
Research · SANER 2023
SOLDER
Retrofitting legacy C/C++ with Rust patches via LLVM bitcode analysis and symbolic execution validation.
Studio · iOS
Maktab
Arabic script learning app with letter tracing, spaced repetition vocab, and multilevel reading practice.
Ventures · Capabilities
WebAssembly Security
Binary-level analysis, vulnerability assessment, and security review of WASM compilation targets.