Skip to content

Create agenda & meeting minutes for 2-25-26 TAC meeting#133

Merged
christinaharter merged 5 commits intogh-pagesfrom
christinaharter-patch-1
Feb 27, 2026
Merged

Create agenda & meeting minutes for 2-25-26 TAC meeting#133
christinaharter merged 5 commits intogh-pagesfrom
christinaharter-patch-1

Conversation

@christinaharter
Copy link
Copy Markdown
Contributor

No description provided.

Signed-off-by: Christina Harter <charter@linuxfoundation.org>
Comment thread meeting-minutes/2026/2026-02-25-TAC.md Outdated
Signed-off-by: Brian Jarvis <92757966+brian-jarvis-aws@users.noreply.github.com>
@mkannwischer
Copy link
Copy Markdown
Contributor

Some updates from PQCP:

Upcoming talk about mlkem-native at RWC 2026 on March 9, 2026.

mlkem-native & mldsa-native

mlkem-native:

  • Porting HOL-Light constant-time and memory safety proofs from s2n-bignum (and filling in gaps)
  • Wrapping up conversion of x86_64 compression intrinsics to assembly + HOL-Light correctness proofs
  • x86_64 AVX2 Keccak implementation with HOL-Light correctness proof contributed by @manastasova - under review

mldsa-native:

  • (Slow) progress towards HOL-Light correctness proofs of native code (x86: 3/17; AArch64: 4/17 -- some still under review)
  • Added Cortex-M33 baremetal tests - considering an Armv7/8-M backend

Signed-off-by: Christina Harter <charter@linuxfoundation.org>
Comment thread meeting-minutes/2026/2026-02-25-TAC.md Outdated
Co-authored-by: AddyTiv <xtraddybot@gmail.com>
Signed-off-by: Christina Harter <charter@linuxfoundation.org>
Comment thread meeting-minutes/2026/2026-02-25-TAC.md Outdated
Co-authored-by: Brian Jarvis <92757966+brian-jarvis-aws@users.noreply.github.com>
Signed-off-by: Christina Harter <charter@linuxfoundation.org>
@christinaharter christinaharter merged commit cea63f8 into gh-pages Feb 27, 2026
3 checks passed
@christinaharter christinaharter deleted the christinaharter-patch-1 branch February 27, 2026 19:29
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants