vulnerability discovery

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 analysisruntime protectionsoftware correctnessstatic analysisSupply chain securityvulnerability remediation

Deepbits Technology Inc. is a cybersecurity company of security researchers and engineers developing binary and AI analysis techniques (program analysis, virtualization, machine learning/deep learning) to solve computer and software security problems. It offers agentic binary analysis powered by LLM models and proprietary tools, and applies patented technology to expose software composition and dependencies, vulnerability discovery, program hardening, digital forensics and malware detection.

AI/LLM-based analysisbinary analysisbinary diffingdigital forensicsdisassemblymachine learning/deep learningmalware detectionprogram analysisprogram hardeningSBOM generationvirtualization

Beryllium DAP provides intent-based analysis for binaries and smart contracts. The platform surfaces potential behaviors and supporting evidence to help analysts investigate PE, ELF and .NET files, and supports smart contract review. The company also conducts security research, with vulnerabilities credited to Beryllium and reported to vendors.

binary analysissecurity researchsmart contract analysis