About
A product by Assertion Labs
Assertion Labs does independent research, software engineering, and technical advisory work in program analysis, formal methods, and systems security. CliqueMap is its flagship software direction.
How the pieces relate
- Assertion Labs is the company: research, advisory work, and a portfolio of projects.
- CliqueMap is the product being built for evidence-backed investigations.
- Trace is a private internal application, planned to be the first to use CliqueMap’s evidence capabilities.
Work through Assertion Labs is separate from employment and academic affiliations. Those affiliations do not imply sponsorship or endorsement.
More from Assertion Labs
Research, advisory work, and other projects are on the Assertion Labs website.
Contact
Send an inquiry or email hello@assertionlabs.com.