binary patching

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.

Read more

AI/MLdynamic analysisdynamic instrumentationformal methodsprogram analysisruntime protectionsoftware correctnessstatic analysissupply chain securityvulnerability discoveryvulnerability remediation

Securing the Software that Secures the World 30+ years of cyber innovation focused on security, resilience, automation, and developer productivity. Code powers the products that keep us safe. Securing that code is our mission. Cyber Security Technologies Our expertise in software analysis and binary transformation comes from decades of experience in high-tech research with the U.S. government and other organizations with mission-critical use cases. Over the past thirty-five years, we have partnered with several groups to help solve some of the most complex software challenges that impact devices’ resiliency, safety, and security. OT Threat Discovery & Vulnerability Analysis: Detect backdoors and critical vulnerabilities in firmware. Uncover unintended functionality or design flaws. Extract & Inventory firmware components (SBOM), link SBOMs to CVEs/CWEs. Software Transformation & Binary.

Read more

binary hardeningbinary transformationfirmware analysisFPGA and ASIC risk assessmentreverse engineeringSBOM extractionsoftware analysissource code analysisvulnerability detection