*GW Priority Corporation
Even as Agile evolves to accommodate classical organization requirements and even security verification (e.g., Forrester’s “Agile-scrum-fall”), the need for advanced automated security assurance tools remains.
This RFP requests researchers to propose novel and innovative approaches to address issues like those listed below (but not necessarily limited to these):
- Automated Threat Model detection and documentation tools that indicate areas of vulnerability without a formal system design model but through scanning the code and/or user stories
- Semantic static analysis of code that can detect or infer security vulnerabilities in logic and/or control flow from the source code (e.g., below example of buffer overflow logic error in Linux libpng)
Tags: Computer Science, Technology, Networks
Dollar Amount: Varies
GW Priority Corporation: This corporation is a GW priority corporation. Please see additional information about applying to priority corporations on this page of the CFR website.