source code analysis

Cyber Defense Technologies (CDT) is a Service-Disabled Veteran-Owned Small Business established in 2010 that provides full-spectrum cyber defense services and mission-proven products to the Department of War, Special Operations, the Intelligence Community, federal, state and local agencies, and commercial and critical infrastructure organizations. Services span offensive security, compliance and authorization, security engineering, AI/ML, and threat detection and response.

A&AATOclassified network engineeringCMMC readinessDevSecOpsembedded system protectionFedRAMP readinessNIST SP 800-171penetration testingpurple teamingQuantum ReadinessRed Teamingreverse engineeringRMFsecure developmentSecurity EngineeringSTIG implementationsystem hardeningVulnerability Research

Eureka Software is a local Austin, TX award-winning agency providing custom software development and expert witness services. The company has designed, developed, and supported software for nearly 40 years, and its expert witness team has spent over 500 hours testifying on behalf of clients. Founder and CEO Monty Myers has served as an expert witness in over 150 litigation matters.

Agile consultingdatabase developmentDevOps & CI/CDexpert witness testimonyforensics & data recoveryfull-stack app developmentQA testingsoftware engineeringUI & UX design

Finite State provides an AI-native Product Security OS for connected devices, automating security and compliance workflows grounded in real product artifacts. Its platform covers threat modeling, SBOM generation from firmware, binaries, and source code, reachability analysis, VEX, and traceable compliance reporting aligned to frameworks such as EU CRA, FDA cybersecurity guidance, and NIST. It also offers practitioner-led product security services including regulatory readiness, pentesting, and certification accelerators.

binary analysiscompliance reportingfirmware analysispentestingreachability analysisRed TeamingSBOM generationthreat modelingvulnerability triage

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.

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

Greysys LLC is a small information security focused research and development company based in Maryland. It offers cyber-focused services to public and private sector agencies and companies with advanced cyber security needs, with engineers experienced in offensive and defensive tactics, techniques, and procedures.

anti-reversing and code protectionsattack reconstructionCNO software developmentcode reviewcomputer and network security assessmentdefensive analyticsfuzzinghost and network forensicsintrusion and malware analysiskernel development and debuggingpenetration testingproof of concept developmentrapid prototypingRed Teamingsoftware reverse engineeringtechnical trainingthreat modeling