Skip to content
777 Sourcing.

Capability

runtime protection

Suppliers
2
States & provinces
1
Countries
1

2 runtime protection suppliers across 1 states and provinces in 1 country. Profiles show capabilities, materials, certifications, and facility locations so you can compare shops and build a shortlist.

Suppliers

AARNO LABS LLC

CAMBRIDGE, MA

Aarno Labs is an MIT-founded computer security research lab founded in 2015 by MIT researchers. The team of experts in formal methods, program analysis, and dynamic instrumentation focuses on retrofitting security on legacy systems and devices, vulnerability discovery, high-assurance binary patching, and supply-chain protection. They have received 14 DoD, DARPA, and ARPA-H research grants with combined funding over $35M.

AI/MLbinary patchingdynamic analysisdynamic instrumentationFormal Methodsprogram analysissoftware correctnessstatic analysisSupply chain securityvulnerability discoveryvulnerability remediation

Compiled from public sources

BLUERISC INC

AMHERST, MA

BlueRISC is an advanced cyber-security technology company founded in 2002 that develops AI-driven system assurance solutions, including vulnerability analysis, runtime protection, trusted execution, and post-attack forensics for defense, automotive, nuclear I&C, and other high-consequence systems. Its technologies are deployed by customers in 21 countries, and it has worked with DARPA, OSD, Air Force, MDA, Navy, and DHS.

agentic AI validationAI/ML spoof detectionbinary analysiscyber forensicselectromagnetic IC analysisencrypted emailFPGA accelerationLLM-driven reasoningsecure processor design

Compiled from public sources

Related capabilities

Other processes offered by the shops that list runtime protection.

Browse all capabilities