diff options
| author | Kévin Le Gouguec <kevin.legouguec@airbus.com> | 2018-11-22 10:14:08 +0100 |
|---|---|---|
| committer | Kévin Le Gouguec <kevin.legouguec@airbus.com> | 2018-11-22 10:31:20 +0100 |
| commit | 6c7cceee3c7627d3c26dd3c064183d8a26d7fca5 (patch) | |
| tree | dd872c9d2538551ea9d4e2d2694729b13c92c64c /crypto_aead/lilliputaei128v1/ref | |
| parent | 50dfa88971425c701a9f55f6ced2528088348483 (diff) | |
| download | lilliput-ae-implem-6c7cceee3c7627d3c26dd3c064183d8a26d7fca5.tar.xz | |
Ajout des vecteurs de test de déchiffrement de Léo
Diffstat (limited to 'crypto_aead/lilliputaei128v1/ref')
3 files changed, 1439 insertions, 0 deletions
diff --git a/crypto_aead/lilliputaei128v1/ref/test/test-tbc-decrypt-ref/tbc-decrypt_order.txt b/crypto_aead/lilliputaei128v1/ref/test/test-tbc-decrypt-ref/tbc-decrypt_order.txt new file mode 100644 index 0000000..ee38d87 --- /dev/null +++ b/crypto_aead/lilliputaei128v1/ref/test/test-tbc-decrypt-ref/tbc-decrypt_order.txt @@ -0,0 +1,682 @@ +Tweak : + 17 16 15 14 13 12 11 10 + 0f 0e 0d 0c 0b 0a 09 08 + 07 06 05 04 03 02 01 00 + +Key : + 0f 0e 0d 0c 0b 0a 09 08 + 07 06 05 04 03 02 01 00 + +Ciphertext : + e4 71 9d 49 69 5d 4a c3 4e a0 a6 ff 4a 71 4f 68 + +One round EGFN round : 0 + State : + Non Linear Layer : + e4 71 9d 49 69 5d 4a c3 4e a0 a6 ff 4a 71 4f 68 + Subtweakey : + a7 8f ba ae 9b 86 92 ac + Variables xored : + e9 2f 1c 51 d1 f7 dd c4 + Variables sboxed : + 19 5f da 98 5d fd b0 18 + State non linearized : + fc c1 60 14 f1 87 15 da 4e a0 a6 ff 4a 71 4f 68 + Linear Layer : + fc c1 60 14 f1 87 15 da 4e a0 a6 ff 4a 71 4f 68 + State linearized : + 3f 8f 2e 5a bf c9 5b da 4e a0 a6 ff 4a 71 4f 68 + Permutation Layer : + 3f 8f 2e 5a bf c9 5b da 4e a0 a6 ff 4a 71 4f 68 + State permuted : + 4e 68 a0 71 4f 4a a6 ff 3f 5a bf c9 da 8f 5b 2e + +One round EGFN round : 1 + State : + Non Linear Layer : + 4e 68 a0 71 4f 4a a6 ff 3f 5a bf c9 da 8f 5b 2e + Subtweakey : + 2b ce ea d0 11 35 0f ea + Variables xored : + 14 94 55 19 cb ba 54 c4 + Variables sboxed : + 15 a1 0f c5 8e fc 6b 18 + State non linearized : + 56 03 5c ff 8a 45 07 ea 3f 5a bf c9 da 8f 5b 2e + Linear Layer : + 56 03 5c ff 8a 45 07 ea 3f 5a bf c9 da 8f 5b 2e + State linearized : + 4b 3c 63 c0 b5 7a 38 ea 3f 5a bf c9 da 8f 5b 2e + Permutation Layer : + 4b 3c 63 c0 b5 7a 38 ea 3f 5a bf c9 da 8f 5b 2e + State permuted : + 3f 2e 5a 8f 5b da bf c9 4b c0 b5 7a ea 3c 38 63 + +One round EGFN round : 2 + State : + Non Linear Layer : + 3f 2e 5a 8f 5b da bf c9 4b c0 b5 7a ea 3c 38 63 + Subtweakey : + 81 b8 92 0b 18 ab 32 3c + Variables xored : + ca 78 27 71 f2 97 0a 5f + Variables sboxed : + c4 67 83 5b de 10 6a d6 + State non linearized : + e9 44 4a 51 00 59 d8 0d 4b c0 b5 7a ea 3c 38 63 + Linear Layer : + e9 44 4a 51 00 59 d8 0d 4b c0 b5 7a ea 3c 38 63 + State linearized : + 43 0f 01 1a 4b 12 93 0d 4b c0 b5 7a ea 3c 38 63 + Permutation Layer : + 43 0f 01 1a 4b 12 93 0d 4b c0 b5 7a ea 3c 38 63 + State permuted : + 4b 63 c0 3c 38 ea b5 7a 43 1a 4b 12 0d 0f 93 01 + +One round EGFN round : 3 + State : + Non Linear Layer : + 4b 63 c0 3c 38 ea b5 7a 43 1a 4b 12 0d 0f 93 01 + Subtweakey : + a0 14 9f e5 da 2b 6e 4d + Variables xored : + e3 0e d4 f7 d7 24 fd 4c + Variables sboxed : + 49 54 e7 fd 5e 5c bb bf + State non linearized : + f4 d8 9c 62 c5 0d e1 33 43 1a 4b 12 0d 0f 93 01 + Linear Layer : + f4 d8 9c 62 c5 0d e1 33 43 1a 4b 12 0d 0f 93 01 + State linearized : + 65 9b df 21 86 4e a2 33 43 1a 4b 12 0d 0f 93 01 + Permutation Layer : + 65 9b df 21 86 4e a2 33 43 1a 4b 12 0d 0f 93 01 + State permuted : + 43 01 1a 0f 93 0d 4b 12 65 21 86 4e 33 9b a2 df + +One round EGFN round : 4 + State : + Non Linear Layer : + 43 01 1a 0f 93 0d 4b 12 65 21 86 4e 33 9b a2 df + Subtweakey : + cf 03 5c 22 7d 90 b1 f5 + Variables xored : + aa 22 da 6c 4e 0b 13 2a + Variables sboxed : + ff 23 d1 72 b6 64 06 2b + State non linearized : + 68 07 7e b9 e1 dc 68 ed 65 21 86 4e 33 9b a2 df + Linear Layer : + 68 07 7e b9 e1 dc 68 ed 65 21 86 4e 33 9b a2 df + State linearized : + ee 62 1b dc 84 b9 0d ed 65 21 86 4e 33 9b a2 df + Permutation Layer : + ee 62 1b dc 84 b9 0d ed 65 21 86 4e 33 9b a2 df + State permuted : + 65 df 21 9b a2 33 86 4e ee dc 84 b9 ed 62 0d 1b + +One round EGFN round : 5 + State : + Non Linear Layer : + 65 df 21 9b a2 33 86 4e ee dc 84 b9 ed 62 0d 1b + Subtweakey : + e9 ad 50 14 8c 71 c8 2f + Variables xored : + 07 71 d4 ad 61 13 c5 34 + Variables sboxed : + 12 5b e7 ce 43 06 cb 04 + State non linearized : + 61 14 27 d8 6c d4 dd 5c ee dc 84 b9 ed 62 0d 1b + Linear Layer : + 61 14 27 d8 6c d4 dd 5c ee dc 84 b9 ed 62 0d 1b + State linearized : + ec fa c9 36 82 3a 33 5c ee dc 84 b9 ed 62 0d 1b + Permutation Layer : + ec fa c9 36 82 3a 33 5c ee dc 84 b9 ed 62 0d 1b + State permuted : + ee 1b dc 62 0d ed 84 b9 ec 36 82 3a 5c fa 33 c9 + +One round EGFN round : 6 + State : + Non Linear Layer : + ee 1b dc 62 0d ed 84 b9 ec 36 82 3a 5c fa 33 c9 + Subtweakey : + d0 e3 66 55 3d 0e b8 92 + Variables xored : + 3c d5 e4 6f 61 f4 8b 5b + Variables sboxed : + 91 fe 8f ed 43 aa 08 7c + State non linearized : + 92 13 76 21 e0 62 7a 28 ec 36 82 3a 5c fa 33 c9 + Linear Layer : + 92 13 76 21 e0 62 7a 28 ec 36 82 3a 5c fa 33 c9 + State linearized : + 65 ff 9a cd 0c 8e 96 28 ec 36 82 3a 5c fa 33 c9 + Permutation Layer : + 65 ff 9a cd 0c 8e 96 28 ec 36 82 3a 5c fa 33 c9 + State permuted : + ec c9 36 fa 33 5c 82 3a 65 cd 0c 8e 28 ff 96 9a + +One round EGFN round : 7 + State : + Non Linear Layer : + ec c9 36 fa 33 5c 82 3a 65 cd 0c 8e 28 ff 96 9a + Subtweakey : + 57 9d 40 8a 21 eb 36 e4 + Variables xored : + 32 50 4c 04 09 14 a0 7e + Variables sboxed : + 05 3a bf 33 8a 15 95 7f + State non linearized : + 93 5c 23 70 00 e3 b8 3f 65 cd 0c 8e 28 ff 96 9a + Linear Layer : + 93 5c 23 70 00 e3 b8 3f 65 cd 0c 8e 28 ff 96 9a + State linearized : + f8 39 46 15 65 86 dd 3f 65 cd 0c 8e 28 ff 96 9a + Permutation Layer : + f8 39 46 15 65 86 dd 3f 65 cd 0c 8e 28 ff 96 9a + State permuted : + 65 9a cd ff 96 28 0c 8e f8 15 65 86 3f 39 dd 46 + +One round EGFN round : 8 + State : + Non Linear Layer : + 65 9a cd ff 96 28 0c 8e f8 15 65 86 3f 39 dd 46 + Subtweakey : + df bb 3e 2d a8 cc 49 4d + Variables xored : + 27 ae 5b ab 97 f5 94 0b + Variables sboxed : + 83 42 7c f5 10 e9 a1 64 + State non linearized : + 01 3b 24 ef 63 54 4e 0d f8 15 65 86 3f 39 dd 46 + Linear Layer : + 01 3b 24 ef 63 54 4e 0d f8 15 65 86 3f 39 dd 46 + State linearized : + d4 c3 dc 17 9b ac b6 0d f8 15 65 86 3f 39 dd 46 + Permutation Layer : + d4 c3 dc 17 9b ac b6 0d f8 15 65 86 3f 39 dd 46 + State permuted : + f8 46 15 39 dd 3f 65 86 d4 17 9b ac 0d c3 b6 dc + +One round EGFN round : 9 + State : + Non Linear Layer : + f8 46 15 39 dd 3f 65 86 d4 17 9b ac 0d c3 b6 dc + Subtweakey : + fe 61 4d 0c 93 bf 20 c4 + Variables xored : + 2a 76 d6 a0 9e 7c 96 18 + Variables sboxed : + 2b 2f 7d 95 e0 d7 9b e8 + State non linearized : + 10 dd c2 d9 48 42 4a ad d4 17 9b ac 0d c3 b6 dc + Linear Layer : + 10 dd c2 d9 48 42 4a ad d4 17 9b ac 0d c3 b6 dc + State linearized : + 9c 09 16 0d 9c 96 9e ad d4 17 9b ac 0d c3 b6 dc + Permutation Layer : + 9c 09 16 0d 9c 96 9e ad d4 17 9b ac 0d c3 b6 dc + State permuted : + d4 dc 17 c3 b6 0d 9b ac 9c 0d 9c 96 ad 09 9e 16 + +One round EGFN round : 10 + State : + Non Linear Layer : + d4 dc 17 c3 b6 0d 9b ac 9c 0d 9c 96 ad 09 9e 16 + Subtweakey : + 32 97 fd 8c 29 e6 43 4d + Variables xored : + ae 9a 61 1a 84 ef dd 5b + Variables sboxed : + 42 97 43 a2 02 c1 b0 7c + State non linearized : + a8 6c d6 c1 14 4e 0c ee 9c 0d 9c 96 ad 09 9e 16 + Linear Layer : + a8 6c d6 c1 14 4e 0c ee 9c 0d 9c 96 ad 09 9e 16 + State linearized : + 09 f0 4a 5d 88 d2 90 ee 9c 0d 9c 96 ad 09 9e 16 + Permutation Layer : + 09 f0 4a 5d 88 d2 90 ee 9c 0d 9c 96 ad 09 9e 16 + State permuted : + 9c 16 0d 09 9e ad 9c 96 09 5d 88 d2 ee f0 90 4a + +One round EGFN round : 11 + State : + Non Linear Layer : + 9c 16 0d 09 9e ad 9c 96 09 5d 88 d2 ee f0 90 4a + Subtweakey : + d1 bf 14 cf a1 64 7a 1e + Variables xored : + d8 e2 9c 1d 4f 94 ea 54 + Variables sboxed : + 66 e1 3b 57 40 a1 f9 6b + State non linearized : + f7 ef ac 49 c9 96 7d f0 09 5d 88 d2 ee f0 90 4a + Linear Layer : + f7 ef ac 49 c9 96 7d f0 09 5d 88 d2 ee f0 90 4a + State linearized : + 77 e6 a5 40 c0 9f 74 f0 09 5d 88 d2 ee f0 90 4a + Permutation Layer : + 77 e6 a5 40 c0 9f 74 f0 09 5d 88 d2 ee f0 90 4a + State permuted : + 09 4a 5d f0 90 ee 88 d2 77 40 c0 9f f0 e6 74 a5 + +One round EGFN round : 12 + State : + Non Linear Layer : + 09 4a 5d f0 90 ee 88 d2 77 40 c0 9f f0 e6 74 a5 + Subtweakey : + 84 ed f3 72 6c 1b 9a 16 + Variables xored : + f3 ad 33 ed 9c fd ee b3 + Variables sboxed : + 41 ce 87 48 3b bb 58 03 + State non linearized : + 0a 12 e6 cb d8 69 46 93 77 40 c0 9f f0 e6 74 a5 + Linear Layer : + 0a 12 e6 cb d8 69 46 93 77 40 c0 9f f0 e6 74 a5 + State linearized : + 00 65 91 bc af 1e 31 93 77 40 c0 9f f0 e6 74 a5 + Permutation Layer : + 00 65 91 bc af 1e 31 93 77 40 c0 9f f0 e6 74 a5 + State permuted : + 77 a5 40 e6 74 f0 c0 9f 00 bc af 1e 93 65 31 91 + +One round EGFN round : 13 + State : + Non Linear Layer : + 77 a5 40 e6 74 f0 c0 9f 00 bc af 1e 93 65 31 91 + Subtweakey : + 2e 8f ed 92 51 33 4c e2 + Variables xored : + 2e 33 42 8c c2 56 7d 73 + Variables sboxed : + 77 87 60 8d 8c 1c 5a 6d + State non linearized : + 1a ff 5c 6a f9 90 47 e8 00 bc af 1e 93 65 31 91 + Linear Layer : + 1a ff 5c 6a f9 90 47 e8 00 bc af 1e 93 65 31 91 + State linearized : + d0 ff 5c 6a f9 90 47 e8 00 bc af 1e 93 65 31 91 + Permutation Layer : + d0 ff 5c 6a f9 90 47 e8 00 bc af 1e 93 65 31 91 + State permuted : + 00 91 bc 65 31 93 af 1e d0 6a f9 90 e8 ff 47 5c + +One round EGFN round : 14 + State : + Non Linear Layer : + 00 91 bc 65 31 93 af 1e d0 6a f9 90 e8 ff 47 5c + Subtweakey : + 79 f7 98 df 3e 16 51 a1 + Variables xored : + a9 9d 61 4f d6 e9 16 fd + Variables sboxed : + 4b 76 43 40 7d 19 3e bb + State non linearized : + bb af a5 18 71 d0 d9 55 d0 6a f9 90 e8 ff 47 5c + Linear Layer : + bb af a5 18 71 d0 d9 55 d0 6a f9 90 e8 ff 47 5c + State linearized : + 38 7f 75 c8 a1 00 09 55 d0 6a f9 90 e8 ff 47 5c + Permutation Layer : + 38 7f 75 c8 a1 00 09 55 d0 6a f9 90 e8 ff 47 5c + State permuted : + d0 5c 6a ff 47 e8 f9 90 38 c8 a1 00 55 7f 09 75 + +One round EGFN round : 15 + State : + Non Linear Layer : + d0 5c 6a ff 47 e8 f9 90 38 c8 a1 00 55 7f 09 75 + Subtweakey : + a4 cb 20 25 a1 4f ce 5a + Variables xored : + 9c 03 81 25 f4 30 c7 2f + Variables sboxed : + 3b 85 a4 24 aa 37 88 5f + State non linearized : + 8f d4 5d 55 63 4c 7c ab 38 c8 a1 00 55 7f 09 75 + Linear Layer : + 8f d4 5d 55 63 4c 7c ab 38 c8 a1 00 55 7f 09 75 + State linearized : + fd ec 65 6d 5b 74 44 ab 38 c8 a1 00 55 7f 09 75 + Permutation Layer : + fd ec 65 6d 5b 74 44 ab 38 c8 a1 00 55 7f 09 75 + State permuted : + 38 75 c8 7f 09 55 a1 00 fd 6d 5b 74 ab ec 44 65 + +One round EGFN round : 16 + State : + Non Linear Layer : + 38 75 c8 7f 09 55 a1 00 fd 6d 5b 74 ab ec 44 65 + Subtweakey : + 9a 44 2f 4f 24 f1 fa 9e + Variables xored : + 67 29 74 3b 8f 1d be fb + Variables sboxed : + d9 c7 e6 51 ca 57 4d 36 + State non linearized : + 0e 38 9f b5 58 b3 66 d9 fd 6d 5b 74 ab ec 44 65 + Linear Layer : + 0e 38 9f b5 58 b3 66 d9 fd 6d 5b 74 ab ec 44 65 + State linearized : + b2 c5 62 48 a5 4e 9b d9 fd 6d 5b 74 ab ec 44 65 + Permutation Layer : + b2 c5 62 48 a5 4e 9b d9 fd 6d 5b 74 ab ec 44 65 + State permuted : + fd 65 6d ec 44 ab 5b 74 b2 48 a5 4e d9 c5 9b 62 + +One round EGFN round : 17 + State : + Non Linear Layer : + fd 65 6d ec 44 ab 5b 74 b2 48 a5 4e d9 c5 9b 62 + Subtweakey : + 48 63 2b 00 da 92 f1 b7 + Variables xored : + fa 2b 8e 4e 03 57 6a d5 + Variables sboxed : + 56 59 e5 b6 85 fb 55 fe + State non linearized : + 03 30 96 69 f2 4e 02 22 b2 48 a5 4e d9 c5 9b 62 + Linear Layer : + 03 30 96 69 f2 4e 02 22 b2 48 a5 4e d9 c5 9b 62 + State linearized : + 95 82 24 db 40 fc b0 22 b2 48 a5 4e d9 c5 9b 62 + Permutation Layer : + 95 82 24 db 40 fc b0 22 b2 48 a5 4e d9 c5 9b 62 + State permuted : + b2 62 48 c5 9b d9 a5 4e 95 db 40 fc 22 82 b0 24 + +One round EGFN round : 18 + State : + Non Linear Layer : + b2 62 48 c5 9b d9 a5 4e 95 db 40 fc 22 82 b0 24 + Subtweakey : + 52 97 39 fc 08 cd a6 6e + Variables xored : + c7 4c 79 00 2a 4f 16 4a + Variables sboxed : + 88 bf 94 20 2b 40 3e a8 + State non linearized : + 1a 5c 08 ee bb 4d 1a c6 95 db 40 fc 22 82 b0 24 + Linear Layer : + 1a 5c 08 ee bb 4d 1a c6 95 db 40 fc 22 82 b0 24 + State linearized : + f8 c9 9d 7b 2e d8 8f c6 95 db 40 fc 22 82 b0 24 + Permutation Layer : + f8 c9 9d 7b 2e d8 8f c6 95 db 40 fc 22 82 b0 24 + State permuted : + 95 24 db 82 b0 22 40 fc f8 7b 2e d8 c6 c9 8f 9d + +One round EGFN round : 19 + State : + Non Linear Layer : + 95 24 db 82 b0 22 40 fc f8 7b 2e d8 c6 c9 8f 9d + Subtweakey : + 17 fb 4c a0 cd 21 96 76 + Variables xored : + ef 80 62 78 0b e8 19 eb + Variables sboxed : + c1 84 cd 67 64 f4 c5 df + State non linearized : + 4a e1 2f e6 d7 ef c4 3d f8 7b 2e d8 c6 c9 8f 9d + Linear Layer : + 4a e1 2f e6 d7 ef c4 3d f8 7b 2e d8 c6 c9 8f 9d + State linearized : + bf 19 d7 1e 2f 17 3c 3d f8 7b 2e d8 c6 c9 8f 9d + Permutation Layer : + bf 19 d7 1e 2f 17 3c 3d f8 7b 2e d8 c6 c9 8f 9d + State permuted : + f8 9d 7b c9 8f c6 2e d8 bf 1e 2f 17 3d 19 3c d7 + +One round EGFN round : 20 + State : + Non Linear Layer : + f8 9d 7b c9 8f c6 2e d8 bf 1e 2f 17 3d 19 3c d7 + Subtweakey : + bd 70 ef c0 5f 92 0d 29 + Variables xored : + 02 6e c0 d7 62 8b 31 fe + Variables sboxed : + b2 29 ee 5e cd 08 09 ab + State non linearized : + 53 94 73 04 d1 28 07 6a bf 1e 2f 17 3d 19 3c d7 + Linear Layer : + 53 94 73 04 d1 28 07 6a bf 1e 2f 17 3d 19 3c d7 + State linearized : + d2 2b cc bb 6e 97 b8 6a bf 1e 2f 17 3d 19 3c d7 + Permutation Layer : + d2 2b cc bb 6e 97 b8 6a bf 1e 2f 17 3d 19 3c d7 + State permuted : + bf d7 1e 19 3c 3d 2f 17 d2 bb 6e 97 6a 2b b8 cc + +One round EGFN round : 21 + State : + Non Linear Layer : + bf d7 1e 19 3c 3d 2f 17 d2 bb 6e 97 6a 2b b8 cc + Subtweakey : + ac 68 bb ca 0e dd 19 75 + Variables xored : + 7e d3 d5 5d 64 f6 a1 b9 + Variables sboxed : + 7f 2c fe 25 7e 9a b5 53 + State non linearized : + ec 62 84 67 19 c3 03 68 d2 bb 6e 97 6a 2b b8 cc + Linear Layer : + ec 62 84 67 19 c3 03 68 d2 bb 6e 97 6a 2b b8 cc + State linearized : + 85 b0 56 b5 cb 11 d1 68 d2 bb 6e 97 6a 2b b8 cc + Permutation Layer : + 85 b0 56 b5 cb 11 d1 68 d2 bb 6e 97 6a 2b b8 cc + State permuted : + d2 cc bb 2b b8 6a 6e 97 85 b5 cb 11 68 b0 d1 56 + +One round EGFN round : 22 + State : + Non Linear Layer : + d2 cc bb 2b b8 6a 6e 97 85 b5 cb 11 68 b0 d1 56 + Subtweakey : + b6 2b 87 54 c9 f8 65 13 + Variables xored : + 33 9e 4c 45 a1 48 b4 45 + Variables sboxed : + 87 e0 bf 47 b5 e2 a0 47 + State non linearized : + 95 6c 59 9e ff d5 8e 10 85 b5 cb 11 68 b0 d1 56 + Linear Layer : + 95 6c 59 9e ff d5 8e 10 85 b5 cb 11 68 b0 d1 56 + State linearized : + 76 e9 dc 1b 7a 50 0b 10 85 b5 cb 11 68 b0 d1 56 + Permutation Layer : + 76 e9 dc 1b 7a 50 0b 10 85 b5 cb 11 68 b0 d1 56 + State permuted : + 85 56 b5 b0 d1 68 cb 11 76 1b 7a 50 10 e9 0b dc + +One round EGFN round : 23 + State : + Non Linear Layer : + 85 56 b5 b0 d1 68 cb 11 76 1b 7a 50 10 e9 0b dc + Subtweakey : + 14 d8 31 bc 70 55 fd 91 + Variables xored : + 62 c3 4b ec 60 bc f6 4d + Variables sboxed : + cd 1a 4a 6e 3f 14 9a ad + State non linearized : + 28 cc a1 8f bf 22 d1 dc 76 1b 7a 50 10 e9 0b dc + Linear Layer : + 28 cc a1 8f bf 22 d1 dc 76 1b 7a 50 10 e9 0b dc + State linearized : + 9d ba d7 f9 c9 54 a7 dc 76 1b 7a 50 10 e9 0b dc + Permutation Layer : + 9d ba d7 f9 c9 54 a7 dc 76 1b 7a 50 10 e9 0b dc + State permuted : + 76 dc 1b e9 0b 10 7a 50 9d f9 c9 54 dc ba a7 d7 + +One round EGFN round : 24 + State : + Non Linear Layer : + 76 dc 1b e9 0b 10 7a 50 9d f9 c9 54 dc ba a7 d7 + Subtweakey : + e1 b7 2b 6e f2 38 7d a3 + Variables xored : + 7c 4e e2 3a 2e 82 da 74 + Variables sboxed : + d7 b6 e1 9d 77 26 d1 e6 + State non linearized : + 90 0d 3d 9e 96 f1 cc 87 9d f9 c9 54 dc ba a7 d7 + Linear Layer : + 90 0d 3d 9e 96 f1 cc 87 9d f9 c9 54 dc ba a7 d7 + State linearized : + a8 90 a0 03 0b 6c 51 87 9d f9 c9 54 dc ba a7 d7 + Permutation Layer : + a8 90 a0 03 0b 6c 51 87 9d f9 c9 54 dc ba a7 d7 + State permuted : + 9d d7 f9 ba a7 dc c9 54 a8 03 0b 6c 87 90 51 a0 + +One round EGFN round : 25 + State : + Non Linear Layer : + 9d d7 f9 ba a7 dc c9 54 a8 03 0b 6c 87 90 51 a0 + Subtweakey : + 2d f1 16 00 3b dc ca e1 + Variables xored : + 85 f2 1d 6c bc 4c 9b 41 + Variables sboxed : + 81 de 57 72 14 bf f7 4e + State non linearized : + d3 20 46 ae d5 8b 17 d5 a8 03 0b 6c 87 90 51 a0 + Linear Layer : + d3 20 46 ae d5 8b 17 d5 a8 03 0b 6c 87 90 51 a0 + State linearized : + 59 88 ee 06 7d 23 bf d5 a8 03 0b 6c 87 90 51 a0 + Permutation Layer : + 59 88 ee 06 7d 23 bf d5 a8 03 0b 6c 87 90 51 a0 + State permuted : + a8 a0 03 90 51 87 0b 6c 59 06 7d 23 d5 88 bf ee + +One round EGFN round : 26 + State : + Non Linear Layer : + a8 a0 03 90 51 87 0b 6c 59 06 7d 23 d5 88 bf ee + Subtweakey : + 43 24 d0 64 f7 b7 03 95 + Variables xored : + 1a 22 ad 47 22 3f bc 7b + Variables sboxed : + a2 23 ce e4 23 17 14 13 + State non linearized : + bb b4 14 b3 b5 49 28 ce 59 06 7d 23 d5 88 bf ee + Linear Layer : + bb b4 14 b3 b5 49 28 ce 59 06 7d 23 d5 88 bf ee + State linearized : + 58 ed 4d ea ec 10 71 ce 59 06 7d 23 d5 88 bf ee + Permutation Layer : + 58 ed 4d ea ec 10 71 ce 59 06 7d 23 d5 88 bf ee + State permuted : + 59 ee 06 88 bf d5 7d 23 58 ea ec 10 ce ed 71 4d + +One round EGFN round : 27 + State : + Non Linear Layer : + 59 ee 06 88 bf d5 7d 23 58 ea ec 10 ce ed 71 4d + Subtweakey : + 47 2e 13 31 65 7a 0c 5c + Variables xored : + 1f c4 ff 21 ab 97 7d 11 + Variables sboxed : + d8 18 d4 01 f5 10 5a 96 + State non linearized : + cf b4 16 7d be 01 65 fb 58 ea ec 10 ce ed 71 4d + Linear Layer : + cf b4 16 7d be 01 65 fb 58 ea ec 10 ce ed 71 4d + State linearized : + d3 ec 4e 25 e6 59 3d fb 58 ea ec 10 ce ed 71 4d + Permutation Layer : + d3 ec 4e 25 e6 59 3d fb 58 ea ec 10 ce ed 71 4d + State permuted : + 58 4d ea ed 71 ce ec 10 d3 25 e6 59 fb ec 3d 4e + +One round EGFN round : 28 + State : + Non Linear Layer : + 58 4d ea ed 71 ce ec 10 d3 25 e6 59 fb ec 3d 4e + Subtweakey : + ca b5 b8 62 6f c7 10 1e + Variables xored : + 19 90 5e 3b 94 2b 2d 50 + Variables sboxed : + c5 3d 2e 51 a1 59 d2 3a + State non linearized : + 62 9f b3 4c 20 e0 d1 d5 d3 25 e6 59 fb ec 3d 4e + Linear Layer : + 62 9f b3 4c 20 e0 d1 d5 d3 25 e6 59 fb ec 3d 4e + State linearized : + 01 4c 60 9f f3 33 02 d5 d3 25 e6 59 fb ec 3d 4e + Permutation Layer : + 01 4c 60 9f f3 33 02 d5 d3 25 e6 59 fb ec 3d 4e + State permuted : + d3 4e 25 ec 3d fb e6 59 01 9f f3 33 d5 4c 02 60 + +One round EGFN round : 29 + State : + Non Linear Layer : + d3 4e 25 ec 3d fb e6 59 01 9f f3 33 d5 4c 02 60 + Subtweakey : + ce e4 96 bc d8 aa f2 82 + Variables xored : + cf 7b 65 8f 0d e6 f0 e2 + Variables sboxed : + ac 13 0a ca 1f d5 bc e1 + State non linearized : + 32 f2 f0 f3 f7 f1 f5 f5 01 9f f3 33 d5 4c 02 60 + Linear Layer : + 32 f2 f0 f3 f7 f1 f5 f5 01 9f f3 33 d5 4c 02 60 + State linearized : + f7 f3 f1 f2 f6 f0 f4 f5 01 9f f3 33 d5 4c 02 60 + Permutation Layer : + f7 f3 f1 f2 f6 f0 f4 f5 01 9f f3 33 d5 4c 02 60 + State permuted : + 01 60 9f 4c 02 d5 f3 33 f7 f2 f6 f0 f5 f3 f4 f1 + +One round EGFN round : 30 + State : + Non Linear Layer : + 01 60 9f 4c 02 d5 f3 33 f7 f2 f6 f0 f5 f3 f4 f1 + Subtweakey : + ff c0 74 4b e0 df 54 6a + Variables xored : + 08 32 82 bb 15 2c a0 9b + Variables sboxed : + 30 05 26 f0 bd 68 95 f7 + State non linearized : + f6 f5 f7 f1 f2 f3 f6 03 f7 f2 f6 f0 f5 f3 f4 f1 + Linear Layer : + f6 f5 f7 f1 f2 f3 f6 03 f7 f2 f6 f0 f5 f3 f4 f1 + State linearized : + 07 02 00 06 05 04 01 03 f7 f2 f6 f0 f5 f3 f4 f1 + Permutation Layer : + 07 02 00 06 05 04 01 03 f7 f2 f6 f0 f5 f3 f4 f1 + State permuted : + f7 f1 f2 f3 f4 f5 f6 f0 07 06 05 04 03 02 01 00 + +One round EGFN round : 31 + State : + Non Linear Layer : + f7 f1 f2 f3 f4 f5 f6 f0 07 06 05 04 03 02 01 00 + Subtweakey : + 17 16 15 14 13 12 11 10 + Variables xored : + 10 10 10 10 10 10 10 10 + Variables sboxed : + f8 f8 f8 f8 f8 f8 f8 f8 + State non linearized : + 0f 09 0a 0b 0c 0d 0e 08 07 06 05 04 03 02 01 00 + Linear Layer : + 0f 09 0a 0b 0c 0d 0e 08 07 06 05 04 03 02 01 00 + State linearized : + 0f 0e 0d 0c 0b 0a 09 08 07 06 05 04 03 02 01 00 + +Deciphered : + 0f 0e 0d 0c 0b 0a 09 08 07 06 05 04 03 02 01 00 diff --git a/crypto_aead/lilliputaei128v1/ref/test/test-tbc-decrypt-ref/tbc-decrypt_random.txt b/crypto_aead/lilliputaei128v1/ref/test/test-tbc-decrypt-ref/tbc-decrypt_random.txt new file mode 100644 index 0000000..3367867 --- /dev/null +++ b/crypto_aead/lilliputaei128v1/ref/test/test-tbc-decrypt-ref/tbc-decrypt_random.txt @@ -0,0 +1,682 @@ +Tweak : + 4d d2 b3 2a 12 43 8d 7d + 21 26 90 90 fa 2e f8 df + 84 1c 11 81 10 f3 43 a8 + +Key : + 9b f9 d5 3d 4d 23 f4 7f + 68 91 73 02 0a c6 96 c1 + +Ciphertext : + df d8 d3 67 26 53 5d c9 b0 1f 01 23 ae ae c3 f5 + +One round EGFN round : 0 + State : + Non Linear Layer : + df d8 d3 67 26 53 5d c9 b0 1f 01 23 ae ae c3 f5 + Subtweakey : + ac a6 f2 f1 39 5e e3 e6 + Variables xored : + 1c b9 f3 d2 97 f0 20 13 + Variables sboxed : + da 53 41 c9 10 bc 21 06 + State non linearized : + d9 f9 6f 77 ef 12 0e 13 b0 1f 01 23 ae ae c3 f5 + Linear Layer : + d9 f9 6f 77 ef 12 0e 13 b0 1f 01 23 ae ae c3 f5 + State linearized : + 97 49 df c7 5f a2 be 13 b0 1f 01 23 ae ae c3 f5 + Permutation Layer : + 97 49 df c7 5f a2 be 13 b0 1f 01 23 ae ae c3 f5 + State permuted : + b0 f5 1f ae c3 ae 01 23 97 c7 5f a2 13 49 be df + +One round EGFN round : 1 + State : + Non Linear Layer : + b0 f5 1f ae c3 ae 01 23 97 c7 5f a2 13 49 be df + Subtweakey : + a3 a6 d3 30 a2 c8 38 7f + Variables xored : + 34 61 8c 92 b1 81 86 a0 + Variables sboxed : + 04 43 8d cf dc a4 32 95 + State non linearized : + 25 c7 bb 72 0c 23 42 27 97 c7 5f a2 13 49 be df + Linear Layer : + 25 c7 bb 72 0c 23 42 27 97 c7 5f a2 13 49 be df + State linearized : + 6c 50 2c e5 9b b4 d5 27 97 c7 5f a2 13 49 be df + Permutation Layer : + 6c 50 2c e5 9b b4 d5 27 97 c7 5f a2 13 49 be df + State permuted : + 97 df c7 49 be 13 5f a2 6c e5 9b b4 27 50 d5 2c + +One round EGFN round : 2 + State : + Non Linear Layer : + 97 df c7 49 be 13 5f a2 6c e5 9b b4 27 50 d5 2c + Subtweakey : + c3 c1 83 48 95 b0 4b b6 + Variables xored : + af 24 18 fc b2 e0 9e 9a + Variables sboxed : + 8b 5c e8 f6 b4 e3 e0 97 + State non linearized : + 00 3f 24 fd 48 fb 03 29 6c e5 9b b4 27 50 d5 2c + Linear Layer : + 00 3f 24 fd 48 fb 03 29 6c e5 9b b4 27 50 d5 2c + State linearized : + 04 53 48 91 24 97 6f 29 6c e5 9b b4 27 50 d5 2c + Permutation Layer : + 04 53 48 91 24 97 6f 29 6c e5 9b b4 27 50 d5 2c + State permuted : + 6c 2c e5 50 d5 27 9b b4 04 91 24 97 29 53 6f 48 + +One round EGFN round : 3 + State : + Non Linear Layer : + 6c 2c e5 50 d5 27 9b b4 04 91 24 97 29 53 6f 48 + Subtweakey : + 12 af 2f 3f 49 64 bc 28 + Variables xored : + 16 3e 0b a8 60 37 d3 60 + Variables sboxed : + 3e 61 64 9e 3f fa 2c 3f + State non linearized : + 53 00 1f 6f 4b 43 fa 8a 04 91 24 97 29 53 6f 48 + Linear Layer : + 53 00 1f 6f 4b 43 fa 8a 04 91 24 97 29 53 6f 48 + State linearized : + 60 04 1b 6b 4f 47 fe 8a 04 91 24 97 29 53 6f 48 + Permutation Layer : + 60 04 1b 6b 4f 47 fe 8a 04 91 24 97 29 53 6f 48 + State permuted : + 04 48 91 53 6f 29 24 97 60 6b 4f 47 8a 04 fe 1b + +One round EGFN round : 4 + State : + Non Linear Layer : + 04 48 91 53 6f 29 24 97 60 6b 4f 47 8a 04 fe 1b + Subtweakey : + ea 9e 9b 70 cd e2 34 75 + Variables xored : + 8a f5 d4 37 47 e6 ca 6e + Variables sboxed : + ae e9 e7 fa e4 d5 c4 29 + State non linearized : + 2d 8c 44 b7 95 ce cd 39 60 6b 4f 47 8a 04 fe 1b + Linear Layer : + 2d 8c 44 b7 95 ce cd 39 60 6b 4f 47 8a 04 fe 1b + State linearized : + 5e ec 24 d7 f5 ae ad 39 60 6b 4f 47 8a 04 fe 1b + Permutation Layer : + 5e ec 24 d7 f5 ae ad 39 60 6b 4f 47 8a 04 fe 1b + State permuted : + 60 1b 6b 04 fe 8a 4f 47 5e d7 f5 ae 39 ec ad 24 + +One round EGFN round : 5 + State : + Non Linear Layer : + 60 1b 6b 04 fe 8a 4f 47 5e d7 f5 ae 39 ec ad 24 + Subtweakey : + d7 dd 61 b0 50 8b 2a 5e + Variables xored : + 89 0a 94 1e 69 67 87 7a + Variables sboxed : + c6 6a a1 0c 2d d9 86 73 + State non linearized : + 13 9d b2 29 f2 2b 25 81 5e d7 f5 ae 39 ec ad 24 + Linear Layer : + 13 9d b2 29 f2 2b 25 81 5e d7 f5 ae 39 ec ad 24 + State linearized : + b9 c3 ec 77 ac 75 7b 81 5e d7 f5 ae 39 ec ad 24 + Permutation Layer : + b9 c3 ec 77 ac 75 7b 81 5e d7 f5 ae 39 ec ad 24 + State permuted : + 5e 24 d7 ec ad 39 f5 ae b9 77 ac 75 81 c3 7b ec + +One round EGFN round : 6 + State : + Non Linear Layer : + 5e 24 d7 ec ad 39 f5 ae b9 77 ac 75 81 c3 7b ec + Subtweakey : + ec 8f d5 76 b4 c1 27 3e + Variables xored : + 55 f8 79 03 35 02 5c d2 + Variables sboxed : + 0f eb 94 85 82 b2 d0 c9 + State non linearized : + 97 f4 65 6e 28 ad 1e a1 b9 77 ac 75 81 c3 7b ec + Linear Layer : + 97 f4 65 6e 28 ad 1e a1 b9 77 ac 75 81 c3 7b ec + State linearized : + b9 4d dc d7 91 14 a7 a1 b9 77 ac 75 81 c3 7b ec + Permutation Layer : + b9 4d dc d7 91 14 a7 a1 b9 77 ac 75 81 c3 7b ec + State permuted : + b9 ec 77 c3 7b 81 ac 75 b9 d7 91 14 a1 4d a7 dc + +One round EGFN round : 7 + State : + Non Linear Layer : + b9 ec 77 c3 7b 81 ac 75 b9 d7 91 14 a1 4d a7 dc + Subtweakey : + 46 86 a6 32 98 64 16 6e + Variables xored : + ff 51 37 26 39 29 b1 b2 + Variables sboxed : + d4 98 fa 27 62 c7 dc b4 + State non linearized : + 0d 30 b0 a1 5c 7b 34 a1 b9 d7 91 14 a1 4d a7 dc + Linear Layer : + 0d 30 b0 a1 5c 7b 34 a1 b9 d7 91 14 a1 4d a7 dc + State linearized : + ad 89 09 18 e5 c2 8d a1 b9 d7 91 14 a1 4d a7 dc + Permutation Layer : + ad 89 09 18 e5 c2 8d a1 b9 d7 91 14 a1 4d a7 dc + State permuted : + b9 dc d7 4d a7 a1 91 14 ad 18 e5 c2 a1 89 8d 09 + +One round EGFN round : 8 + State : + Non Linear Layer : + b9 dc d7 4d a7 a1 91 14 ad 18 e5 c2 a1 89 8d 09 + Subtweakey : + cc 7e b0 f9 b1 4d a0 6c + Variables xored : + 61 66 55 3b 10 c4 2d 65 + Variables sboxed : + 43 79 0f 51 f8 18 d2 0a + State non linearized : + b3 0e cf b5 f6 ae e8 57 ad 18 e5 c2 a1 89 8d 09 + Linear Layer : + b3 0e cf b5 f6 ae e8 57 ad 18 e5 c2 a1 89 8d 09 + State linearized : + 84 a3 62 18 5b 03 45 57 ad 18 e5 c2 a1 89 8d 09 + Permutation Layer : + 84 a3 62 18 5b 03 45 57 ad 18 e5 c2 a1 89 8d 09 + State permuted : + ad 09 18 89 8d a1 e5 c2 84 18 5b 03 57 a3 45 62 + +One round EGFN round : 9 + State : + Non Linear Layer : + ad 09 18 89 8d a1 e5 c2 84 18 5b 03 57 a3 45 62 + Subtweakey : + 17 3e 7b ec 6a 32 49 d4 + Variables xored : + 93 26 20 ef 3d 91 0c b6 + Variables sboxed : + 92 27 21 c1 74 b7 b9 90 + State non linearized : + 3d b0 af fd 4c 80 c2 50 84 18 5b 03 57 a3 45 62 + Linear Layer : + 3d b0 af fd 4c 80 c2 50 84 18 5b 03 57 a3 45 62 + State linearized : + 48 34 2b 79 c8 04 46 50 84 18 5b 03 57 a3 45 62 + Permutation Layer : + 48 34 2b 79 c8 04 46 50 84 18 5b 03 57 a3 45 62 + State permuted : + 84 62 18 a3 45 57 5b 03 48 79 c8 04 50 34 46 2b + +One round EGFN round : 10 + State : + Non Linear Layer : + 84 62 18 a3 45 57 5b 03 48 79 c8 04 50 34 46 2b + Subtweakey : + ed 01 c1 22 0b 7a da c6 + Variables xored : + a5 78 09 26 5b 4e 9c ed + Variables sboxed : + 80 67 8a 27 7c b6 3b 48 + State non linearized : + cc 59 ae df 62 dd 3c 83 48 79 c8 04 50 34 46 2b + Linear Layer : + cc 59 ae df 62 dd 3c 83 48 79 c8 04 50 34 46 2b + State linearized : + 13 11 e6 97 2a 95 74 83 48 79 c8 04 50 34 46 2b + Permutation Layer : + 13 11 e6 97 2a 95 74 83 48 79 c8 04 50 34 46 2b + State permuted : + 48 2b 79 34 46 50 c8 04 13 97 2a 95 83 11 74 e6 + +One round EGFN round : 11 + State : + Non Linear Layer : + 48 2b 79 34 46 50 c8 04 13 97 2a 95 83 11 74 e6 + Subtweakey : + d3 77 6f 5c b4 cf e5 e9 + Variables xored : + c0 e0 45 c9 37 de 91 0f + Variables sboxed : + ee e3 47 c8 fa ea b7 0e + State non linearized : + 46 9c 93 ce 8e 17 2b ea 13 97 2a 95 83 11 74 e6 + Linear Layer : + 46 9c 93 ce 8e 17 2b ea 13 97 2a 95 83 11 74 e6 + State linearized : + 9b 8f 80 dd 9d 04 38 ea 13 97 2a 95 83 11 74 e6 + Permutation Layer : + 9b 8f 80 dd 9d 04 38 ea 13 97 2a 95 83 11 74 e6 + State permuted : + 13 e6 97 11 74 83 2a 95 9b dd 9d 04 ea 8f 38 80 + +One round EGFN round : 12 + State : + Non Linear Layer : + 13 e6 97 11 74 83 2a 95 9b dd 9d 04 ea 8f 38 80 + Subtweakey : + ad 19 83 2d 36 55 04 03 + Variables xored : + 36 c4 1e 29 dc da 3c 83 + Variables sboxed : + 31 18 0c c7 45 d1 91 34 + State non linearized : + 27 77 46 54 b3 8f 32 a4 9b dd 9d 04 ea 8f 38 80 + Linear Layer : + 27 77 46 54 b3 8f 32 a4 9b dd 9d 04 ea 8f 38 80 + State linearized : + a5 ec dd cf 28 14 a9 a4 9b dd 9d 04 ea 8f 38 80 + Permutation Layer : + a5 ec dd cf 28 14 a9 a4 9b dd 9d 04 ea 8f 38 80 + State permuted : + 9b 80 dd 8f 38 ea 9d 04 a5 cf 28 14 a4 ec a9 dd + +One round EGFN round : 13 + State : + Non Linear Layer : + 9b 80 dd 8f 38 ea 9d 04 a5 cf 28 14 a4 ec a9 dd + Subtweakey : + bb 54 b4 94 08 95 f8 42 + Variables xored : + 1e 9b 9c 80 ac 79 51 9f + Variables sboxed : + 0c f7 3b 84 4c 94 98 a9 + State non linearized : + 32 18 49 c3 bc d1 6a 08 a5 cf 28 14 a4 ec a9 dd + Linear Layer : + 32 18 49 c3 bc d1 6a 08 a5 cf 28 14 a4 ec a9 dd + State linearized : + 85 bd ec 66 19 74 cf 08 a5 cf 28 14 a4 ec a9 dd + Permutation Layer : + 85 bd ec 66 19 74 cf 08 a5 cf 28 14 a4 ec a9 dd + State permuted : + a5 dd cf ec a9 a4 28 14 85 66 19 74 08 bd cf ec + +One round EGFN round : 14 + State : + Non Linear Layer : + a5 dd cf ec a9 a4 28 14 85 66 19 74 08 bd cf ec + Subtweakey : + bc fe 08 70 d0 0a ad 1a + Variables xored : + 39 98 11 04 d8 b7 62 f6 + Variables sboxed : + 62 cc 96 33 66 4f cd 9a + State non linearized : + 3f 10 80 8a 9a 32 e4 76 85 66 19 74 08 bd cf ec + Linear Layer : + 3f 10 80 8a 9a 32 e4 76 85 66 19 74 08 bd cf ec + State linearized : + cb 95 05 0f 1f b7 61 76 85 66 19 74 08 bd cf ec + Permutation Layer : + cb 95 05 0f 1f b7 61 76 85 66 19 74 08 bd cf ec + State permuted : + 85 ec 66 bd cf 08 19 74 cb 0f 1f b7 76 95 61 05 + +One round EGFN round : 15 + State : + Non Linear Layer : + 85 ec 66 bd cf 08 19 74 cb 0f 1f b7 76 95 61 05 + Subtweakey : + de 17 54 c2 1e a2 5f 29 + Variables xored : + 15 18 4b 75 68 37 3e 2c + Variables sboxed : + bd e8 4a 3c 71 fa 61 68 + State non linearized : + ed 8d 9c cc f3 42 f1 c9 cb 0f 1f b7 76 95 61 05 + Linear Layer : + ed 8d 9c cc f3 42 f1 c9 cb 0f 1f b7 76 95 61 05 + State linearized : + 03 46 57 07 38 89 3a c9 cb 0f 1f b7 76 95 61 05 + Permutation Layer : + 03 46 57 07 38 89 3a c9 cb 0f 1f b7 76 95 61 05 + State permuted : + cb 05 0f 95 61 76 1f b7 03 07 38 89 c9 46 3a 57 + +One round EGFN round : 16 + State : + Non Linear Layer : + cb 05 0f 95 61 76 1f b7 03 07 38 89 c9 46 3a 57 + Subtweakey : + c3 79 be a2 3b 12 64 34 + Variables xored : + c0 7e 86 2b f2 54 5e 63 + Variables sboxed : + ee 7f 32 59 de 6b 2e 38 + State non linearized : + f3 2b 64 4b 38 44 60 59 03 07 38 89 c9 46 3a 57 + Linear Layer : + f3 2b 64 4b 38 44 60 59 03 07 38 89 c9 46 3a 57 + State linearized : + f3 28 67 48 3b 47 63 59 03 07 38 89 c9 46 3a 57 + Permutation Layer : + f3 28 67 48 3b 47 63 59 03 07 38 89 c9 46 3a 57 + State permuted : + 03 57 07 46 3a c9 38 89 f3 48 3b 47 59 28 63 67 + +One round EGFN round : 17 + State : + Non Linear Layer : + 03 57 07 46 3a c9 38 89 f3 48 3b 47 59 28 63 67 + Subtweakey : + 1a b7 be 76 21 63 f7 a3 + Variables xored : + e9 ff 85 31 78 4b 94 c4 + Variables sboxed : + 19 d4 81 09 67 4a a1 18 + State non linearized : + 1b f6 4d 21 33 48 ec 90 f3 48 3b 47 59 28 63 67 + Linear Layer : + 1b f6 4d 21 33 48 ec 90 f3 48 3b 47 59 28 63 67 + State linearized : + ce 05 be d2 c0 bb 1f 90 f3 48 3b 47 59 28 63 67 + Permutation Layer : + ce 05 be d2 c0 bb 1f 90 f3 48 3b 47 59 28 63 67 + State permuted : + f3 67 48 28 63 59 3b 47 ce d2 c0 bb 90 05 1f be + +One round EGFN round : 18 + State : + Non Linear Layer : + f3 67 48 28 63 59 3b 47 ce d2 c0 bb 90 05 1f be + Subtweakey : + ed a5 d4 2c ea b4 6b d0 + Variables xored : + 23 77 14 97 7a b1 74 6e + Variables sboxed : + be 9c 15 10 73 dc e6 29 + State non linearized : + da 81 94 5b 73 4c a7 f9 ce d2 c0 bb 90 05 1f be + Linear Layer : + da 81 94 5b 73 4c a7 f9 ce d2 c0 bb 90 05 1f be + State linearized : + 37 4f 5a 95 bd 82 69 f9 ce d2 c0 bb 90 05 1f be + Permutation Layer : + 37 4f 5a 95 bd 82 69 f9 ce d2 c0 bb 90 05 1f be + State permuted : + ce be d2 05 1f 90 c0 bb 37 95 bd 82 f9 4f 69 5a + +One round EGFN round : 19 + State : + Non Linear Layer : + ce be d2 05 1f 90 c0 bb 37 95 bd 82 f9 4f 69 5a + Subtweakey : + 7f 2a d4 ba a8 9b 94 4c + Variables xored : + 48 bf 69 38 51 d4 fd 16 + Variables sboxed : + e2 22 2d 39 98 e7 bb 3e + State non linearized : + f0 05 35 9d 26 bd e2 59 37 95 bd 82 f9 4f 69 5a + Linear Layer : + f0 05 35 9d 26 bd e2 59 37 95 bd 82 f9 4f 69 5a + State linearized : + b2 32 02 aa 11 8a d5 59 37 95 bd 82 f9 4f 69 5a + Permutation Layer : + b2 32 02 aa 11 8a d5 59 37 95 bd 82 f9 4f 69 5a + State permuted : + 37 5a 95 4f 69 f9 bd 82 b2 aa 11 8a 59 32 d5 02 + +One round EGFN round : 20 + State : + Non Linear Layer : + 37 5a 95 4f 69 f9 bd 82 b2 aa 11 8a 59 32 d5 02 + Subtweakey : + eb c1 fc f9 2e b4 c5 5f + Variables xored : + 59 6b ed 73 77 86 10 5d + Variables sboxed : + ef 0b 48 6d 9c 32 f8 25 + State non linearized : + 12 a2 a7 d3 04 b1 b6 6d b2 aa 11 8a 59 32 d5 02 + Linear Layer : + 12 a2 a7 d3 04 b1 b6 6d b2 aa 11 8a 59 32 d5 02 + State linearized : + 2f 10 15 61 b6 03 04 6d b2 aa 11 8a 59 32 d5 02 + Permutation Layer : + 2f 10 15 61 b6 03 04 6d b2 aa 11 8a 59 32 d5 02 + State permuted : + b2 02 aa 32 d5 59 11 8a 2f 61 b6 03 6d 10 04 15 + +One round EGFN round : 21 + State : + Non Linear Layer : + b2 02 aa 32 d5 59 11 8a 2f 61 b6 03 6d 10 04 15 + Subtweakey : + 5b 9e e2 54 91 a6 b5 da + Variables xored : + 74 ff 54 57 fc b6 b1 cf + Variables sboxed : + e6 d4 6b fb f6 90 dc ac + State non linearized : + 1e de 3a c4 2e 32 c5 6c 2f 61 b6 03 6d 10 04 15 + Linear Layer : + 1e de 3a c4 2e 32 c5 6c 2f 61 b6 03 6d 10 04 15 + State linearized : + 9c f1 15 eb 01 1d ea 6c 2f 61 b6 03 6d 10 04 15 + Permutation Layer : + 9c f1 15 eb 01 1d ea 6c 2f 61 b6 03 6d 10 04 15 + State permuted : + 2f 15 61 10 04 6d b6 03 9c eb 01 1d 6c f1 ea 15 + +One round EGFN round : 22 + State : + Non Linear Layer : + 2f 15 61 10 04 6d b6 03 9c eb 01 1d 6c f1 ea 15 + Subtweakey : + 0f 07 85 7d 4f aa 61 f9 + Variables xored : + 93 ec 84 60 23 5b 8b ec + Variables sboxed : + 92 6e 02 3f be 7c 08 6e + State non linearized : + 41 1d 1d ae 3b 6f d8 91 9c eb 01 1d 6c f1 ea 15 + Linear Layer : + 41 1d 1d ae 3b 6f d8 91 9c eb 01 1d 6c f1 ea 15 + State linearized : + 5d 81 81 32 a7 f3 44 91 9c eb 01 1d 6c f1 ea 15 + Permutation Layer : + 5d 81 81 32 a7 f3 44 91 9c eb 01 1d 6c f1 ea 15 + State permuted : + 9c 15 eb f1 ea 6c 01 1d 5d 32 a7 f3 91 81 44 81 + +One round EGFN round : 23 + State : + Non Linear Layer : + 9c 15 eb f1 ea 6c 01 1d 5d 32 a7 f3 91 81 44 81 + Subtweakey : + 77 e2 84 78 04 40 a0 78 + Variables xored : + 2a d0 23 8b 95 c1 e4 f9 + Variables sboxed : + 2b db be 08 78 52 8f 11 + State non linearized : + 8d 9a b9 89 e2 d2 da 36 5d 32 a7 f3 91 81 44 81 + Linear Layer : + 8d 9a b9 89 e2 d2 da 36 5d 32 a7 f3 91 81 44 81 + State linearized : + e2 c7 e4 d4 bf 8f 87 36 5d 32 a7 f3 91 81 44 81 + Permutation Layer : + e2 c7 e4 d4 bf 8f 87 36 5d 32 a7 f3 91 81 44 81 + State permuted : + 5d 81 32 81 44 91 a7 f3 e2 d4 bf 8f 36 c7 87 e4 + +One round EGFN round : 24 + State : + Non Linear Layer : + 5d 81 32 81 44 91 a7 f3 e2 d4 bf 8f 36 c7 87 e4 + Subtweakey : + fe ad 82 bc ca 4f 2b 7c + Variables xored : + 1c 79 3d 33 fc 88 ac 98 + Variables sboxed : + da 94 74 87 f6 a5 4c cc + State non linearized : + 91 cd 97 77 c3 e5 33 29 e2 d4 bf 8f 36 c7 87 e4 + Linear Layer : + 91 cd 97 77 c3 e5 33 29 e2 d4 bf 8f 36 c7 87 e4 + State linearized : + e1 2f 75 95 21 07 d1 29 e2 d4 bf 8f 36 c7 87 e4 + Permutation Layer : + e1 2f 75 95 21 07 d1 29 e2 d4 bf 8f 36 c7 87 e4 + State permuted : + e2 e4 d4 c7 87 36 bf 8f e1 95 21 07 29 2f d1 75 + +One round EGFN round : 25 + State : + Non Linear Layer : + e2 e4 d4 c7 87 36 bf 8f e1 95 21 07 29 2f d1 75 + Subtweakey : + ee 9e 4a 6a 04 f1 70 92 + Variables xored : + 0f 0b 6b 6d 2d de a1 e7 + Variables sboxed : + 0e 64 0b 6c d2 ea b5 75 + State non linearized : + 97 51 3e 15 eb 3d db 81 e1 95 21 07 29 2f d1 75 + Linear Layer : + 97 51 3e 15 eb 3d db 81 e1 95 21 07 29 2f d1 75 + State linearized : + 12 b0 df f4 0a dc 3a 81 e1 95 21 07 29 2f d1 75 + Permutation Layer : + 12 b0 df f4 0a dc 3a 81 e1 95 21 07 29 2f d1 75 + State permuted : + e1 75 95 2f d1 29 21 07 12 f4 0a dc 81 b0 3a df + +One round EGFN round : 26 + State : + Non Linear Layer : + e1 75 95 2f d1 29 21 07 12 f4 0a dc 81 b0 3a df + Subtweakey : + 8f ab aa e6 3c 18 60 a8 + Variables xored : + 9d 5f a0 3a bd a8 5a 77 + Variables sboxed : + 76 d6 95 9d f1 9e 70 9c + State non linearized : + 7d 05 0b de 4c bc f7 71 12 f4 0a dc 81 b0 3a df + Linear Layer : + 7d 05 0b de 4c bc f7 71 12 f4 0a dc 81 b0 3a df + State linearized : + 46 17 19 cc 5e ae e5 71 12 f4 0a dc 81 b0 3a df + Permutation Layer : + 46 17 19 cc 5e ae e5 71 12 f4 0a dc 81 b0 3a df + State permuted : + 12 df f4 b0 3a 81 0a dc 46 cc 5e ae 71 17 e5 19 + +One round EGFN round : 27 + State : + Non Linear Layer : + 12 df f4 b0 3a 81 0a dc 46 cc 5e ae 71 17 e5 19 + Subtweakey : + e4 16 c5 ab 79 20 6d 6a + Variables xored : + a2 da 9b 05 08 37 88 73 + Variables sboxed : + a7 d1 f7 35 30 fa a5 6d + State non linearized : + 7f 7a 0e 80 0f 76 db 7b 46 cc 5e ae 71 17 e5 19 + Linear Layer : + 7f 7a 0e 80 0f 76 db 7b 46 cc 5e ae 71 17 e5 19 + State linearized : + 86 3c 48 c6 49 30 9d 7b 46 cc 5e ae 71 17 e5 19 + Permutation Layer : + 86 3c 48 c6 49 30 9d 7b 46 cc 5e ae 71 17 e5 19 + State permuted : + 46 19 cc 17 e5 71 5e ae 86 c6 49 30 7b 3c 9d 48 + +One round EGFN round : 28 + State : + Non Linear Layer : + 46 19 cc 17 e5 71 5e ae 86 c6 49 30 7b 3c 9d 48 + Subtweakey : + 9f 4a ca 7f 29 1d 71 88 + Variables xored : + 19 8c 83 4f 52 21 ec c0 + Variables sboxed : + c5 8d 34 40 b8 01 6e ee + State non linearized : + a8 77 cd af a5 45 d3 6b 86 c6 49 30 7b 3c 9d 48 + Linear Layer : + a8 77 cd af a5 45 d3 6b 86 c6 49 30 7b 3c 9d 48 + State linearized : + 4b f1 4b 29 23 c3 55 6b 86 c6 49 30 7b 3c 9d 48 + Permutation Layer : + 4b f1 4b 29 23 c3 55 6b 86 c6 49 30 7b 3c 9d 48 + State permuted : + 86 48 c6 3c 9d 7b 49 30 4b 29 23 c3 6b f1 55 4b + +One round EGFN round : 29 + State : + Non Linear Layer : + 86 48 c6 3c 9d 7b 49 30 4b 29 23 c3 6b f1 55 4b + Subtweakey : + d0 32 9d 5a 25 0e 38 bc + Variables xored : + 9b 1b be 99 4e ff 6d f7 + Variables sboxed : + f7 c2 4d 50 b6 d4 6c fd + State non linearized : + 7b 24 12 8a cd 36 8b c7 4b 29 23 c3 6b f1 55 4b + Linear Layer : + 7b 24 12 8a cd 36 8b c7 4b 29 23 c3 6b f1 55 4b + State linearized : + 36 6f 59 c1 86 7d c0 c7 4b 29 23 c3 6b f1 55 4b + Permutation Layer : + 36 6f 59 c1 86 7d c0 c7 4b 29 23 c3 6b f1 55 4b + State permuted : + 4b 4b 29 f1 55 6b 23 c3 36 c1 86 7d c7 6f c0 59 + +One round EGFN round : 30 + State : + Non Linear Layer : + 4b 4b 29 f1 55 6b 23 c3 36 c1 86 7d c7 6f c0 59 + Subtweakey : + e8 da e1 9b 92 c9 4c 06 + Variables xored : + de 1b 67 e6 55 a6 8c 5f + Variables sboxed : + ea c2 d9 d5 0f a3 8d d6 + State non linearized : + 9d c6 8a fe 80 b2 e1 29 36 c1 86 7d c7 6f c0 59 + Linear Layer : + 9d c6 8a fe 80 b2 e1 29 36 c1 86 7d c7 6f c0 59 + State linearized : + f9 f0 bc c8 b6 84 d7 29 36 c1 86 7d c7 6f c0 59 + Permutation Layer : + f9 f0 bc c8 b6 84 d7 29 36 c1 86 7d c7 6f c0 59 + State permuted : + 36 59 c1 6f c0 c7 86 7d f9 c8 b6 84 29 f0 d7 bc + +One round EGFN round : 31 + State : + Non Linear Layer : + 36 59 c1 6f c0 c7 86 7d f9 c8 b6 84 29 f0 d7 bc + Subtweakey : + 1b 80 94 04 bf 7b 54 b4 + Variables xored : + e2 48 22 80 96 8b 83 08 + Variables sboxed : + e1 e2 23 84 9b 08 34 30 + State non linearized : + 06 6d c9 f4 44 e4 64 9c f9 c8 b6 84 29 f0 d7 bc + Linear Layer : + 06 6d c9 f4 44 e4 64 9c f9 c8 b6 84 29 f0 d7 bc + State linearized : + 0b 94 30 0d bd 1d 9d 9c f9 c8 b6 84 29 f0 d7 bc + +Deciphered : + 0b 94 30 0d bd 1d 9d 9c f9 c8 b6 84 29 f0 d7 bc diff --git a/crypto_aead/lilliputaei128v1/ref/test/test-tbc-decrypt.c b/crypto_aead/lilliputaei128v1/ref/test/test-tbc-decrypt.c new file mode 100644 index 0000000..57bdab2 --- /dev/null +++ b/crypto_aead/lilliputaei128v1/ref/test/test-tbc-decrypt.c @@ -0,0 +1,75 @@ +#include <inttypes.h> +#include <stdio.h> + +#include "cipher.h" + +#include "helpers.h" + + +struct vector_input +{ + char * name; + uint8_t key[KEY_BYTES]; + uint8_t tweak[TWEAK_BYTES]; + uint8_t ciphertext[BLOCK_BYTES]; +}; + +typedef struct vector_input vector_input; + + +/* [0]: LSB */ +vector_input VECTORS[] = { + { + .name = "order", + .tweak = { + 0x00, 0x01, 0x02, 0x03, 0x04, 0x05, 0x06, 0x07, + 0x08, 0x09, 0x0a, 0x0b, 0x0c, 0x0d, 0x0e, 0x0f, + 0x10, 0x11, 0x12, 0x13, 0x14, 0x15, 0x16, 0x17 + }, + .key = { + 0x00, 0x01, 0x02, 0x03, 0x04, 0x05, 0x06, 0x07, + 0x08, 0x09, 0x0a, 0x0b, 0x0c, 0x0d, 0x0e, 0x0f + }, + .ciphertext = { + 0x68, 0x4f, 0x71, 0x4a, 0xff, 0xa6, 0xa0, 0x4e, + 0xc3, 0x4a, 0x5d, 0x69, 0x49, 0x9d, 0x71, 0xe4 + } + }, + { + .name = "random", + .tweak = { + 0xa8, 0x43, 0xf3, 0x10, 0x81, 0x11, 0x1c, 0x84, + 0xdf, 0xf8, 0x2e, 0xfa, 0x90, 0x90, 0x26, 0x21, + 0x7d, 0x8d, 0x43, 0x12, 0x2a, 0xb3, 0xd2, 0x4d + }, + .key = { + 0xc1, 0x96, 0xc6, 0x0a, 0x02, 0x73, 0x91, 0x68, + 0x7f, 0xf4, 0x23, 0x4d, 0x3d, 0xd5, 0xf9, 0x9b + }, + .ciphertext = { + 0xf5, 0xc3, 0xae, 0xae, 0x23, 0x01, 0x1f, 0xb0, + 0xc9, 0x5d, 0x53, 0x26, 0x67, 0xd3, 0xd8, 0xdf + } + } +}; + + +int main(int argc, char const * const *argv) +{ + if (argc < 2) + { + fprintf(stderr, "usage: %s OUTPUT-FOLDER\n", argv[0]); + return 1; + } + + for (vector_input* input=VECTORS; input<ARRAY_END(VECTORS); input++) + { + printf("%s\n", input->name); + FILE* dump = open_dump_file(argv[1], "tbc-decrypt", input->name); + + uint8_t message[BLOCK_BYTES]; + lilliput_tbc_decrypt(input->key, input->tweak, input->ciphertext, message, dump); + + fclose(dump); + } +} |