mlkem: add copyright notices #148

GaloisInc · Oct 4, 2024 · cbf9ea9 · cbf9ea9
1 parent ac63f65
commit cbf9ea9
Show file tree

Hide file tree

Showing 5 changed files with 17 additions and 1 deletion.
diff --git a/Primitive/Asymmetric/Cipher/ML_KEM/Instantiations/ML_KEM.cry b/Primitive/Asymmetric/Cipher/ML_KEM/Instantiations/ML_KEM.cry
@@ -1,3 +1,6 @@
-
+/**
+ * @copyright Galois Inc
+ * @author Marios Georgiou <marios@galois.com>
+ */
 module Primitive::Asymmetric::Cipher::ML_KEM::Instantiations::ML_KEM where
     import Primitive::Asymmetric::Cipher::ML_KEM::Instantiations::ML_KEM512
diff --git a/Primitive/Asymmetric/Cipher/ML_KEM/Tests/ML_KEM1024.cry b/Primitive/Asymmetric/Cipher/ML_KEM/Tests/ML_KEM1024.cry
@@ -3,6 +3,9 @@
  *
  * These are sourced from the Post Quantum Cryptography KAT repo:
  * @see https://github.com/post-quantum-cryptography/KAT/tree/main/MLKEM
+ *
+ * @copyright Galois Inc
+ * @author Marcella Hastings <marcella@galois.com>
  */
 
 import Primitive::Asymmetric::Cipher::ML_KEM::Instantiations::ML_KEM1024 as ML_KEM

diff --git a/Primitive/Asymmetric/Cipher/ML_KEM/Tests/ML_KEM512.cry b/Primitive/Asymmetric/Cipher/ML_KEM/Tests/ML_KEM512.cry
@@ -3,6 +3,9 @@
  *
  * These are sourced from the Post Quantum Cryptography KAT repo:
  * @see https://github.com/post-quantum-cryptography/KAT/tree/main/MLKEM
+ *
+ * @copyright Galois Inc
+ * @author Marcella Hastings <marcella@galois.com>
  */
 
 import Primitive::Asymmetric::Cipher::ML_KEM::Instantiations::ML_KEM512 as ML_KEM

diff --git a/Primitive/Asymmetric/Cipher/ML_KEM/Tests/ML_KEM768.cry b/Primitive/Asymmetric/Cipher/ML_KEM/Tests/ML_KEM768.cry
@@ -3,6 +3,9 @@
  *
  * These are sourced from the Post Quantum Cryptography KAT repo:
  * @see https://github.com/post-quantum-cryptography/KAT/tree/main/MLKEM
+ *
+ * @copyright Galois Inc
+ * @author Marcella Hastings <marcella@galois.com>
  */
 
 import Primitive::Asymmetric::Cipher::ML_KEM::Instantiations::ML_KEM768 as ML_KEM

diff --git a/Primitive/Asymmetric/Cipher/ML_KEM/Tests/kat.awk b/Primitive/Asymmetric/Cipher/ML_KEM/Tests/kat.awk
@@ -1,6 +1,10 @@
 # Create a batch file from ML-KEM known answer tests
 # The input is the *.rsp file.
 # Example input file: https://raw.githubusercontent.com/post-quantum-cryptography/KAT/main/MLKEM/kat_MLKEM_512.rsp
+#
+# @copyright Galois, Inc
+# @author Marios Georgiou <marios@galois.com>
+#
 
 BEGIN { print ":load ml_kem.cry" }