Is the Session API within the approved scope of CMVP certificate #5313?

オープン

#60 2026年7月27日に作成コメント 0 件リアクション 0 件担当者 0 名 GitHub で見る

まだ誰も着手していません。

評価

難易度: 5/5
見積もり時間: 1週間以上
初心者へのやさしさ: 25/100

issue の種類: ドキュメント
明瞭さ: 説明が足りない
活発さ: 静か
技術スタック: c
領域: cryptography, security

調査の方向性

リンクされている #5313 Security Policy から始め、特にそのサービス表、AES-GCM IV Generation - External エントリ、および IG C.H Scenario 3 の主張を確認します。その後、それらの記述を 101.2.0 changelog と、一覧にある Session API exports と比較します。SessionSenderInit に続けて SessionGcmEncrypt を使用することが approved mode での使用として承認され、Scenario 3 を満たすかどうかをメンテナーが明確にすれば完了です。

索引モデルが issue の本文から書いたものです。

説明

libsymcrypt.so exports SymCryptSessionSenderInit, SymCryptSessoinReceiverInit, SymCryptSessionGcmEncrypt, SymCryptSessionGcmDecrypt and SymCryptSessionDestroy (VERSION_101.). The 101.2.0 changelog describes these as enabling "multithreaded IV generation within the SymCrypt FIPS boundary."

The #5313 Security Policy does not name a Session service in its services table, and registers IV Generation - External for AES-GCM. The certificate seperately claims IG C.H Scenario 3.

When a caller uses SymCryptSessionSenderInit followed by SymCryptSessionGcmEncrypt, so that the module constructs and increments the nonce internally, is that an approved-mode use of the module under #5313? Does it satisfy the Scenario 3 claim?

Trying to understand so we can use the module in approved mode correctly. Thanks!

主要言語: C
スター: 890
フォーク: 91
PR マージ指標: 30日以内にマージされた PR はありません

コントリビューションガイド

このリポジトリのコントリビューションガイドは索引されていません

はじめの一歩

issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
リポジトリをフォークし、ブランチを切って変更します。
issue 番号を参照したプルリクエストを送ります。

microsoft/SymCrypt のほかの issue

Pin Aeneus in `lakefile.lean` in SymCRust オープン

難易度 1/5 1時間未満初心者へのやさしさ 85/100

microsoft/SymCrypt#59 · 2026年7月16日に作成
Unversioned libc imports can split allocator bindings under interposition オープン

bug compiler-support

難易度 4/5 3〜5日初心者へのやさしさ 42/100

microsoft/SymCrypt#62 · 2026年9月9日に作成
Feature request: Add Argon2id support オープン

enhancement

難易度 5/5 1週間以上初心者へのやさしさ 25/100

microsoft/SymCrypt#61 · 2026年8月22日に作成
Packages for Azure Linux 4 and Ubuntu 26.04 オープン

難易度 5/5 1週間以上初心者へのやさしさ 25/100

microsoft/SymCrypt#58 · コメント 1 件 · 2026年6月29日に作成
Add support for EdDSA (Ed25519 and Ed448) オープン

enhancement

難易度 5/5 1週間以上初心者へのやさしさ 20/100

microsoft/SymCrypt#43 · コメント 3 件 · リアクション 7 件 · 2025年1月4日に作成

microsoft/SymCrypt の issue をすべて見る

似ている issue

if(cond,a,b) treats any nonzero cond as true in every bngsim backend (ExprTk interpreter, C codegen, SSA), which contradicts docs/reference/expressions.md ('true when > 0.5') and BNG's run_network. A non-boolean condition in (-inf,0) or... オープン

bug

難易度 1/5 1時間未満初心者へのやさしさ 60/100

lanl/bngsim#774 · 2026年9月23日に作成
Signed left-shift undefined behavior in `nbase/nbase_addrset.c` (`(1<<31)`, 4 sites) オープン

Nmap

難易度 1/5 1時間未満初心者へのやさしさ 85/100

nmap/nmap#3514 · 2026年9月23日に作成
[BUG] libcuml fails to build with -DCUML_ALGORITHMS=SVM (cuVS not linked) オープン

難易度 2/5 1〜3時間初心者へのやさしさ 65/100

NVIDIA/cuml#8705 · 2026年9月23日に作成
Vulkan int8-coopmat matmul on RDNA3 (#27952): RX 7900 XTX 27B benchmark data + a small boundary-safety fix オープン

難易度 2/5 1〜3時間初心者へのやさしさ 65/100

ggml-org/llama.cpp#29342 · 2026年9月23日に作成
[flang][cuda] CUFPredefinedVarToGPU crashes on a fir.copy whose destination is the predefined-variable declare オープン

flang:fir-hlfir

難易度 2/5 1〜3時間初心者へのやさしさ 70/100

llvm/llvm-project#225935 · 2026年9月23日に作成

C の issue をもっと見る