U.S. flag

An official website of the United States government

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.

NIST Interagency/Internal Report (NISTIR)

Report on Post-Quantum Cryptography

Author(s)
Lidong Chen, Stephen P. Jordan, Yi-Kai Liu, Dustin Moody, Rene C. Peralta, Ray A. Perlner, Daniel C. Smith-Tone
In recent years, there has been a substantial amount of research on quantum computers - machines that exploit quantum mechanical phenomena to solve mathematical

STEP File Analyzer User's Guide (Version 3)

Author(s)
Robert R. Lipman
This guide describes how to use the STEP File Analyzer, a software tool that analyzes and generates a spreadsheet from a STEP (STandard for the Exchange of

Baseline Tailor User Guide

Author(s)
Joshua Lubell
This guide describes how to use Baseline Tailor, a software tool for navigating the United States Government's Cybersecurity Framework and for tailoring the

OAGi/NIST Workshop on Open Cloud Architecture for Smart Manufacturing

Author(s)
Nenad Ivezic, Boonserm Kulvatunyou, Yan Lu, Yunsu Lee, Jaehun Lee, Albert W. Jones, Simon P. Frechette
This report summarizes the results from the OAGi/NIST Workshop on Open Cloud Architecture for Smart Manufacturing, which was held at the National Institute of

SATE V Ockham Sound Analysis Criteria

Author(s)
Paul E. Black, Athos Ribeiro
Static analyzers examine the source or executable code of programs to find problems. Many static analyzers use some heuristics or approximations to handle

Optimization of Registration Performance Metrics

Author(s)
Marek Franaszek, Geraldine Cheok
Perception systems are a very important component of automation and robotics. These systems localize objects in its local coordinate frame and the data has to

A Rational Foundation for Software Metrology

Author(s)
David W. Flater, Paul E. Black, Elizabeth N. Fong, Raghu N. Kacker, Vadim Okun, Stephen S. Wood, David R. Kuhn
Much software research and practice involves ostensible measurements of software, yet little progress has been made on an SI-like metrological foundation for

A metamodel for optimization problems

Author(s)
Ibrahim Assouroko, Peter O. Denno
In mathematics, computer science, and operations research, mathematical optimization is the process of finding best feasible values (oftentimes maxima or minima
Was this page helpful?