Assertion Labs / Advisory
Focused research for difficult software-security questions.
Bounded investigations, analysis prototypes and independent evaluation in program analysis, compilers, formal methods and AI-enabled software systems.
Discuss a research work package →Context
Research teams, technology organizations and program performers seeking a defined specialist contribution.
Preparation & access
Define the work package, evidence, rights and handoff before implementation. Initial government and prime discussions use public information only.
Work & deliverables
- Feasibility assessment or analysis prototype
- Experimental evaluation with reproducible evidence
- Verification or assurance plan
- Documented assumptions, limitations and handoff
Scope & limitations
No blanket correctness guarantee, certification, staffing commitment or funded-program eligibility. Requirements are verified for each opportunity.
Offered subject to fit, conflict review and availability. A conversation is not acceptance of an engagement.
How we work
Begin with a bounded question.
- Define the decision, boundaries, conflicts and available evidence.
- Agree on the work, deliverables, access and review process.
- Examine claims and record findings with their limitations.
- Discuss implications and the next decision.