Search | CSRC

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.

Search Results

Showing 1 through 25 of 102 matching records.

1 | 2 | 3 | 4 | 5 > >>

Series	Number	Title Publications	Status	Release Date	Relevance*
IR	8539	Security Property Verification by Transition Model IR 8539 (Initial Public Draft) Security Property Verification by Transition Model 10/08/2024 Status: Draft	Draft	10/08/2024	100%
SP	1800-40	Automation of the NIST Cryptographic Module Validation Program SP 1800-40 (Initial Preliminary Draft) Automation of the NIST Cryptographic Module Validation Program 6/07/2023 Status: Draft	Draft	6/07/2023	100%
SP	800-140F Rev. 1	CMVP Approved Non-Invasive Attack Mitigation Test Metrics: CMVP Validation Authority Updates to ISO/IEC 24759 SP 800-140F Rev. 1 (Initial Public Draft) CMVP Approved Non-Invasive Attack Mitigation Test Metrics: CMVP Validation Authority Updates to ISO/IEC 24759 8/20/2021 Status: Draft	Draft	8/20/2021	100%
CSWP	19	Combinatorial Coverage Difference Measurement CSWP 19 (Initial Public Draft) Combinatorial Coverage Difference Measurement 6/22/2021 Status: Draft	Draft	6/22/2021	100%
Other		An Application of Combinatorial Methods for Explainability in Artificial Intelligence and Machine Learning Other (Initial Public Draft) An Application of Combinatorial Methods for Explainability in Artificial Intelligence and Machine Learning 5/22/2019 Status: Draft	Draft	5/22/2019	100%
CSWP	37	Automation of the NIST Cryptographic Module Validation Program: September 2024 Status Report CSWP 37 (Initial Public Draft) Automation of the NIST Cryptographic Module Validation Program: September 2024 Status Report 10/31/2024 Status: Draft	Draft	10/31/2024	89%
Other		Internet of Things (IoT) Trust Concerns Other (Initial Public Draft) Internet of Things (IoT) Trust Concerns 10/17/2018 Status: Draft	Draft	10/17/2018	84%
Conference Paper		Provenience-Based Cross-Verification of Digital Forensic Artifacts Applied to NTFS Conference Paper (Final) Provenience-Based Cross-Verification of Digital Forensic Artifacts Applied to NTFS 2/19/2024 Status: Final	Final	2/19/2024	60%
Conference Paper		Predicting ABM Results with Covering Arrays and Random Forests Conference Paper (Final) Predicting ABM Results with Covering Arrays and Random Forests 6/26/2023 Status: Final	Final	6/26/2023	60%
Journal Article		Measuring and Specifying Combinatorial Coverage of Test Input Configurations Journal Article (Final) Measuring and Specifying Combinatorial Coverage of Test Input Configurations 12/01/2016 Status: Final	Final	12/01/2016	60%
Conference Paper		Equivalence Class Verification and Oracle-Free Testing Using Two-layer Covering Arrays Conference Paper (Final) Equivalence Class Verification and Oracle-Free Testing Using Two-layer Covering Arrays 4/17/2015 Status: Final	Final	4/17/2015	60%
Conference Paper		Combinatorial Coverage Measurement Concepts and Applications Conference Paper (Final) Combinatorial Coverage Measurement Concepts and Applications 3/22/2013 Status: Final	Final	3/22/2013	60%
Journal Article		Advanced Combinatorial Test Methods for System Reliability Journal Article (Final) Advanced Combinatorial Test Methods for System Reliability 12/31/2010 Status: Final	Final	12/31/2010	60%
IR	5810	The TMACH Experiment Phase 1 - Preliminary Developmental Evaluation IR 5810 (Final) The TMACH Experiment Phase 1 - Preliminary Developmental Evaluation 6/01/1996 Status: Final	Final	6/01/1996	60%
IR	4774	A Review of U.S. and European Security Evaluation Criteria IR 4774 (Final) A Review of U.S. and European Security Evaluation Criteria 3/01/1992 Status: Final	Final	3/01/1992	60%
CSWP	31	Proxy Validation and Verification for Critical AI Systems: A Proxy Design Process CSWP 31 (Final) Proxy Validation and Verification for Critical AI Systems: A Proxy Design Process 9/26/2024 Status: Final	Final	9/26/2024	49%
Journal Article		Combinatorial Testing for Building Reliable Systems Journal Article (Final) Combinatorial Testing for Building Reliable Systems 2/05/2024 Status: Final	Final	2/05/2024	49%
SP	800-140B Rev. 1	Cryptographic Module Validation Program (CMVP) Security Policy Requirements: CMVP Validation Authority Updates to ISO/IEC 24759 and ISO/IEC 19790 Annex B SP 800-140B Rev. 1 (Final) Cryptographic Module Validation Program (CMVP) Security Policy Requirements: CMVP Validation Authority Updates to ISO/IEC 24759 and ISO/IEC 19790 Annex B 11/17/2023 Status: Final	Final	11/17/2023	49%
Journal Article		Analysis of Neural Network Detectors for Network Attacks Journal Article (Final) Analysis of Neural Network Detectors for Network Attacks 11/15/2023 Status: Final	Final	11/15/2023	49%
SP	800-140C Rev. 2	Cryptographic Module Validation Program (CMVP)-Approved Security Functions: CMVP Validation Authority Updates to ISO/IEC 24759 SP 800-140C Rev. 2 (Final) Cryptographic Module Validation Program (CMVP)-Approved Security Functions: CMVP Validation Authority Updates to ISO/IEC 24759 7/25/2023 Status: Final	Final	7/25/2023	49%
SP	800-140D Rev. 2	Cryptographic Module Validation Program (CMVP)-Approved Sensitive Security Parameter Generation and Establishment Methods: CMVP Validation Authority Updates to ISO/IEC 24759 SP 800-140D Rev. 2 (Final) Cryptographic Module Validation Program (CMVP)-Approved Sensitive Security Parameter Generation and Establishment Methods: CMVP Validation Authority Updates to ISO/IEC 24759 7/25/2023 Status: Final	Final	7/25/2023	49%
Conference Paper		Ordered t-way Combinations for Testing State-based Systems Conference Paper (Final) Ordered t-way Combinations for Testing State-based Systems 5/29/2023 Status: Final	Final	5/29/2023	49%
Conference Paper		Synthetic Data Generation Using Combinatorial Testing and Variational Autoencoder Conference Paper (Final) Synthetic Data Generation Using Combinatorial Testing and Variational Autoencoder 5/29/2023 Status: Final	Final	5/29/2023	49%
CSWP	26	Ordered t-way Combinations for Testing State-based Systems CSWP 26 (Final) Ordered t-way Combinations for Testing State-based Systems 6/13/2022 Status: Final	Final	6/13/2022	49%
Conference Paper		Developing multithreaded techniques and improved constraint handling for the tool CAgen Conference Paper (Final) Developing multithreaded techniques and improved constraint handling for the tool CAgen 6/08/2022 Status: Final	Final	6/08/2022	49%

1 2 3 4 5 next > last >>

* "Relevance" merely indicates the search engine's score for a document. It is based on the search parameters and information in the document's detailed record.

View All Publications

Current Publications

NIST Series Pubs
- Final Pubs
- Drafts Open for Comment
- Drafts (all)
- View By Series
  - FIPS (standards)
  - SP 800 (guidance)
  - SP 1800 (practice guides)
  - SP (all subseries)
  - IR (interagency/internal reports)
  - CSWP (cybersecurity white papers)
  - ITL Bulletins
Other Pubs