Assertion Labs Ventures

Security Engineering & Technical Advisory

Consulting and advisory work for companies where correctness is non-negotiable. Security architecture, formal methods, AI system validation, and technical due diligence for investors.

Get in Touch

Capabilities

🔐

Security Architecture

Cloud-scale authentication and authorization systems, IAM design, threat modeling, and security program buildout for Series A–C companies.

∀

Formal Methods & Program Analysis

Abstract interpretation, symbolic execution, and formal verification applied to production systems. Correctness guarantees where standard testing falls short.

⟳

AI Systems & LLM Pipelines

Architecture and validation of LLM-based systems — multi-agent orchestration, context management, correctness boundaries, and production deployment.

◻

WebAssembly Security

Binary analysis, vulnerability assessment, and security review of WebAssembly compilation targets and runtime environments.

◎

Technical Due Diligence

Independent technical assessment of startups for investors — architecture credibility, team capability, and competitive moat evaluation.

◈

Defense & Deep Tech

Technical advisory for defense-adjacent companies and investors. Prior R&D experience on DARPA and IARPA programs at BBN Technologies.

Engagement types

Fractional CISO / CTO

Part-time security or technical leadership for companies that need senior expertise without a full-time hire. Typical engagements run 6–18 months.

Technical Advisory

Board-level or ongoing strategic input on security, architecture, and AI systems. Equity or retainer structures.

Expert Network Calls

One-time consulting calls for investment firms and professional services organizations via GLG, Tegus, Guidepoint, and AlphaSights.

Expert Witness

Technical testimony and analysis for software IP litigation, with particular expertise in program analysis, WebAssembly, and security systems.

Architecture Review

Scoped security and systems architecture assessments with written deliverables. Typically 2–4 week engagements.

Background

Nine years of R&D at Raytheon BBN Technologies on DARPA and IARPA programs. PhD in Computer Science, Northeastern University 2025. Senior Security Engineer at Amazon Web Services. Published research in program analysis, WebAssembly security, and formal verification.

Engagements are scoped carefully and taken selectively. If your problem is technically interesting and the stakes are real, get in touch.