program analysis

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 methodsruntime protectionsoftware correctnessstatic analysissupply chain securityvulnerability discoveryvulnerability remediation

B&B Solutions US, LLC is a mission-focused 8(a) Small Disadvantaged Business providing multi-faceted support services for Federal, State, Local, and Commercial clients. Its services span Professional Services/IT Support, Administrative Support, and Facilities/Construction Support, including organizational development, human capital support, programmatic analysis, warehouse support, and interior renovations.

construction managementflooring installationflooring repairhelpdeskhuman resources supportinterior renovationsIT supportjanitorial servicesrelocation and move servicestraining and coachingwarehouse support and management

Callahan & Freeman Architects is a multi-disciplined architectural firm based in the Fort Worth, Texas area. Comprised of licensed architects, drafting technicians and professional support staff, the firm handles projects of any size and follows a traditional commitment to creating user-friendly buildings while respecting the owner's budget and schedule. The principals-in-charge are involved in all phases of the project.

architectural designConstruction phase serviceslandscape planningmaster planningproject managementsite evaluation

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 hardeningSBOM generationvirtualizationvulnerability discovery

Dominion Sciences Initiative (DSI) is a Service-Disabled Veteran-Owned Small Business (SDVOSB) providing scientific, technical, and programmatic support relevant to health, safety, security, and operational environments. DSI works with government agencies, prime contractors, research organizations, academic institutions, and commercial partners on mission-oriented challenges through scientific expertise, applied research, technical advisory services, and program support.

acquisition and transition planningapplied researchcapture supportcommercialization supportcost/price volume developmentproject planningproposal developmentscientific advisory servicesscientific writingtechnical assessmentTechnology evaluation

Emotion Labs is a company specializing in program analysis that uses cutting-edge program analysis techniques to eliminate flaws in customer understanding of their software and eliminate vulnerabilities. They offer customized training courses on modern binary analysis techniques, including automated program analysis with angr, and develop customized program analysis solutions tailored to client needs. They open-source much of their work, including the angr program analysis platform.

automated program analysisbinary analysistrainingvulnerability detection

ExistX operationalizes advanced applied research by combining cryptographic, cybersecurity, software, and systems engineering for mission-critical environments. It has preferred structural access to Galois's R&D as its primary research partner, and carries engineering, assurance, and sustainment responsibility. It serves defense, intelligence community, government R&D, and aerospace sectors, delivering high-assurance software-enabled mission systems.

automated testingCryptographic Engineeringcybersecurity engineeringDevSecOpsDigital and Model-Based EngineeringEarly Integration and Experimentationformal verificationModular Open Systems ApproachRisk-Based Technical AssuranceSoftware Engineering & ModernizationSystems Engineering & Integration