Cigital Labs Projects

Cigital Labs is proud to be involved in many cutting-edge research efforts sponsored by the leading public and private scientific funding institutions. As you'll see from this listing research projects, we're pushing the software quality and security envelopes and plan to do so for years to come.

• Air Force Research Lab
• Protection Against Reverse Engineering
• Dynamic Security Analysis of COTS Applications
• Adaptive Vulnerability Analysis for Java as a Defensive Information Warfare Technology
• An Artificial Intelligence/Fault Injection-based Approach to Software Recovery (co-funded by NASA Ames Laboratory)
• Army Research Laboratory
• A Tool for the Reverification of Reusable Software Components
• Defense Advanced Research Projects Agency
• Computing Platform Coverage via Light Host-Based Intrusion Detection
• Automatic Synthesis of Program-Based Triggers for Intrusion Tolerance Mechanisms
• An Aspect-Oriented Security Assurance Solution
• An Investigation of Extensible System Security for Highly Resource-Constrained Wireless Devices
• A Tool for Detecting the Existence of Unknown Corruptions in Real-Time
• An Analytical Investigation of Software Mutation for Increased Information Survivability
• Quantifying Minimum-Time-to-Intrusion Based on Dynamic Software Safety Assessment
• Department of Defense
• Software Metrics for the Analysis of Suspect Executables
• Malicious Software Detection in Program Executables
• Missile Defense Agency
• Machine learning for failure prediction in computer-controlled devices
• National Aeronautics & Space Administration
• Quantifying Confidence in the Correctness of Parallel/Distributed Software
• A Practical Ada Mutation Testing Tool
• A Design-for-testability Advisor for Automated Code Generation Systems
• Fortran Testability Analysis for HSCT Flight Simulation
• A Dynamic Software Safety Tool for Catastrophic Event Prediction of Ada Systems
• National Institute of Standards and Technology
• Advanced Technology Program: Certifying Security in Electronic Commerce Components
• Advanced Technology Program: A Component-Based Software Dependability Model
• Human Error Simulation in Test Case Generation
• Testability of Object-Oriented Systems
• Malicious Software Detection for Resource Constrained Devices
• National Science Foundation
• Genetic Algorithms for Software Test Data Generation
• A Plausible Software Reliability Framework
• United States Air Force
• A Software Quality Methodology that Assesses the Fault-Tolerance of Untested Inputs