add ref

GaloisInc · Jan 29, 2025 · 3f4f85c · 3f4f85c
1 parent ed46bb8
commit 3f4f85c
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/Primitive/Symmetric/Cipher/Block/Simon/Specification.cry b/Primitive/Symmetric/Cipher/Block/Simon/Specification.cry
@@ -185,6 +185,8 @@ private
   /**
    * The function `f` is a constituent function of the encryption and decryption
    * round functions.
+   *
+   * Reference: [SIMON] Section 3.1.
    */
   f : [n] -> [n]
   f x = (S 1 x && S 8 x) ^ S 2 x