Merge pull request #434 from crocs-muni/feat/more-pqc-rules

Add more PQC rules.

src/sec_certs/rules.yaml

@@ -587,6 +587,8 @@ asymmetric_crypto:
 # Post-quantum crypto primitive, grouped by primitive, from NIST-PQC.
 #####
 pq_crypto:
+  FIPS:
+    - "ML-KEM|ML-DSA|SLH-DSA"
   ClassicMcEliece:
     - "Classic[ -]McEliece"
   CRYSTALS:
@@ -867,7 +869,7 @@ crypto_library:
     - "BearSSL"
   Botan:
     - "Botan"
-  Crypto++:
+  "Crypto++":
     - "Crypto\\+\\+"
   wolfSSL:
     - "wolfSSL"
@@ -904,6 +906,8 @@ vulnerability:
     - "Minerva"
   TPM-Fail:
     - "TPM[\\.-]Fail"
+  EUCLEAK:
+    - "EUCLEAK"
 
 #####
 # A side-channel analysis related term, grouped into SCA, FI and other.