SEI Applied Research in the areas of Information Assurance (IA)
Abstract
Information assurance ensures the integrity of information and data produced by software.Software developed from an unknown supply chain may include intentionally or unintentionally introduced vulnerabilities.This thrust seeks to develop scalable automated methods to locate, understand, and mitigate the effects of these vulnerabilities. Automated solutions developed through this thrust will be used to discover vulnerabilities in system software (binary only) and to generate proofs of correctness or fault. Additionally, they will be used to model and simulate operational environments to support software and cyber tactics, techniques, and procedures testing.
Document Details
- Document Type
- Accomplishment
- Publication Date
- Oct 01, 2019
- Source ID
- e541a96875866305f1180297a8182662