Overview
Cyber Evaluation
& Effects
We build techniques, tools, and countermeasures that provide the ability to operate effectively in the contested cyber domain. That starts with understanding target code, how it works, how it is used, and where it is vulnerable. Our work spans the cyber spectrum, threat emulation, formal methods, embedded-system analysis, and the orchestration of cyber effects in multi-domain operations. This is not enterprise IT security.
View Open JOBSWHAT WE WORK ON
From Target Code
to Proven Effect
Understand the target
We start with target code, firmware, and hardware: disassembling binaries on non-standard instruction sets, recovering protocols and state machines, and building emulations and instrumentation.
Push AI to the frontier of cyber
AI finds memory corruption bugs fast because success is easy to define and test. Vulns that don’t manifest with a crash are just as dangerous and far harder to find. We are combining frontier AI with our physics-based analyses to find and address these weaknesses.
Model at every resolution
The systems we analyze are coupled to the real world, often in real time. We do physics-guided fuzzing using multi-resolution models of the target and its environment. Low-fidelity models sweep enormous state spaces fast. High-fidelity models capture critical interactions.
Prove the fix, not just the flaw
AI can now find and exploit vulnerabilities faster than defenders can analyze and patch them. We are applying formal methods to close that gap: lightweight proofs that a generated patch actually holds the properties it claims, with tailorable correctness definitions that separate real findings from noise.
Who Does this work
Reverse Engineering, Emulation, and Vulnerability Research on One Target
Reverse Engineers
who recover the undocumented protocols, state machines, and instruction sets of targets
Vulnerability Researchers
who find, prove, and operationalize the flaws that break a system’s assumptions
Cyber-Physical Systems Engineers
who build the models, emulators, and instrumentation that target analysis runs on
Formal Methods Researchers
who develop new ways to prove patch security properties and shorten response time to zero-day threats
Program Managers
who know the difference between a vulnerability and a proven capability and can scope work against challenging targets.
Products
What We Can Tell You
Verify Software Quality With Practical Formal Methods
Formal methods provide the highest level of software assurance. The Axle framework overcomes critical practical barriers to employing formal methods. Axle’s tunable lightweight formal methods approach is scalable to the largest software systems. An open, modular, and AI-friendly architecture is simple to integrate. Transparent and customizable correctness definitions separate useful findings from the noise. Axle is currently verifying the quality of high-assurance codebases, including jet engine controllers and space flight software.
Tailorable correctness definitions separate useful findings from noise
Users can tune the scope and formalization level of defined properties
Query language prioritizes efficient formal verification
Small Form Factor
Multi-Function RF System
The core of our MFRF is a high-capability custom back-end software-defined radio that can be tailored to a wide range of missions through COTS components.
Ideal for multiple classes of unmanned aerial and surface systems
Modular design supports integration with a wide range of apertures and platforms
Advanced ADC/DAC architecture uses COTS components to create a cost-effective mission system
Product Updates
Article headline that provides an update on a project
Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqua. Ut enim ad minim veniam, quis nostrud exercitation ullamco laboris nisi ut aliquip ex ea commodo consequat. Duis aute irure dolor in reprehenderit in voluptate velit esse cillum dolore eu fug.
Read MoreFrom Our Employees
Stories from the people behind the work
Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqua. Ut enim ad minim veniam, quis nostrud exercitation ullamco laboris nisi ut aliquip ex ea commodo consequat.
Read MoreIn The Press
Coverage and recognition from around the industry
Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqua. Ut enim ad minim veniam, quis nostrud exercitation ullamco laboris nisi ut aliquip ex ea commodo consequat.
Read More
JOIN US
Ready to work on
what matters most?
National security's most consequential work happens here. Join us, partner with us, or put our capabilities to work.
VIEW OPEN JOBS
