Update Formal Verification section in README to match latest status (a…

…ws#1413)
justsmth · Jan 20, 2024 · d166f0b · d166f0b
1 parent 6fd53e0
commit d166f0b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -96,9 +96,9 @@ the checks are run in AWS-LC’s CI on every change. The algorithms that have be
 verified on certain platforms with caveats include:
 * SHA-2
 * HMAC
-* AES-GCM
 * AES-KWP
 * ECDH & ECDSA with curve P-384
+* HKDF
 
 ## Have a Question?