|
@@ -0,0 +1,246 @@
|
|
|
+/* LibTomCrypt, modular cryptographic library -- Tom St Denis
|
|
|
+ *
|
|
|
+ * LibTomCrypt is a library that provides various cryptographic
|
|
|
+ * algorithms in a highly modular and flexible manner.
|
|
|
+ *
|
|
|
+ * The library is free for all purposes without any express
|
|
|
+ * guarantee it works.
|
|
|
+ *
|
|
|
+ * Tom St Denis, [email protected], http://libtom.org
|
|
|
+ */
|
|
|
+
|
|
|
+/**
|
|
|
+ @file ocb3_test.c
|
|
|
+ OCB implementation, self-test by Tom St Denis
|
|
|
+*/
|
|
|
+#include "tomcrypt.h"
|
|
|
+
|
|
|
+#ifdef LTC_OCB3_MODE
|
|
|
+
|
|
|
+/**
|
|
|
+ Test the OCB protocol
|
|
|
+ @return CRYPT_OK if successful
|
|
|
+*/
|
|
|
+int ocb3_test(void)
|
|
|
+{
|
|
|
+#ifndef LTC_TEST
|
|
|
+ return CRYPT_NOP;
|
|
|
+#else
|
|
|
+ /* test vectors from: http://tools.ietf.org/html/draft-krovetz-ocb-03 */
|
|
|
+ unsigned char key[16] = { 0x00,0x01,0x02,0x03,0x04,0x05,0x06,0x07,0x08,0x09,0x0A,0x0B,0x0C,0x0D,0x0E,0x0F };
|
|
|
+ unsigned char nonce[12] = { 0x00,0x01,0x02,0x03,0x04,0x05,0x06,0x07,0x08,0x09,0x0A,0x0B };
|
|
|
+ static const struct {
|
|
|
+ int ptlen;
|
|
|
+ int aadlen;
|
|
|
+ unsigned char pt[64], aad[64], ct[64], tag[16];
|
|
|
+ } tests[] = {
|
|
|
+
|
|
|
+ { /* index:0 */
|
|
|
+ 0, /* PLAINTEXT length */
|
|
|
+ 0, /* AAD length */
|
|
|
+ { }, /* PLAINTEXT */
|
|
|
+ { }, /* AAD */
|
|
|
+ { }, /* CIPHERTEXT */
|
|
|
+ { 0x19,0x7b,0x9c,0x3c,0x44,0x1d,0x3c,0x83,0xea,0xfb,0x2b,0xef,0x63,0x3b,0x91,0x82 }, /* TAG */
|
|
|
+ },
|
|
|
+ { /* index:1 */
|
|
|
+ 8, /* PLAINTEXT length */
|
|
|
+ 8, /* AAD length */
|
|
|
+ { 0x00,0x01,0x02,0x03,0x04,0x05,0x06,0x07 }, /* PLAINTEXT */
|
|
|
+ { 0x00,0x01,0x02,0x03,0x04,0x05,0x06,0x07 }, /* AAD */
|
|
|
+ { 0x92,0xb6,0x57,0x13,0x0a,0x74,0xb8,0x5a }, /* CIPHERTEXT */
|
|
|
+ { 0x16,0xdc,0x76,0xa4,0x6d,0x47,0xe1,0xea,0xd5,0x37,0x20,0x9e,0x8a,0x96,0xd1,0x4e }, /* TAG */
|
|
|
+ },
|
|
|
+ { /* index:2 */
|
|
|
+ 0, /* PLAINTEXT length */
|
|
|
+ 8, /* AAD length */
|
|
|
+ { }, /* PLAINTEXT */
|
|
|
+ { 0x00,0x01,0x02,0x03,0x04,0x05,0x06,0x07 }, /* AAD */
|
|
|
+ { }, /* CIPHERTEXT */
|
|
|
+ { 0x98,0xb9,0x15,0x52,0xc8,0xc0,0x09,0x18,0x50,0x44,0xe3,0x0a,0x6e,0xb2,0xfe,0x21 }, /* TAG */
|
|
|
+ },
|
|
|
+ { /* index:3 */
|
|
|
+ 8, /* PLAINTEXT length */
|
|
|
+ 0, /* AAD length */
|
|
|
+ { 0x00,0x01,0x02,0x03,0x04,0x05,0x06,0x07 }, /* PLAINTEXT */
|
|
|
+ { }, /* AAD */
|
|
|
+ { 0x92,0xb6,0x57,0x13,0x0a,0x74,0xb8,0x5a }, /* CIPHERTEXT */
|
|
|
+ { 0x97,0x1e,0xff,0xca,0xe1,0x9a,0xd4,0x71,0x6f,0x88,0xe8,0x7b,0x87,0x1f,0xbe,0xed }, /* TAG */
|
|
|
+ },
|
|
|
+ { /* index:4 */
|
|
|
+ 16, /* PLAINTEXT length */
|
|
|
+ 16, /* AAD length */
|
|
|
+ { 0x00,0x01,0x02,0x03,0x04,0x05,0x06,0x07,0x08,0x09,0x0a,0x0b,0x0c,0x0d,0x0e,0x0f }, /* PLAINTEXT */
|
|
|
+ { 0x00,0x01,0x02,0x03,0x04,0x05,0x06,0x07,0x08,0x09,0x0a,0x0b,0x0c,0x0d,0x0e,0x0f }, /* AAD */
|
|
|
+ { 0xbe,0xa5,0xe8,0x79,0x8d,0xbe,0x71,0x10,0x03,0x1c,0x14,0x4d,0xa0,0xb2,0x61,0x22 }, /* CIPHERTEXT */
|
|
|
+ { 0x77,0x6c,0x99,0x24,0xd6,0x72,0x3a,0x1f,0xc4,0x52,0x45,0x32,0xac,0x3e,0x5b,0xeb }, /* TAG */
|
|
|
+ },
|
|
|
+ { /* index:5 */
|
|
|
+ 0, /* PLAINTEXT length */
|
|
|
+ 16, /* AAD length */
|
|
|
+ { }, /* PLAINTEXT */
|
|
|
+ { 0x00,0x01,0x02,0x03,0x04,0x05,0x06,0x07,0x08,0x09,0x0a,0x0b,0x0c,0x0d,0x0e,0x0f }, /* AAD */
|
|
|
+ { }, /* CIPHERTEXT */
|
|
|
+ { 0x7d,0xdb,0x8e,0x6c,0xea,0x68,0x14,0x86,0x62,0x12,0x50,0x96,0x19,0xb1,0x9c,0xc6 }, /* TAG */
|
|
|
+ },
|
|
|
+ { /* index:6 */
|
|
|
+ 16, /* PLAINTEXT length */
|
|
|
+ 0, /* AAD length */
|
|
|
+ { 0x00,0x01,0x02,0x03,0x04,0x05,0x06,0x07,0x08,0x09,0x0a,0x0b,0x0c,0x0d,0x0e,0x0f }, /* PLAINTEXT */
|
|
|
+ { }, /* AAD */
|
|
|
+ { 0xbe,0xa5,0xe8,0x79,0x8d,0xbe,0x71,0x10,0x03,0x1c,0x14,0x4d,0xa0,0xb2,0x61,0x22 }, /* CIPHERTEXT */
|
|
|
+ { 0x13,0xcc,0x8b,0x74,0x78,0x07,0x12,0x1a,0x4c,0xbb,0x3e,0x4b,0xd6,0xb4,0x56,0xaf }, /* TAG */
|
|
|
+ },
|
|
|
+ { /* index:7 */
|
|
|
+ 24, /* PLAINTEXT length */
|
|
|
+ 24, /* AAD length */
|
|
|
+ { 0x00,0x01,0x02,0x03,0x04,0x05,0x06,0x07,0x08,0x09,0x0a,0x0b,0x0c,0x0d,0x0e,0x0f,0x10,0x11,0x12,0x13,0x14,0x15,0x16,0x17 }, /* PLAINTEXT */
|
|
|
+ { 0x00,0x01,0x02,0x03,0x04,0x05,0x06,0x07,0x08,0x09,0x0a,0x0b,0x0c,0x0d,0x0e,0x0f,0x10,0x11,0x12,0x13,0x14,0x15,0x16,0x17 }, /* AAD */
|
|
|
+ { 0xbe,0xa5,0xe8,0x79,0x8d,0xbe,0x71,0x10,0x03,0x1c,0x14,0x4d,0xa0,0xb2,0x61,0x22,0xfc,0xfc,0xee,0x7a,0x2a,0x8d,0x4d,0x48 }, /* CIPHERTEXT */
|
|
|
+ { 0x5f,0xa9,0x4f,0xc3,0xf3,0x88,0x20,0xf1,0xdc,0x3f,0x3d,0x1f,0xd4,0xe5,0x5e,0x1c }, /* TAG */
|
|
|
+ },
|
|
|
+ { /* index:8 */
|
|
|
+ 0, /* PLAINTEXT length */
|
|
|
+ 24, /* AAD length */
|
|
|
+ { }, /* PLAINTEXT */
|
|
|
+ { 0x00,0x01,0x02,0x03,0x04,0x05,0x06,0x07,0x08,0x09,0x0a,0x0b,0x0c,0x0d,0x0e,0x0f,0x10,0x11,0x12,0x13,0x14,0x15,0x16,0x17 }, /* AAD */
|
|
|
+ { }, /* CIPHERTEXT */
|
|
|
+ { 0x28,0x20,0x26,0xda,0x30,0x68,0xbc,0x9f,0xa1,0x18,0x68,0x1d,0x55,0x9f,0x10,0xf6 }, /* TAG */
|
|
|
+ },
|
|
|
+ { /* index:9 */
|
|
|
+ 24, /* PLAINTEXT length */
|
|
|
+ 0, /* AAD length */
|
|
|
+ { 0x00,0x01,0x02,0x03,0x04,0x05,0x06,0x07,0x08,0x09,0x0a,0x0b,0x0c,0x0d,0x0e,0x0f,0x10,0x11,0x12,0x13,0x14,0x15,0x16,0x17 }, /* PLAINTEXT */
|
|
|
+ { }, /* AAD */
|
|
|
+ { 0xbe,0xa5,0xe8,0x79,0x8d,0xbe,0x71,0x10,0x03,0x1c,0x14,0x4d,0xa0,0xb2,0x61,0x22,0xfc,0xfc,0xee,0x7a,0x2a,0x8d,0x4d,0x48 }, /* CIPHERTEXT */
|
|
|
+ { 0x6e,0xf2,0xf5,0x25,0x87,0xfd,0xa0,0xed,0x97,0xdc,0x7e,0xed,0xe2,0x41,0xdf,0x68 }, /* TAG */
|
|
|
+ },
|
|
|
+ { /* index:10 */
|
|
|
+ 32, /* PLAINTEXT length */
|
|
|
+ 32, /* AAD length */
|
|
|
+ { 0x00,0x01,0x02,0x03,0x04,0x05,0x06,0x07,0x08,0x09,0x0a,0x0b,0x0c,0x0d,0x0e,0x0f,0x10,0x11,0x12,0x13,0x14,0x15,0x16,0x17,0x18,0x19,0x1a,0x1b,0x1c,0x1d,0x1e,0x1f }, /* PLAINTEXT */
|
|
|
+ { 0x00,0x01,0x02,0x03,0x04,0x05,0x06,0x07,0x08,0x09,0x0a,0x0b,0x0c,0x0d,0x0e,0x0f,0x10,0x11,0x12,0x13,0x14,0x15,0x16,0x17,0x18,0x19,0x1a,0x1b,0x1c,0x1d,0x1e,0x1f }, /* AAD */
|
|
|
+ { 0xbe,0xa5,0xe8,0x79,0x8d,0xbe,0x71,0x10,0x03,0x1c,0x14,0x4d,0xa0,0xb2,0x61,0x22,0xce,0xaa,0xb9,0xb0,0x5d,0xf7,0x71,0xa6,0x57,0x14,0x9d,0x53,0x77,0x34,0x63,0xcb }, /* CIPHERTEXT */
|
|
|
+ { 0xb2,0xa0,0x40,0xdd,0x3b,0xd5,0x16,0x43,0x72,0xd7,0x6d,0x7b,0xb6,0x82,0x42,0x40 }, /* TAG */
|
|
|
+ },
|
|
|
+ { /* index:11 */
|
|
|
+ 0, /* PLAINTEXT length */
|
|
|
+ 32, /* AAD length */
|
|
|
+ { }, /* PLAINTEXT */
|
|
|
+ { 0x00,0x01,0x02,0x03,0x04,0x05,0x06,0x07,0x08,0x09,0x0a,0x0b,0x0c,0x0d,0x0e,0x0f,0x10,0x11,0x12,0x13,0x14,0x15,0x16,0x17,0x18,0x19,0x1a,0x1b,0x1c,0x1d,0x1e,0x1f }, /* AAD */
|
|
|
+ { }, /* CIPHERTEXT */
|
|
|
+ { 0xe1,0xe0,0x72,0x63,0x3b,0xad,0xe5,0x1a,0x60,0xe8,0x59,0x51,0xd9,0xc4,0x2a,0x1b }, /* TAG */
|
|
|
+ },
|
|
|
+ { /* index:12 */
|
|
|
+ 32, /* PLAINTEXT length */
|
|
|
+ 0, /* AAD length */
|
|
|
+ { 0x00,0x01,0x02,0x03,0x04,0x05,0x06,0x07,0x08,0x09,0x0a,0x0b,0x0c,0x0d,0x0e,0x0f,0x10,0x11,0x12,0x13,0x14,0x15,0x16,0x17,0x18,0x19,0x1a,0x1b,0x1c,0x1d,0x1e,0x1f }, /* PLAINTEXT */
|
|
|
+ { }, /* AAD */
|
|
|
+ { 0xbe,0xa5,0xe8,0x79,0x8d,0xbe,0x71,0x10,0x03,0x1c,0x14,0x4d,0xa0,0xb2,0x61,0x22,0xce,0xaa,0xb9,0xb0,0x5d,0xf7,0x71,0xa6,0x57,0x14,0x9d,0x53,0x77,0x34,0x63,0xcb }, /* CIPHERTEXT */
|
|
|
+ { 0x4a,0x3b,0xae,0x82,0x44,0x65,0xcf,0xda,0xf8,0xc4,0x1f,0xc5,0x0c,0x7d,0xf9,0xd9 }, /* TAG */
|
|
|
+ },
|
|
|
+ { /* index:13 */
|
|
|
+ 40, /* PLAINTEXT length */
|
|
|
+ 40, /* AAD length */
|
|
|
+ { 0x00,0x01,0x02,0x03,0x04,0x05,0x06,0x07,0x08,0x09,0x0a,0x0b,0x0c,0x0d,0x0e,0x0f,0x10,0x11,0x12,0x13,0x14,0x15,0x16,0x17,0x18,0x19,0x1a,0x1b,0x1c,0x1d,0x1e,0x1f,0x20,0x21,0x22,0x23,0x24,0x25,0x26,0x27 }, /* PLAINTEXT */
|
|
|
+ { 0x00,0x01,0x02,0x03,0x04,0x05,0x06,0x07,0x08,0x09,0x0a,0x0b,0x0c,0x0d,0x0e,0x0f,0x10,0x11,0x12,0x13,0x14,0x15,0x16,0x17,0x18,0x19,0x1a,0x1b,0x1c,0x1d,0x1e,0x1f,0x20,0x21,0x22,0x23,0x24,0x25,0x26,0x27 }, /* AAD */
|
|
|
+ { 0xbe,0xa5,0xe8,0x79,0x8d,0xbe,0x71,0x10,0x03,0x1c,0x14,0x4d,0xa0,0xb2,0x61,0x22,0xce,0xaa,0xb9,0xb0,0x5d,0xf7,0x71,0xa6,0x57,0x14,0x9d,0x53,0x77,0x34,0x63,0xcb,0x68,0xc6,0x57,0x78,0xb0,0x58,0xa6,0x35 }, /* CIPHERTEXT */
|
|
|
+ { 0x65,0x9c,0x62,0x32,0x11,0xde,0xea,0x0d,0xe3,0x0d,0x2c,0x38,0x18,0x79,0xf4,0xc8 }, /* TAG */
|
|
|
+ },
|
|
|
+ { /* index:14 */
|
|
|
+ 0, /* PLAINTEXT length */
|
|
|
+ 40, /* AAD length */
|
|
|
+ { }, /* PLAINTEXT */
|
|
|
+ { 0x00,0x01,0x02,0x03,0x04,0x05,0x06,0x07,0x08,0x09,0x0a,0x0b,0x0c,0x0d,0x0e,0x0f,0x10,0x11,0x12,0x13,0x14,0x15,0x16,0x17,0x18,0x19,0x1a,0x1b,0x1c,0x1d,0x1e,0x1f,0x20,0x21,0x22,0x23,0x24,0x25,0x26,0x27 }, /* AAD */
|
|
|
+ { }, /* CIPHERTEXT */
|
|
|
+ { 0x7a,0xeb,0x7a,0x69,0xa1,0x68,0x7d,0xd0,0x82,0xca,0x27,0xb0,0xd9,0xa3,0x70,0x96 }, /* TAG */
|
|
|
+ },
|
|
|
+ { /* index:15 */
|
|
|
+ 40, /* PLAINTEXT length */
|
|
|
+ 0, /* AAD length */
|
|
|
+ { 0x00,0x01,0x02,0x03,0x04,0x05,0x06,0x07,0x08,0x09,0x0a,0x0b,0x0c,0x0d,0x0e,0x0f,0x10,0x11,0x12,0x13,0x14,0x15,0x16,0x17,0x18,0x19,0x1a,0x1b,0x1c,0x1d,0x1e,0x1f,0x20,0x21,0x22,0x23,0x24,0x25,0x26,0x27 }, /* PLAINTEXT */
|
|
|
+ { }, /* AAD */
|
|
|
+ { 0xbe,0xa5,0xe8,0x79,0x8d,0xbe,0x71,0x10,0x03,0x1c,0x14,0x4d,0xa0,0xb2,0x61,0x22,0xce,0xaa,0xb9,0xb0,0x5d,0xf7,0x71,0xa6,0x57,0x14,0x9d,0x53,0x77,0x34,0x63,0xcb,0x68,0xc6,0x57,0x78,0xb0,0x58,0xa6,0x35 }, /* CIPHERTEXT */
|
|
|
+ { 0x06,0x0c,0x84,0x67,0xf4,0xab,0xab,0x5e,0x8b,0x3c,0x20,0x67,0xa2,0xe1,0x15,0xdc }, /* TAG */
|
|
|
+ },
|
|
|
+
|
|
|
+};
|
|
|
+
|
|
|
+ int err, x, idx, res;
|
|
|
+ unsigned long len;
|
|
|
+ unsigned char outct[MAXBLOCKSIZE], outtag[MAXBLOCKSIZE];
|
|
|
+
|
|
|
+ /* AES can be under rijndael or aes... try to find it */
|
|
|
+ if ((idx = find_cipher("aes")) == -1) {
|
|
|
+ if ((idx = find_cipher("rijndael")) == -1) {
|
|
|
+ return CRYPT_NOP;
|
|
|
+ }
|
|
|
+ }
|
|
|
+
|
|
|
+ for (x = 0; x < (int)(sizeof(tests)/sizeof(tests[0])); x++) {
|
|
|
+ len = sizeof(outtag);
|
|
|
+ if ((err = ocb3_encrypt_authenticate_memory(idx,
|
|
|
+ key, sizeof(key),
|
|
|
+ nonce, sizeof(nonce),
|
|
|
+ tests[x].aad, tests[x].aadlen,
|
|
|
+ tests[x].pt, tests[x].ptlen,
|
|
|
+ outct, outtag, &len)) != CRYPT_OK) {
|
|
|
+ return err;
|
|
|
+ }
|
|
|
+
|
|
|
+ if (XMEMCMP(outtag, tests[x].tag, len) || XMEMCMP(outct, tests[x].ct, tests[x].ptlen)) {
|
|
|
+#if 0
|
|
|
+ unsigned long y;
|
|
|
+ printf("\n\nFailure: \nCT:\n");
|
|
|
+ for (y = 0; y < (unsigned long)tests[x].ptlen; ) {
|
|
|
+ printf("0x%02x", outct[y]);
|
|
|
+ if (y < (unsigned long)(tests[x].ptlen-1)) printf(", ");
|
|
|
+ if (!(++y % 8)) printf("\n");
|
|
|
+ }
|
|
|
+ printf("\nTAG:\n");
|
|
|
+ for (y = 0; y < len; ) {
|
|
|
+ printf("0x%02x", outtag[y]);
|
|
|
+ if (y < len-1) printf(", ");
|
|
|
+ if (!(++y % 8)) printf("\n");
|
|
|
+ }
|
|
|
+#endif
|
|
|
+ return CRYPT_FAIL_TESTVECTOR;
|
|
|
+ }
|
|
|
+
|
|
|
+ if ((err = ocb3_decrypt_verify_memory(idx,
|
|
|
+ key, sizeof(key),
|
|
|
+ nonce, sizeof(nonce),
|
|
|
+ tests[x].aad, tests[x].aadlen,
|
|
|
+ outct, tests[x].ptlen,
|
|
|
+ outct, tests[x].tag, len, &res)) != CRYPT_OK) {
|
|
|
+ return err;
|
|
|
+ }
|
|
|
+ if ((res != 1) || XMEMCMP(tests[x].pt, outct, tests[x].ptlen)) {
|
|
|
+#if 0
|
|
|
+ unsigned long y;
|
|
|
+ printf("\n\nFailure-decrypt: \nPT:\n");
|
|
|
+ for (y = 0; y < (unsigned long)tests[x].ptlen; ) {
|
|
|
+ printf("0x%02x", outct[y]);
|
|
|
+ if (y < (unsigned long)(tests[x].ptlen-1)) printf(", ");
|
|
|
+ if (!(++y % 8)) printf("\n");
|
|
|
+ }
|
|
|
+ printf("\nres = %d\n\n", res);
|
|
|
+#endif
|
|
|
+ }
|
|
|
+ }
|
|
|
+ return CRYPT_OK;
|
|
|
+#endif /* LTC_TEST */
|
|
|
+}
|
|
|
+
|
|
|
+#endif /* LTC_OCB3_MODE */
|
|
|
+
|
|
|
+/* some comments
|
|
|
+
|
|
|
+ -- it's hard to seek
|
|
|
+ -- hard to stream [you can't emit ciphertext until full block]
|
|
|
+ -- The setup is somewhat complicated...
|
|
|
+*/
|
|
|
+
|
|
|
+/* $Source$ */
|
|
|
+/* $Revision$ */
|
|
|
+/* $Date$ */
|