Skip to content
Open
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
207 changes: 207 additions & 0 deletions .github/workflows/aesgcm-siv.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,207 @@
name: AES-GCM-SIV (RFC 8452) tests

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

🟠 [Medium] New AES-GCM-SIV pure-C and assembly POLYVAL/CTR variants (Windows MASM, Thumb2, AArch32/AArch64 base, GCM_WORD32… · Missing Tests

The added workflow provides good RFC 8452 KAT coverage but which POLYVAL multiply / CTR backend it exercises depends on build config. It covers native x86_64 make check (software word64 table + Intel .S asm) and cross-compiled AArch64 (PMULL/NEON/base) and AArch32 with QEMU_CPU=max (crypto/vmull.p64 path). It does NOT exercise these newly written, security-sensitive paths: the Windows MASM .asm variant (which in fact contains a correctness+memory-safety bug -- see the AES_GCMSIV_ctr finding -- that this gap allowed through), the word32 table variant (GCM_WORD32, AesGcmSivGMult/AesGcmSivPolyvalInitSw word32 block in aes.c), the table-free GCM_SMALL variant, the AArch32 base (WC_POLYVAL_ASM_AARCH32_BASE) NO_HW_CRYPTO path (armhf job forces QEMU_CPU=max, selecting the crypto path), the AArch64 base (AES_GCMSIV_polyval_base, only reached with NEON+HW-crypto both disabled), and Thumb2 (AES_GCMSIV_polyval_thumb2 / gcm_siv_thumb2, targeting armv7-m which qemu-user cannot run). A transposition/reduction/register error in any of these would not be caught by CI. Severity views: review flagged this Medium/SUGGEST (test coverage); review-security flagged Medium (missing-tests, and it is the reason the High MASM defect went undetected).

Fix: Add a Windows MSVC/MASM job that builds with AES-NI + AES-GCM-SIV and runs the KATs. Add at least one x86 make check config forcing the word32 and GCM_SMALL software multiplies (e.g. CPPFLAGS=-DGCM_WORD32 and CPPFLAGS=-DGCM_SMALL) so the two untested pure-C POLYVAL variants run the RFC 8452 KATs at near-zero cost. Add an AArch32 NO_HW_CRYPTO base config (no QEMU_CPU=max) so the generated software-table CTR/POLYVAL variants are exercised. Note the Thumb-2 gap explicitly in release notes if it cannot be emulated.

Copy link
Copy Markdown
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Added


# START OF COMMON SECTION
on:
push:
branches: [ 'release/**' ]
pull_request:
types: [opened, synchronize, reopened, ready_for_review]
branches: [ '*' ]
# Weekday-morning cron (10:00 UTC) seeds the master-scoped ccache that PR runs
# restore (cross job only); re-runs --build-only on the default branch.
schedule:
- cron: '40 10 * * 1-5'

concurrency:
group: ${{ github.workflow }}-${{ github.ref }}
cancel-in-progress: true
# END OF COMMON SECTION

jobs:
# Native x86_64 'make check'. These are --enable-cryptonly (WOLFCRYPT_ONLY)
# builds, so check runs testwolfcrypt - which includes aesgcm_siv_test (the
# RFC 8452 KATs) - but not the TLS-only tests/unit.test (the tests/api group,
# test_wc_AesGcmSivEncryptDecrypt, needs a non-cryptonly build). One runner
# per config:
# - siv-c-only : no asm, software word64-table POLYVAL + C CTR.
# - siv-word32 : GCM_WORD32 forces the word32-table software POLYVAL multiply.
# - siv-small : GCM_SMALL forces the table-free software POLYVAL multiply.
# - siv-intelasm : PCLMUL/AVX/VAES/AVX512 POLYVAL + pipelined CTR, whichever
# the runner CPU selects at runtime.
# - siv-all : SIV alongside --enable-all to catch integration regressions.
# - siv-smallstack : SIV's key schedules / derived keys live on the stack.
make_check:
strategy:
fail-fast: false
matrix:
config:
- '--enable-cryptonly --enable-aesgcm-siv'
- '--enable-cryptonly --enable-aesgcm-siv CPPFLAGS=-DGCM_WORD32'
- '--enable-cryptonly --enable-aesgcm-siv CPPFLAGS=-DGCM_SMALL'
- '--enable-cryptonly --enable-intelasm --enable-sp-asm --enable-aesgcm-siv'
- '--enable-cryptonly --enable-all-crypto --enable-intelasm --enable-sp-asm --enable-aesgcm-siv'
- '--enable-cryptonly --enable-aesgcm-siv --enable-smallstack'
name: make check (${{ matrix.config }})
if: ${{ (github.repository_owner == 'wolfssl') && (github.event_name != 'pull_request' || github.event.pull_request.draft == false) }}
runs-on: ubuntu-24.04
timeout-minutes: 12
steps:
- uses: actions/checkout@v5
name: Checkout wolfSSL

- name: Build and test AES-GCM-SIV
run: |
./autogen.sh
./configure ${{ matrix.config }}
make -j 4
make check

- name: Print errors
if: ${{ failure() }}
run: |
for file in scripts/*.log test-suite.log
do
if [ -f "$file" ]; then
Comment thread
SparkiDev marked this conversation as resolved.
echo "${file}:"
cat "$file"
echo "========================================================================"
fi
done

# Cross-compiled AES-GCM-SIV asm paths, built out-of-tree in parallel and run
# under qemu-user (binfmt). Covers:
# - arm64-pmull : AArch64 PMULL POLYVAL (gcm_siv_arm64_crypto).
# - arm64-no-hw-crypto : AArch64 NEON 8-bit-pmul + table POLYVAL
# (gcm_siv_arm64_neon / _base) via WOLFSSL_ARMASM_NO_HW_CRYPTO.
# - armhf-crypto : ARMv8-A 32-bit vmull.p64 POLYVAL (gcm_siv_arm32_crypto);
# QEMU_CPU=max enables the crypto extensions.
# - armhf-base : AArch32 software-table POLYVAL/CTR (gcm_siv_arm32_base)
# via NO_HW_CRYPTO, run under the default (non-crypto) CPU.
# Known gaps (a defect here would not be caught): the AArch64 base variant
# (AES_GCMSIV_polyval_base) is compiled in every aarch64 armasm build but only
# selected at runtime with NEON+HW-crypto both disabled, a config unsupported
# upstream on aarch64 (no base SHA/ChaCha armasm); and Thumb-2 (gcm_siv_thumb2,
# armv7-m) which qemu-user cannot run. Both are noted for release notes.
cross_check:
name: Cross-arch test
if: ${{ (github.repository_owner == 'wolfssl') && (github.event_name != 'pull_request' || github.event.pull_request.draft == false) }}
runs-on: ubuntu-22.04
timeout-minutes: 25
steps:
- uses: actions/checkout@v5
name: Checkout wolfSSL

- name: Install dependencies
uses: ./.github/actions/install-apt-deps
with:
packages: autoconf automake libtool build-essential crossbuild-essential-arm64 crossbuild-essential-armhf qemu-user
ghcr-debs-tag: ubuntu-22.04-minimal

- name: Set up ccache
uses: ./.github/actions/ccache-setup
with:
workflow-id: aesgcm-siv
read-only: ${{ github.event_name == 'pull_request' }}
max-size: 300M

- name: Build all configs (parallel, out-of-tree)
run: |
cat > "$RUNNER_TEMP/aesgcm-siv-configs.json" <<'EOF'
[
{"name": "arm64-pmull", "minutes": 6,
"cc": "ccache aarch64-linux-gnu-gcc",
"configure": ["--host=aarch64-linux-gnu", "--enable-cryptonly",
"--enable-all-crypto", "--disable-examples", "--enable-armasm",
"--enable-aesgcm-siv", "CFLAGS=-O2"],
"check": false,
"run": [["env", "QEMU_LD_PREFIX=/usr/aarch64-linux-gnu", "QEMU_CPU=max",
"./wolfcrypt/test/testwolfcrypt"]]},
{"name": "arm64-no-hw-crypto", "minutes": 6,
"cc": "ccache aarch64-linux-gnu-gcc",
"configure": ["--host=aarch64-linux-gnu", "--enable-cryptonly",
"--enable-all-crypto", "--disable-examples", "--enable-armasm",
"--enable-aesgcm-siv", "CPPFLAGS=-DWOLFSSL_ARMASM_NO_HW_CRYPTO",
"CFLAGS=-O2"],
"check": false,
"run": [["env", "QEMU_LD_PREFIX=/usr/aarch64-linux-gnu", "QEMU_CPU=max",
"./wolfcrypt/test/testwolfcrypt"]]},
{"name": "armhf-crypto", "minutes": 6,
"cc": "ccache arm-linux-gnueabihf-gcc",
"comment": "--disable-aesgcm-stream: WOLFSSL_AESGCM_STREAM's software GHASH only defines its macros for __aarch64__ armasm, not 32-bit __arm__ armasm, so all-crypto + armasm otherwise fails to build aes.c (pre-existing, unrelated to SIV).",
"configure": ["--host=arm-linux-gnueabihf", "--enable-cryptonly",
"--enable-all-crypto", "--disable-examples", "--enable-armasm",
"--enable-aesgcm-siv", "--disable-aesgcm-stream", "CFLAGS=-O2"],
"check": false,
"run": [["env", "QEMU_LD_PREFIX=/usr/arm-linux-gnueabihf", "QEMU_CPU=max",
"./wolfcrypt/test/testwolfcrypt"]]},
{"name": "armhf-base", "minutes": 6,
"cc": "ccache arm-linux-gnueabihf-gcc",
"comment": "WOLFSSL_ARMASM_NO_HW_CRYPTO selects the AArch32 software-table POLYVAL/CTR (AES_GCMSIV_polyval_base/ctr_base). Run under the DEFAULT qemu CPU (no QEMU_CPU=max) so the crypto path is not taken - this is the only job exercising the base variant at runtime.",
"configure": ["--host=arm-linux-gnueabihf", "--enable-cryptonly",
"--enable-all-crypto", "--disable-examples", "--enable-armasm",
"--enable-aesgcm-siv", "--disable-aesgcm-stream",
"CPPFLAGS=-DWOLFSSL_ARMASM_NO_HW_CRYPTO", "CFLAGS=-O2"],
"check": false,
"run": [["env", "QEMU_LD_PREFIX=/usr/arm-linux-gnueabihf",
"./wolfcrypt/test/testwolfcrypt"]]}
]
EOF
.github/scripts/parallel-make-check.py \
${{ github.event_name == 'schedule' && '--build-only' || '' }} \
"$RUNNER_TEMP/aesgcm-siv-configs.json"

- name: ccache stats
if: always()
run: ccache -s || true

- name: Upload logs on failure
if: failure()
uses: actions/upload-artifact@v6
with:
retention-days: 7
name: aesgcm-siv-cross-logs
path: |
build-*/make-check.log
build-*/test-suite.log
build-*/config.log
if-no-files-found: ignore

# Windows MSVC/MASM: build wolfssl64.sln (AES-NI on by default => the MASM
# aes_gcm_asm.asm POLYVAL/CTR is assembled with ml64) with WOLFSSL_AESGCM_SIV
# enabled, and run testsuite.exe - which calls wolfcrypt_test() -> the RFC 8452
# KATs incl. the 128-byte multi-block vector. This is the ONLY job that
# exercises the Windows MASM SIV path; its absence let a High-severity
# AES_GCMSIV_ctr register-clobber (wrong ciphertext + a 16-byte wild write)
# ship undetected. x64 only: the AES-NI .asm is x86_64.
windows_masm:
name: Windows MASM AES-GCM-SIV (x64)
if: ${{ (github.repository_owner == 'wolfssl') && (github.event_name != 'pull_request' || github.event.pull_request.draft == false) }}
runs-on: windows-latest
timeout-minutes: 12
env:
SOLUTION_FILE_PATH: wolfssl64.sln
BUILD_CONFIGURATION: Release
steps:
- uses: actions/checkout@v5
name: Checkout wolfSSL

- name: Enable AES-GCM-SIV in user_settings.h
shell: bash
run: |
# Add the define once, right after the first HAVE_AESGCM (AES-NI is
# already enabled for x64 in this header).
sed -i '0,/#define HAVE_AESGCM/s//#define HAVE_AESGCM\n#define WOLFSSL_AESGCM_SIV/' \
IDE/WIN/user_settings.h
grep -n 'WOLFSSL_AESGCM_SIV' IDE/WIN/user_settings.h

- name: Add MSBuild to PATH
uses: microsoft/setup-msbuild@v3

- name: Restore NuGet packages
run: nuget restore ${{ env.SOLUTION_FILE_PATH }}

- name: Build (x64, MASM)
run: msbuild /m /p:PlatformToolset=v142 /p:Platform=x64 /p:Configuration=${{ env.BUILD_CONFIGURATION }} ${{ env.SOLUTION_FILE_PATH }}

- name: Run wolfCrypt KATs (incl. AES-GCM-SIV)
run: Release/x64/testsuite.exe
1 change: 1 addition & 0 deletions .wolfssl_known_macro_extras
Original file line number Diff line number Diff line change
Expand Up @@ -927,6 +927,7 @@ WOLFSSL_SE050_NO_TRNG
WOLFSSL_SECURE_RENEGOTIATION_ON_BY_DEFAULT
WOLFSSL_SERVER_EXAMPLE
WOLFSSL_SETTINGS_FILE
WOLFSSL_SGX_CPUID_AVX512_VAES
WOLFSSL_SHA256_ALT_CH_MAJ
WOLFSSL_SHA3_PPC64_BLOCKS_N
WOLFSSL_SHA512_HASHTYPE
Expand Down
12 changes: 12 additions & 0 deletions CMakeLists.txt
Original file line number Diff line number Diff line change
Expand Up @@ -930,6 +930,18 @@ if(WOLFSSL_AESSIV)
list(APPEND WOLFSSL_DEFINITIONS "-DWOLFSSL_AES_SIV")
endif()

# AES-GCM-SIV
add_option("WOLFSSL_AESGCMSIV"
"Enable AES-GCM-SIV (RFC 8452) support (default: disabled)"
"no" "yes;no")

if(WOLFSSL_AESGCMSIV)
if(NOT WOLFSSL_AESGCM)
message(FATAL_ERROR "AES-GCM-SIV requires AES-GCM. Please enable WOLFSSL_AESGCM.")
endif()
list(APPEND WOLFSSL_DEFINITIONS "-DWOLFSSL_AESGCM_SIV")
endif()

# AES-CTR
add_option("WOLFSSL_AESCTR"
"Enable wolfSSL AES-CTR support (default: disabled)"
Expand Down
20 changes: 20 additions & 0 deletions configure.ac
Original file line number Diff line number Diff line change
Expand Up @@ -3536,6 +3536,25 @@ then
ENABLED_AESSIV=yes
fi

# AES-GCM-SIV (RFC 8452)
AC_ARG_ENABLE([aesgcm-siv],
[AS_HELP_STRING([--enable-aesgcm-siv],[Enable AES-GCM-SIV (RFC 8452) (default: disabled)])],
[ ENABLED_AESGCMSIV=$enableval ],
[ ENABLED_AESGCMSIV=no ]
)

if test "$ENABLED_AESGCMSIV" = "yes"
then
if test "$ENABLED_AESGCM" = "no"
then
AC_MSG_ERROR([AES-GCM-SIV requires AES-GCM. Please enable it (--enable-aesgcm).])
fi
AM_CFLAGS="$AM_CFLAGS -DWOLFSSL_AESGCM_SIV"
# The generated AES-GCM-SIV assembly (aes_gcm_asm.S) is guarded by
# WOLFSSL_AESGCM_SIV, so the assembler needs the define too.
AM_CCASFLAGS="$AM_CCASFLAGS -DWOLFSSL_AESGCM_SIV"
fi

# AES-CTR
AC_ARG_ENABLE([aesctr],
[AS_HELP_STRING([--enable-aesctr],[Enable wolfSSL AES-CTR support (default: disabled)])],
Expand Down Expand Up @@ -12981,6 +13000,7 @@ echo " * AES-OFB: $ENABLED_AESOFB"
echo " * AES-XTS: $ENABLED_AESXTS"
echo " * AES-XTS streaming: $ENABLED_AESXTS_STREAM"
echo " * AES-SIV: $ENABLED_AESSIV"
echo " * AES-GCM-SIV: $ENABLED_AESGCMSIV"
echo " * AES-EAX: $ENABLED_AESEAX"
echo " * AES Bitspliced: $ENABLED_AESBS"
echo " * AES Key Wrap: $ENABLED_AESKEYWRAP"
Expand Down
Loading
Loading