Skip to content

Use TAV for SNP attestation verification#8083

Draft
cjen1-msft wants to merge 4 commits into
microsoft:mainfrom
cjen1-msft:tee-attestation-integration-tav
Draft

Use TAV for SNP attestation verification#8083
cjen1-msft wants to merge 4 commits into
microsoft:mainfrom
cjen1-msft:tee-attestation-integration-tav

Conversation

@cjen1-msft

@cjen1-msft cjen1-msft commented Jul 20, 2026

Copy link
Copy Markdown
Contributor

Stack

Summary

  • add the OpenSSL-backed TAV FFI crate to the ccf-rs umbrella
  • replace PAL SNP certificate-chain, report-signature, and TCB verification with tav_verify_snp_attestation
  • retain the existing CCF SNP report type, report accessors, and CCF-specific policy checks
  • defer migration of report ownership and accessors to a later change

Testing

  • Rust 1.90 locked release umbrella build and tav_verify_snp_attestation symbol check
  • snp_attestation_test (12 cases, 49 assertions)
  • ccf target build
  • CMake and C++ formatting
  • copyright, ASCII, public include, and diff checks
  • independent verifier correctness and MVP scope reviews

cjen1-msft and others added 4 commits July 20, 2026 14:21
Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
Copilot-Session: 2ec11cce-7838-47b5-be19-21425a3a3bbf
Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>

Copilot-Session: 2ec11cce-7838-47b5-be19-21425a3a3bbf
Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
Copilot-Session: 2ec11cce-7838-47b5-be19-21425a3a3bbf
@cjen1-msft cjen1-msft mentioned this pull request Jul 20, 2026
@cjen1-msft
cjen1-msft force-pushed the tee-attestation-integration-tav branch 2 times, most recently from a1af44a to 70019d1 Compare July 21, 2026 09:44
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