Skip to content

feat(security): implement TRUST-1 Gate 4 emulator security test suite - #48

Merged
aien-dev merged 1 commit into
mainfrom
test/trust-1-gate4-security-suite
Sep 24, 2026
Merged

aien-dev merged 1 commit into
mainfrom
test/trust-1-gate4-security-suite

Conversation

@aien-dev

Copy link
Copy Markdown
Owner

Summary

Implements and automates the TRUST-1 Gate 4 security test suite for QEMU AArch64:

  • Software TPM 2.0 Integration: Attaches a dynamic swtpm socket emulator to QEMU via -chardev socket and -device tpm-tis-device, proving live boot reaches kernel: alive with active TPM hardware present.
  • Soak Testing: Implements configurable sequential automated reboots verifying repeatable clean handoff and psci powerdown.
  • Fault Injection: Injects corrupted random bytes into BOOTAA64.EFI to verify that platform firmware cleanly rejects invalid binaries before entering the kernel.
  • CI & Verification Harness: Adds Step 7 to scripts/verify_all.sh and installs swtpm in GitHub Actions CI.

Verification

  • Verified on DGX Spark:
    • Software TPM boot: PASS
    • 3-run soak test: PASS
    • Corrupted binary fault injection rejection: PASS
  • Zero disk secrets.
  • Unslop compliance verified.

@aien-dev
aien-dev force-pushed the test/trust-1-gate4-security-suite branch from 4b81260 to dab71f9 Compare September 24, 2026 03:50
- Add scripts/qemu_security_suite.sh for automated AArch64 QEMU verification
- Integrate software TPM 2.0 (swtpm) socket attachment and live boot proof
- Implement sequential soak boot testing
- Implement fault injection verifying firmware rejects corrupted EFI binaries
- Add Step 7 to scripts/verify_all.sh and swtpm packages to CI workflow
- Zero Disk Secrets and Unslop compliant

Co-authored-by: Drake Stapleton <drake@aienos.com>
Co-authored-by: Gemini 3.8 Flash <noreply@google.com>
@aien-dev
aien-dev force-pushed the test/trust-1-gate4-security-suite branch from dab71f9 to f97d461 Compare September 24, 2026 03:50
@aien-dev
aien-dev merged commit f85cacc into main Sep 24, 2026
1 check passed
@aien-dev
aien-dev deleted the test/trust-1-gate4-security-suite branch September 24, 2026 03:53
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant