An official website of the United States government
Here’s how you know
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
Secure .gov websites use HTTPS
A lock (
) or https:// means you’ve safely connected to the .gov website. Share sensitive information only on official, secure websites.
It’s a research tool that helps test software more effectively than ever before — including the software that helps keeps cars and airplanes operating safely.
The most accurate face recognition algorithms have demonstrated the capability to confirm airline passenger identities while making very few errors, according
This Measurement, Metrics, and Assurance project focuses on measuring and assessing trustworthiness in software, systems and applications. It conducts research
NOTE: This work was succeeded by the Software Metrology Project Software Metrology: Helping physical scientists and computer scientists understand one another a
In digital forensics, file system analysis is a precursor task to event reconstruction. Often, unallocated content within a file system is content of interest
Paul E. Black, William Mentzer, Elizabeth Fong, Bertrand Stivalet
The Vulnerability Test Suite Generator (VTSG) Version 3 can create vast numbers of synthetic programs with and without specific flaws or vulnerabilities. Such
Aurelien Delaitre, Paul E. Black, Damien Cupif, Guillaume Haben, Loembe Alex-Kevin, Vadim Okun, Yann Prono, Aurelien Delaitre
The SATE VI report presents the results of a security-focused bug finding evaluation exercise carried out from 2018 to 2023 on various code bases using static
Simulation is a useful and effective way to analyze and study complex, real-world systems. It allows researchers, practitioners, and decision makers to make