aes: fix copyright notices #77

GaloisInc · Jul 15, 2024 · 3cd6557 · 3cd6557
1 parent 03df7c8
commit 3cd6557
Show file tree

Hide file tree

Showing 3 changed files with 20 additions and 0 deletions.
diff --git a/Primitive/Symmetric/Cipher/Block/AES/Round.cry b/Primitive/Symmetric/Cipher/Block/AES/Round.cry
@@ -1,3 +1,10 @@
+// Sub-functions that compose a single round of AES.
+//
+// @copyright Galois Inc.
+// @author Nichole Shimanski <[email protected]>
+// @editor Brian Huffman
+// @author Marcella Hastings <[email protected]>
+// www.cryptol.net
 module Primitive::Symmetric::Cipher::Block::AES::Round where
 
 import Common::GF28 as GF28

diff --git a/Primitive/Symmetric/Cipher/Block/AES/SBox.cry b/Primitive/Symmetric/Cipher/Block/AES/SBox.cry
@@ -1,3 +1,10 @@
+// The substitution table (S-box) for AES.
+//
+// @copyright Galois Inc.
+// @author Nichole Shimanski <[email protected]>
+// @editor Brian Huffman
+// @author Marcella Hastings <[email protected]>
+// www.cryptol.net
 module Primitive::Symmetric::Cipher::Block::AES::SBox where
 
 import Common::GF28 as GF28

diff --git a/Primitive/Symmetric/Cipher/Block/AES/State.cry b/Primitive/Symmetric/Cipher/Block/AES/State.cry
@@ -1,3 +1,9 @@
+// Some useful shared internal types used in AES.
+//
+// @copyright Galois Inc.
+// @author Nichole Shimanski <[email protected]>
+// @author Marcella Hastings <[email protected]>
+// www.cryptol.net
 module Primitive::Symmetric::Cipher::Block::AES::State where
 
 import Common::GF28