STR secures legacy and emerging military platforms, which are critical for our national security.
These solutions also assess existing systems to rapidly identify and mitigate complex vulnerabilities. STR’s approach to cybersecurity is differentiated by our multi-disciplinary approach in which we work in small teams across diverse technologies including: reverse engineering, vulnerability research, formal methods, model-based engineering, machine learning, signal processing, and optimization. This approach enables STR to satisfy the full spectrum of cybersecurity applications.
Cyber physical system modeling and simulation
Scalable, human-assisted vulnerability research
Security evaluation of non-traditional cyber physical systems
System configuration security analysis
Formal analysis and verification of security properties
Cyber requirements generation
Semi-automated methods for reverse engineering
Cyber-physical system informed methods for dynamic program analysis
Autonomous Botnet Cleansing
A key challenge today is the proliferation of botnets—networks of infected computers and devices controlled by an attacker.