kbrain

Secure Kernel Code Integrity

Microsoft Corporation - FIPS 140 #4512

historicalLevel 1

Secure Kernel Code Integrity (SKCI) running in the Virtual Secure Mode (VSM) of the Hyper-V hypervisor will only grant execute access to physical pages in the kernel that have been successfully verified. Executable pages will not have write permission outside of Hyper-V. Therefore, only verified code can be executed.

Key facts

Scheme
FIPS 140
Certificate
4512
Standard
FIPS 140-2
Security level
Level 1
Status
historical
Vendor
Microsoft Corporation
Module type
Software
Embodiment
Multi-Chip Stand Alone
Lab
Leidos Accredited Testing & Evaluation (AT&E) Lab
First validated
May 5, 2023
Versions
10.0.18362[1], 10.0.18363[2] and 10.0.19041[3]
Caveat
When operated in FIPS mode with modules Windows OS Loader validated to FIPS 140-2 under Cert. #4339 operating in FIPS mode, Windows Resume validated to FIPS 140-2 under Cert. #4348 operating in FIPS mode, or TCB Launcher validated to FIPS 140-2 under Cert. #4457 operating in FIPS mode

Algorithms

  • AES
  • RSA
  • SHS

Algorithm families of the CAVP certificates listed for this module, plus post-quantum algorithms named in its documents.

CVEs that may affect this product

sec-certs has not matched any CVE to this certificate. That is not proof the product is unaffected.

Related CVEs and certificate references are automated matches by sec-certs, not reviewed by humans: treat them as "may be affected" and verify before acting.

Certificates it builds on

  • 4339
  • 4348
  • 4457

Certificate ids found in this certificate's documents (automated extraction).

Documents and sources

Source: sec-certs.org (CRoCS, Masaryk University), from NIST CMVP and the Common Criteria Portal - dataset of September 21, 2026 - synced October 15, 2026

Check certifications from your AI assistant

The Security Certifications Explorer answers FIPS 140-3 and Common Criteria questions directly inside Claude, ChatGPT, or any MCP assistant, and links each certificate to the CVEs that may affect it.

Add the certifications brain
Secure Kernel Code Integrity - FIPS 140 #4512