xref: /qemu/tests/unit/test-crypto-xts.c (revision 84f7f180b034b2a08b558bd3fbb5be1ae88f74c1)
1*84f7f180SDaniel P. Berrange /*
2*84f7f180SDaniel P. Berrange  * QEMU Crypto XTS cipher mode
3*84f7f180SDaniel P. Berrange  *
4*84f7f180SDaniel P. Berrange  * Copyright (c) 2015-2016 Red Hat, Inc.
5*84f7f180SDaniel P. Berrange  *
6*84f7f180SDaniel P. Berrange  * This library is free software; you can redistribute it and/or
7*84f7f180SDaniel P. Berrange  * modify it under the terms of the GNU Lesser General Public
8*84f7f180SDaniel P. Berrange  * License as published by the Free Software Foundation; either
9*84f7f180SDaniel P. Berrange  * version 2 of the License, or (at your option) any later version.
10*84f7f180SDaniel P. Berrange  *
11*84f7f180SDaniel P. Berrange  * This library is distributed in the hope that it will be useful,
12*84f7f180SDaniel P. Berrange  * but WITHOUT ANY WARRANTY; without even the implied warranty of
13*84f7f180SDaniel P. Berrange  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
14*84f7f180SDaniel P. Berrange  * Lesser General Public License for more details.
15*84f7f180SDaniel P. Berrange  *
16*84f7f180SDaniel P. Berrange  * You should have received a copy of the GNU Lesser General Public
17*84f7f180SDaniel P. Berrange  * License along with this library; if not, see <http://www.gnu.org/licenses/>.
18*84f7f180SDaniel P. Berrange  *
19*84f7f180SDaniel P. Berrange  * This code is originally derived from public domain / WTFPL code in
20*84f7f180SDaniel P. Berrange  * LibTomCrypt crytographic library http://libtom.org. The XTS code
21*84f7f180SDaniel P. Berrange  * was donated by Elliptic Semiconductor Inc (www.ellipticsemi.com)
22*84f7f180SDaniel P. Berrange  * to the LibTom Projects
23*84f7f180SDaniel P. Berrange  *
24*84f7f180SDaniel P. Berrange  */
25*84f7f180SDaniel P. Berrange 
26*84f7f180SDaniel P. Berrange #include "qemu/osdep.h"
27*84f7f180SDaniel P. Berrange #include "crypto/init.h"
28*84f7f180SDaniel P. Berrange #include "crypto/xts.h"
29*84f7f180SDaniel P. Berrange #include "crypto/aes.h"
30*84f7f180SDaniel P. Berrange 
31*84f7f180SDaniel P. Berrange typedef struct {
32*84f7f180SDaniel P. Berrange     const char *path;
33*84f7f180SDaniel P. Berrange     int keylen;
34*84f7f180SDaniel P. Berrange     unsigned char key1[32];
35*84f7f180SDaniel P. Berrange     unsigned char key2[32];
36*84f7f180SDaniel P. Berrange     uint64_t seqnum;
37*84f7f180SDaniel P. Berrange     unsigned long PTLEN;
38*84f7f180SDaniel P. Berrange     unsigned char PTX[512], CTX[512];
39*84f7f180SDaniel P. Berrange } QCryptoXTSTestData;
40*84f7f180SDaniel P. Berrange 
41*84f7f180SDaniel P. Berrange static const QCryptoXTSTestData test_data[] = {
42*84f7f180SDaniel P. Berrange     /* #1 32 byte key, 32 byte PTX */
43*84f7f180SDaniel P. Berrange     {
44*84f7f180SDaniel P. Berrange         "/crypto/xts/t-1-key-32-ptx-32",
45*84f7f180SDaniel P. Berrange         32,
46*84f7f180SDaniel P. Berrange         { 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
47*84f7f180SDaniel P. Berrange           0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00 },
48*84f7f180SDaniel P. Berrange         { 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
49*84f7f180SDaniel P. Berrange           0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00 },
50*84f7f180SDaniel P. Berrange         0,
51*84f7f180SDaniel P. Berrange         32,
52*84f7f180SDaniel P. Berrange         { 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
53*84f7f180SDaniel P. Berrange           0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
54*84f7f180SDaniel P. Berrange           0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
55*84f7f180SDaniel P. Berrange           0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00 },
56*84f7f180SDaniel P. Berrange         { 0x91, 0x7c, 0xf6, 0x9e, 0xbd, 0x68, 0xb2, 0xec,
57*84f7f180SDaniel P. Berrange           0x9b, 0x9f, 0xe9, 0xa3, 0xea, 0xdd, 0xa6, 0x92,
58*84f7f180SDaniel P. Berrange           0xcd, 0x43, 0xd2, 0xf5, 0x95, 0x98, 0xed, 0x85,
59*84f7f180SDaniel P. Berrange           0x8c, 0x02, 0xc2, 0x65, 0x2f, 0xbf, 0x92, 0x2e },
60*84f7f180SDaniel P. Berrange     },
61*84f7f180SDaniel P. Berrange 
62*84f7f180SDaniel P. Berrange     /* #2, 32 byte key, 32 byte PTX */
63*84f7f180SDaniel P. Berrange     {
64*84f7f180SDaniel P. Berrange         "/crypto/xts/t-2-key-32-ptx-32",
65*84f7f180SDaniel P. Berrange         32,
66*84f7f180SDaniel P. Berrange         { 0x11, 0x11, 0x11, 0x11, 0x11, 0x11, 0x11, 0x11,
67*84f7f180SDaniel P. Berrange           0x11, 0x11, 0x11, 0x11, 0x11, 0x11, 0x11, 0x11 },
68*84f7f180SDaniel P. Berrange         { 0x22, 0x22, 0x22, 0x22, 0x22, 0x22, 0x22, 0x22,
69*84f7f180SDaniel P. Berrange           0x22, 0x22, 0x22, 0x22, 0x22, 0x22, 0x22, 0x22 },
70*84f7f180SDaniel P. Berrange         0x3333333333LL,
71*84f7f180SDaniel P. Berrange         32,
72*84f7f180SDaniel P. Berrange         { 0x44, 0x44, 0x44, 0x44, 0x44, 0x44, 0x44, 0x44,
73*84f7f180SDaniel P. Berrange           0x44, 0x44, 0x44, 0x44, 0x44, 0x44, 0x44, 0x44,
74*84f7f180SDaniel P. Berrange           0x44, 0x44, 0x44, 0x44, 0x44, 0x44, 0x44, 0x44,
75*84f7f180SDaniel P. Berrange           0x44, 0x44, 0x44, 0x44, 0x44, 0x44, 0x44, 0x44 },
76*84f7f180SDaniel P. Berrange         { 0xc4, 0x54, 0x18, 0x5e, 0x6a, 0x16, 0x93, 0x6e,
77*84f7f180SDaniel P. Berrange           0x39, 0x33, 0x40, 0x38, 0xac, 0xef, 0x83, 0x8b,
78*84f7f180SDaniel P. Berrange           0xfb, 0x18, 0x6f, 0xff, 0x74, 0x80, 0xad, 0xc4,
79*84f7f180SDaniel P. Berrange           0x28, 0x93, 0x82, 0xec, 0xd6, 0xd3, 0x94, 0xf0 },
80*84f7f180SDaniel P. Berrange     },
81*84f7f180SDaniel P. Berrange 
82*84f7f180SDaniel P. Berrange     /* #5 from xts.7, 32 byte key, 32 byte PTX */
83*84f7f180SDaniel P. Berrange     {
84*84f7f180SDaniel P. Berrange         "/crypto/xts/t-5-key-32-ptx-32",
85*84f7f180SDaniel P. Berrange         32,
86*84f7f180SDaniel P. Berrange         { 0xff, 0xfe, 0xfd, 0xfc, 0xfb, 0xfa, 0xf9, 0xf8,
87*84f7f180SDaniel P. Berrange           0xf7, 0xf6, 0xf5, 0xf4, 0xf3, 0xf2, 0xf1, 0xf0 },
88*84f7f180SDaniel P. Berrange         { 0xbf, 0xbe, 0xbd, 0xbc, 0xbb, 0xba, 0xb9, 0xb8,
89*84f7f180SDaniel P. Berrange           0xb7, 0xb6, 0xb5, 0xb4, 0xb3, 0xb2, 0xb1, 0xb0 },
90*84f7f180SDaniel P. Berrange         0x123456789aLL,
91*84f7f180SDaniel P. Berrange         32,
92*84f7f180SDaniel P. Berrange         { 0x44, 0x44, 0x44, 0x44, 0x44, 0x44, 0x44, 0x44,
93*84f7f180SDaniel P. Berrange           0x44, 0x44, 0x44, 0x44, 0x44, 0x44, 0x44, 0x44,
94*84f7f180SDaniel P. Berrange           0x44, 0x44, 0x44, 0x44, 0x44, 0x44, 0x44, 0x44,
95*84f7f180SDaniel P. Berrange           0x44, 0x44, 0x44, 0x44, 0x44, 0x44, 0x44, 0x44 },
96*84f7f180SDaniel P. Berrange         { 0xb0, 0x1f, 0x86, 0xf8, 0xed, 0xc1, 0x86, 0x37,
97*84f7f180SDaniel P. Berrange           0x06, 0xfa, 0x8a, 0x42, 0x53, 0xe3, 0x4f, 0x28,
98*84f7f180SDaniel P. Berrange           0xaf, 0x31, 0x9d, 0xe3, 0x83, 0x34, 0x87, 0x0f,
99*84f7f180SDaniel P. Berrange           0x4d, 0xd1, 0xf9, 0x4c, 0xbe, 0x98, 0x32, 0xf1 },
100*84f7f180SDaniel P. Berrange     },
101*84f7f180SDaniel P. Berrange 
102*84f7f180SDaniel P. Berrange     /* #4, 32 byte key, 512 byte PTX  */
103*84f7f180SDaniel P. Berrange     {
104*84f7f180SDaniel P. Berrange         "/crypto/xts/t-4-key-32-ptx-512",
105*84f7f180SDaniel P. Berrange         32,
106*84f7f180SDaniel P. Berrange         { 0x27, 0x18, 0x28, 0x18, 0x28, 0x45, 0x90, 0x45,
107*84f7f180SDaniel P. Berrange           0x23, 0x53, 0x60, 0x28, 0x74, 0x71, 0x35, 0x26 },
108*84f7f180SDaniel P. Berrange         { 0x31, 0x41, 0x59, 0x26, 0x53, 0x58, 0x97, 0x93,
109*84f7f180SDaniel P. Berrange           0x23, 0x84, 0x62, 0x64, 0x33, 0x83, 0x27, 0x95 },
110*84f7f180SDaniel P. Berrange         0,
111*84f7f180SDaniel P. Berrange         512,
112*84f7f180SDaniel P. Berrange         {
113*84f7f180SDaniel P. Berrange             0x00, 0x01, 0x02, 0x03, 0x04, 0x05, 0x06, 0x07,
114*84f7f180SDaniel P. Berrange             0x08, 0x09, 0x0a, 0x0b, 0x0c, 0x0d, 0x0e, 0x0f,
115*84f7f180SDaniel P. Berrange             0x10, 0x11, 0x12, 0x13, 0x14, 0x15, 0x16, 0x17,
116*84f7f180SDaniel P. Berrange             0x18, 0x19, 0x1a, 0x1b, 0x1c, 0x1d, 0x1e, 0x1f,
117*84f7f180SDaniel P. Berrange             0x20, 0x21, 0x22, 0x23, 0x24, 0x25, 0x26, 0x27,
118*84f7f180SDaniel P. Berrange             0x28, 0x29, 0x2a, 0x2b, 0x2c, 0x2d, 0x2e, 0x2f,
119*84f7f180SDaniel P. Berrange             0x30, 0x31, 0x32, 0x33, 0x34, 0x35, 0x36, 0x37,
120*84f7f180SDaniel P. Berrange             0x38, 0x39, 0x3a, 0x3b, 0x3c, 0x3d, 0x3e, 0x3f,
121*84f7f180SDaniel P. Berrange             0x40, 0x41, 0x42, 0x43, 0x44, 0x45, 0x46, 0x47,
122*84f7f180SDaniel P. Berrange             0x48, 0x49, 0x4a, 0x4b, 0x4c, 0x4d, 0x4e, 0x4f,
123*84f7f180SDaniel P. Berrange             0x50, 0x51, 0x52, 0x53, 0x54, 0x55, 0x56, 0x57,
124*84f7f180SDaniel P. Berrange             0x58, 0x59, 0x5a, 0x5b, 0x5c, 0x5d, 0x5e, 0x5f,
125*84f7f180SDaniel P. Berrange             0x60, 0x61, 0x62, 0x63, 0x64, 0x65, 0x66, 0x67,
126*84f7f180SDaniel P. Berrange             0x68, 0x69, 0x6a, 0x6b, 0x6c, 0x6d, 0x6e, 0x6f,
127*84f7f180SDaniel P. Berrange             0x70, 0x71, 0x72, 0x73, 0x74, 0x75, 0x76, 0x77,
128*84f7f180SDaniel P. Berrange             0x78, 0x79, 0x7a, 0x7b, 0x7c, 0x7d, 0x7e, 0x7f,
129*84f7f180SDaniel P. Berrange             0x80, 0x81, 0x82, 0x83, 0x84, 0x85, 0x86, 0x87,
130*84f7f180SDaniel P. Berrange             0x88, 0x89, 0x8a, 0x8b, 0x8c, 0x8d, 0x8e, 0x8f,
131*84f7f180SDaniel P. Berrange             0x90, 0x91, 0x92, 0x93, 0x94, 0x95, 0x96, 0x97,
132*84f7f180SDaniel P. Berrange             0x98, 0x99, 0x9a, 0x9b, 0x9c, 0x9d, 0x9e, 0x9f,
133*84f7f180SDaniel P. Berrange             0xa0, 0xa1, 0xa2, 0xa3, 0xa4, 0xa5, 0xa6, 0xa7,
134*84f7f180SDaniel P. Berrange             0xa8, 0xa9, 0xaa, 0xab, 0xac, 0xad, 0xae, 0xaf,
135*84f7f180SDaniel P. Berrange             0xb0, 0xb1, 0xb2, 0xb3, 0xb4, 0xb5, 0xb6, 0xb7,
136*84f7f180SDaniel P. Berrange             0xb8, 0xb9, 0xba, 0xbb, 0xbc, 0xbd, 0xbe, 0xbf,
137*84f7f180SDaniel P. Berrange             0xc0, 0xc1, 0xc2, 0xc3, 0xc4, 0xc5, 0xc6, 0xc7,
138*84f7f180SDaniel P. Berrange             0xc8, 0xc9, 0xca, 0xcb, 0xcc, 0xcd, 0xce, 0xcf,
139*84f7f180SDaniel P. Berrange             0xd0, 0xd1, 0xd2, 0xd3, 0xd4, 0xd5, 0xd6, 0xd7,
140*84f7f180SDaniel P. Berrange             0xd8, 0xd9, 0xda, 0xdb, 0xdc, 0xdd, 0xde, 0xdf,
141*84f7f180SDaniel P. Berrange             0xe0, 0xe1, 0xe2, 0xe3, 0xe4, 0xe5, 0xe6, 0xe7,
142*84f7f180SDaniel P. Berrange             0xe8, 0xe9, 0xea, 0xeb, 0xec, 0xed, 0xee, 0xef,
143*84f7f180SDaniel P. Berrange             0xf0, 0xf1, 0xf2, 0xf3, 0xf4, 0xf5, 0xf6, 0xf7,
144*84f7f180SDaniel P. Berrange             0xf8, 0xf9, 0xfa, 0xfb, 0xfc, 0xfd, 0xfe, 0xff,
145*84f7f180SDaniel P. Berrange             0x00, 0x01, 0x02, 0x03, 0x04, 0x05, 0x06, 0x07,
146*84f7f180SDaniel P. Berrange             0x08, 0x09, 0x0a, 0x0b, 0x0c, 0x0d, 0x0e, 0x0f,
147*84f7f180SDaniel P. Berrange             0x10, 0x11, 0x12, 0x13, 0x14, 0x15, 0x16, 0x17,
148*84f7f180SDaniel P. Berrange             0x18, 0x19, 0x1a, 0x1b, 0x1c, 0x1d, 0x1e, 0x1f,
149*84f7f180SDaniel P. Berrange             0x20, 0x21, 0x22, 0x23, 0x24, 0x25, 0x26, 0x27,
150*84f7f180SDaniel P. Berrange             0x28, 0x29, 0x2a, 0x2b, 0x2c, 0x2d, 0x2e, 0x2f,
151*84f7f180SDaniel P. Berrange             0x30, 0x31, 0x32, 0x33, 0x34, 0x35, 0x36, 0x37,
152*84f7f180SDaniel P. Berrange             0x38, 0x39, 0x3a, 0x3b, 0x3c, 0x3d, 0x3e, 0x3f,
153*84f7f180SDaniel P. Berrange             0x40, 0x41, 0x42, 0x43, 0x44, 0x45, 0x46, 0x47,
154*84f7f180SDaniel P. Berrange             0x48, 0x49, 0x4a, 0x4b, 0x4c, 0x4d, 0x4e, 0x4f,
155*84f7f180SDaniel P. Berrange             0x50, 0x51, 0x52, 0x53, 0x54, 0x55, 0x56, 0x57,
156*84f7f180SDaniel P. Berrange             0x58, 0x59, 0x5a, 0x5b, 0x5c, 0x5d, 0x5e, 0x5f,
157*84f7f180SDaniel P. Berrange             0x60, 0x61, 0x62, 0x63, 0x64, 0x65, 0x66, 0x67,
158*84f7f180SDaniel P. Berrange             0x68, 0x69, 0x6a, 0x6b, 0x6c, 0x6d, 0x6e, 0x6f,
159*84f7f180SDaniel P. Berrange             0x70, 0x71, 0x72, 0x73, 0x74, 0x75, 0x76, 0x77,
160*84f7f180SDaniel P. Berrange             0x78, 0x79, 0x7a, 0x7b, 0x7c, 0x7d, 0x7e, 0x7f,
161*84f7f180SDaniel P. Berrange             0x80, 0x81, 0x82, 0x83, 0x84, 0x85, 0x86, 0x87,
162*84f7f180SDaniel P. Berrange             0x88, 0x89, 0x8a, 0x8b, 0x8c, 0x8d, 0x8e, 0x8f,
163*84f7f180SDaniel P. Berrange             0x90, 0x91, 0x92, 0x93, 0x94, 0x95, 0x96, 0x97,
164*84f7f180SDaniel P. Berrange             0x98, 0x99, 0x9a, 0x9b, 0x9c, 0x9d, 0x9e, 0x9f,
165*84f7f180SDaniel P. Berrange             0xa0, 0xa1, 0xa2, 0xa3, 0xa4, 0xa5, 0xa6, 0xa7,
166*84f7f180SDaniel P. Berrange             0xa8, 0xa9, 0xaa, 0xab, 0xac, 0xad, 0xae, 0xaf,
167*84f7f180SDaniel P. Berrange             0xb0, 0xb1, 0xb2, 0xb3, 0xb4, 0xb5, 0xb6, 0xb7,
168*84f7f180SDaniel P. Berrange             0xb8, 0xb9, 0xba, 0xbb, 0xbc, 0xbd, 0xbe, 0xbf,
169*84f7f180SDaniel P. Berrange             0xc0, 0xc1, 0xc2, 0xc3, 0xc4, 0xc5, 0xc6, 0xc7,
170*84f7f180SDaniel P. Berrange             0xc8, 0xc9, 0xca, 0xcb, 0xcc, 0xcd, 0xce, 0xcf,
171*84f7f180SDaniel P. Berrange             0xd0, 0xd1, 0xd2, 0xd3, 0xd4, 0xd5, 0xd6, 0xd7,
172*84f7f180SDaniel P. Berrange             0xd8, 0xd9, 0xda, 0xdb, 0xdc, 0xdd, 0xde, 0xdf,
173*84f7f180SDaniel P. Berrange             0xe0, 0xe1, 0xe2, 0xe3, 0xe4, 0xe5, 0xe6, 0xe7,
174*84f7f180SDaniel P. Berrange             0xe8, 0xe9, 0xea, 0xeb, 0xec, 0xed, 0xee, 0xef,
175*84f7f180SDaniel P. Berrange             0xf0, 0xf1, 0xf2, 0xf3, 0xf4, 0xf5, 0xf6, 0xf7,
176*84f7f180SDaniel P. Berrange             0xf8, 0xf9, 0xfa, 0xfb, 0xfc, 0xfd, 0xfe, 0xff,
177*84f7f180SDaniel P. Berrange         },
178*84f7f180SDaniel P. Berrange         {
179*84f7f180SDaniel P. Berrange             0x27, 0xa7, 0x47, 0x9b, 0xef, 0xa1, 0xd4, 0x76,
180*84f7f180SDaniel P. Berrange             0x48, 0x9f, 0x30, 0x8c, 0xd4, 0xcf, 0xa6, 0xe2,
181*84f7f180SDaniel P. Berrange             0xa9, 0x6e, 0x4b, 0xbe, 0x32, 0x08, 0xff, 0x25,
182*84f7f180SDaniel P. Berrange             0x28, 0x7d, 0xd3, 0x81, 0x96, 0x16, 0xe8, 0x9c,
183*84f7f180SDaniel P. Berrange             0xc7, 0x8c, 0xf7, 0xf5, 0xe5, 0x43, 0x44, 0x5f,
184*84f7f180SDaniel P. Berrange             0x83, 0x33, 0xd8, 0xfa, 0x7f, 0x56, 0x00, 0x00,
185*84f7f180SDaniel P. Berrange             0x05, 0x27, 0x9f, 0xa5, 0xd8, 0xb5, 0xe4, 0xad,
186*84f7f180SDaniel P. Berrange             0x40, 0xe7, 0x36, 0xdd, 0xb4, 0xd3, 0x54, 0x12,
187*84f7f180SDaniel P. Berrange             0x32, 0x80, 0x63, 0xfd, 0x2a, 0xab, 0x53, 0xe5,
188*84f7f180SDaniel P. Berrange             0xea, 0x1e, 0x0a, 0x9f, 0x33, 0x25, 0x00, 0xa5,
189*84f7f180SDaniel P. Berrange             0xdf, 0x94, 0x87, 0xd0, 0x7a, 0x5c, 0x92, 0xcc,
190*84f7f180SDaniel P. Berrange             0x51, 0x2c, 0x88, 0x66, 0xc7, 0xe8, 0x60, 0xce,
191*84f7f180SDaniel P. Berrange             0x93, 0xfd, 0xf1, 0x66, 0xa2, 0x49, 0x12, 0xb4,
192*84f7f180SDaniel P. Berrange             0x22, 0x97, 0x61, 0x46, 0xae, 0x20, 0xce, 0x84,
193*84f7f180SDaniel P. Berrange             0x6b, 0xb7, 0xdc, 0x9b, 0xa9, 0x4a, 0x76, 0x7a,
194*84f7f180SDaniel P. Berrange             0xae, 0xf2, 0x0c, 0x0d, 0x61, 0xad, 0x02, 0x65,
195*84f7f180SDaniel P. Berrange             0x5e, 0xa9, 0x2d, 0xc4, 0xc4, 0xe4, 0x1a, 0x89,
196*84f7f180SDaniel P. Berrange             0x52, 0xc6, 0x51, 0xd3, 0x31, 0x74, 0xbe, 0x51,
197*84f7f180SDaniel P. Berrange             0xa1, 0x0c, 0x42, 0x11, 0x10, 0xe6, 0xd8, 0x15,
198*84f7f180SDaniel P. Berrange             0x88, 0xed, 0xe8, 0x21, 0x03, 0xa2, 0x52, 0xd8,
199*84f7f180SDaniel P. Berrange             0xa7, 0x50, 0xe8, 0x76, 0x8d, 0xef, 0xff, 0xed,
200*84f7f180SDaniel P. Berrange             0x91, 0x22, 0x81, 0x0a, 0xae, 0xb9, 0x9f, 0x91,
201*84f7f180SDaniel P. Berrange             0x72, 0xaf, 0x82, 0xb6, 0x04, 0xdc, 0x4b, 0x8e,
202*84f7f180SDaniel P. Berrange             0x51, 0xbc, 0xb0, 0x82, 0x35, 0xa6, 0xf4, 0x34,
203*84f7f180SDaniel P. Berrange             0x13, 0x32, 0xe4, 0xca, 0x60, 0x48, 0x2a, 0x4b,
204*84f7f180SDaniel P. Berrange             0xa1, 0xa0, 0x3b, 0x3e, 0x65, 0x00, 0x8f, 0xc5,
205*84f7f180SDaniel P. Berrange             0xda, 0x76, 0xb7, 0x0b, 0xf1, 0x69, 0x0d, 0xb4,
206*84f7f180SDaniel P. Berrange             0xea, 0xe2, 0x9c, 0x5f, 0x1b, 0xad, 0xd0, 0x3c,
207*84f7f180SDaniel P. Berrange             0x5c, 0xcf, 0x2a, 0x55, 0xd7, 0x05, 0xdd, 0xcd,
208*84f7f180SDaniel P. Berrange             0x86, 0xd4, 0x49, 0x51, 0x1c, 0xeb, 0x7e, 0xc3,
209*84f7f180SDaniel P. Berrange             0x0b, 0xf1, 0x2b, 0x1f, 0xa3, 0x5b, 0x91, 0x3f,
210*84f7f180SDaniel P. Berrange             0x9f, 0x74, 0x7a, 0x8a, 0xfd, 0x1b, 0x13, 0x0e,
211*84f7f180SDaniel P. Berrange             0x94, 0xbf, 0xf9, 0x4e, 0xff, 0xd0, 0x1a, 0x91,
212*84f7f180SDaniel P. Berrange             0x73, 0x5c, 0xa1, 0x72, 0x6a, 0xcd, 0x0b, 0x19,
213*84f7f180SDaniel P. Berrange             0x7c, 0x4e, 0x5b, 0x03, 0x39, 0x36, 0x97, 0xe1,
214*84f7f180SDaniel P. Berrange             0x26, 0x82, 0x6f, 0xb6, 0xbb, 0xde, 0x8e, 0xcc,
215*84f7f180SDaniel P. Berrange             0x1e, 0x08, 0x29, 0x85, 0x16, 0xe2, 0xc9, 0xed,
216*84f7f180SDaniel P. Berrange             0x03, 0xff, 0x3c, 0x1b, 0x78, 0x60, 0xf6, 0xde,
217*84f7f180SDaniel P. Berrange             0x76, 0xd4, 0xce, 0xcd, 0x94, 0xc8, 0x11, 0x98,
218*84f7f180SDaniel P. Berrange             0x55, 0xef, 0x52, 0x97, 0xca, 0x67, 0xe9, 0xf3,
219*84f7f180SDaniel P. Berrange             0xe7, 0xff, 0x72, 0xb1, 0xe9, 0x97, 0x85, 0xca,
220*84f7f180SDaniel P. Berrange             0x0a, 0x7e, 0x77, 0x20, 0xc5, 0xb3, 0x6d, 0xc6,
221*84f7f180SDaniel P. Berrange             0xd7, 0x2c, 0xac, 0x95, 0x74, 0xc8, 0xcb, 0xbc,
222*84f7f180SDaniel P. Berrange             0x2f, 0x80, 0x1e, 0x23, 0xe5, 0x6f, 0xd3, 0x44,
223*84f7f180SDaniel P. Berrange             0xb0, 0x7f, 0x22, 0x15, 0x4b, 0xeb, 0xa0, 0xf0,
224*84f7f180SDaniel P. Berrange             0x8c, 0xe8, 0x89, 0x1e, 0x64, 0x3e, 0xd9, 0x95,
225*84f7f180SDaniel P. Berrange             0xc9, 0x4d, 0x9a, 0x69, 0xc9, 0xf1, 0xb5, 0xf4,
226*84f7f180SDaniel P. Berrange             0x99, 0x02, 0x7a, 0x78, 0x57, 0x2a, 0xee, 0xbd,
227*84f7f180SDaniel P. Berrange             0x74, 0xd2, 0x0c, 0xc3, 0x98, 0x81, 0xc2, 0x13,
228*84f7f180SDaniel P. Berrange             0xee, 0x77, 0x0b, 0x10, 0x10, 0xe4, 0xbe, 0xa7,
229*84f7f180SDaniel P. Berrange             0x18, 0x84, 0x69, 0x77, 0xae, 0x11, 0x9f, 0x7a,
230*84f7f180SDaniel P. Berrange             0x02, 0x3a, 0xb5, 0x8c, 0xca, 0x0a, 0xd7, 0x52,
231*84f7f180SDaniel P. Berrange             0xaf, 0xe6, 0x56, 0xbb, 0x3c, 0x17, 0x25, 0x6a,
232*84f7f180SDaniel P. Berrange             0x9f, 0x6e, 0x9b, 0xf1, 0x9f, 0xdd, 0x5a, 0x38,
233*84f7f180SDaniel P. Berrange             0xfc, 0x82, 0xbb, 0xe8, 0x72, 0xc5, 0x53, 0x9e,
234*84f7f180SDaniel P. Berrange             0xdb, 0x60, 0x9e, 0xf4, 0xf7, 0x9c, 0x20, 0x3e,
235*84f7f180SDaniel P. Berrange             0xbb, 0x14, 0x0f, 0x2e, 0x58, 0x3c, 0xb2, 0xad,
236*84f7f180SDaniel P. Berrange             0x15, 0xb4, 0xaa, 0x5b, 0x65, 0x50, 0x16, 0xa8,
237*84f7f180SDaniel P. Berrange             0x44, 0x92, 0x77, 0xdb, 0xd4, 0x77, 0xef, 0x2c,
238*84f7f180SDaniel P. Berrange             0x8d, 0x6c, 0x01, 0x7d, 0xb7, 0x38, 0xb1, 0x8d,
239*84f7f180SDaniel P. Berrange             0xeb, 0x4a, 0x42, 0x7d, 0x19, 0x23, 0xce, 0x3f,
240*84f7f180SDaniel P. Berrange             0xf2, 0x62, 0x73, 0x57, 0x79, 0xa4, 0x18, 0xf2,
241*84f7f180SDaniel P. Berrange             0x0a, 0x28, 0x2d, 0xf9, 0x20, 0x14, 0x7b, 0xea,
242*84f7f180SDaniel P. Berrange             0xbe, 0x42, 0x1e, 0xe5, 0x31, 0x9d, 0x05, 0x68,
243*84f7f180SDaniel P. Berrange         }
244*84f7f180SDaniel P. Berrange     },
245*84f7f180SDaniel P. Berrange 
246*84f7f180SDaniel P. Berrange     /* #7, 32 byte key, 17 byte PTX */
247*84f7f180SDaniel P. Berrange     {
248*84f7f180SDaniel P. Berrange         "/crypto/xts/t-7-key-32-ptx-17",
249*84f7f180SDaniel P. Berrange         32,
250*84f7f180SDaniel P. Berrange         { 0xff, 0xfe, 0xfd, 0xfc, 0xfb, 0xfa, 0xf9, 0xf8,
251*84f7f180SDaniel P. Berrange           0xf7, 0xf6, 0xf5, 0xf4, 0xf3, 0xf2, 0xf1, 0xf0 },
252*84f7f180SDaniel P. Berrange         { 0xbf, 0xbe, 0xbd, 0xbc, 0xbb, 0xba, 0xb9, 0xb8,
253*84f7f180SDaniel P. Berrange           0xb7, 0xb6, 0xb5, 0xb4, 0xb3, 0xb2, 0xb1, 0xb0 },
254*84f7f180SDaniel P. Berrange         0x123456789aLL,
255*84f7f180SDaniel P. Berrange         17,
256*84f7f180SDaniel P. Berrange         { 0x00, 0x01, 0x02, 0x03, 0x04, 0x05, 0x06, 0x07,
257*84f7f180SDaniel P. Berrange           0x08, 0x09, 0x0a, 0x0b, 0x0c, 0x0d, 0x0e, 0x0f, 0x10 },
258*84f7f180SDaniel P. Berrange         { 0x6c, 0x16, 0x25, 0xdb, 0x46, 0x71, 0x52, 0x2d,
259*84f7f180SDaniel P. Berrange           0x3d, 0x75, 0x99, 0x60, 0x1d, 0xe7, 0xca, 0x09, 0xed },
260*84f7f180SDaniel P. Berrange     },
261*84f7f180SDaniel P. Berrange 
262*84f7f180SDaniel P. Berrange     /* #15, 32 byte key, 25 byte PTX */
263*84f7f180SDaniel P. Berrange     {
264*84f7f180SDaniel P. Berrange         "/crypto/xts/t-15-key-32-ptx-25",
265*84f7f180SDaniel P. Berrange         32,
266*84f7f180SDaniel P. Berrange         { 0xff, 0xfe, 0xfd, 0xfc, 0xfb, 0xfa, 0xf9, 0xf8,
267*84f7f180SDaniel P. Berrange           0xf7, 0xf6, 0xf5, 0xf4, 0xf3, 0xf2, 0xf1, 0xf0 },
268*84f7f180SDaniel P. Berrange         { 0xbf, 0xbe, 0xbd, 0xbc, 0xbb, 0xba, 0xb9, 0xb8,
269*84f7f180SDaniel P. Berrange           0xb7, 0xb6, 0xb5, 0xb4, 0xb3, 0xb2, 0xb1, 0xb0 },
270*84f7f180SDaniel P. Berrange         0x123456789aLL,
271*84f7f180SDaniel P. Berrange         25,
272*84f7f180SDaniel P. Berrange         { 0x00, 0x01, 0x02, 0x03, 0x04, 0x05, 0x06, 0x07,
273*84f7f180SDaniel P. Berrange           0x08, 0x09, 0x0a, 0x0b, 0x0c, 0x0d, 0x0e, 0x0f,
274*84f7f180SDaniel P. Berrange           0x10, 0x11, 0x12, 0x13, 0x14, 0x15, 0x16, 0x17, 0x18 },
275*84f7f180SDaniel P. Berrange         { 0x8f, 0x4d, 0xcb, 0xad, 0x55, 0x55, 0x8d, 0x7b,
276*84f7f180SDaniel P. Berrange           0x4e, 0x01, 0xd9, 0x37, 0x9c, 0xd4, 0xea, 0x22,
277*84f7f180SDaniel P. Berrange           0xed, 0xbf, 0x9d, 0xac, 0xe4, 0x5d, 0x6f, 0x6a, 0x73 },
278*84f7f180SDaniel P. Berrange     },
279*84f7f180SDaniel P. Berrange 
280*84f7f180SDaniel P. Berrange     /* #21, 32 byte key, 31 byte PTX */
281*84f7f180SDaniel P. Berrange     {
282*84f7f180SDaniel P. Berrange         "/crypto/xts/t-21-key-32-ptx-31",
283*84f7f180SDaniel P. Berrange         32,
284*84f7f180SDaniel P. Berrange         { 0xff, 0xfe, 0xfd, 0xfc, 0xfb, 0xfa, 0xf9, 0xf8,
285*84f7f180SDaniel P. Berrange           0xf7, 0xf6, 0xf5, 0xf4, 0xf3, 0xf2, 0xf1, 0xf0 },
286*84f7f180SDaniel P. Berrange         { 0xbf, 0xbe, 0xbd, 0xbc, 0xbb, 0xba, 0xb9, 0xb8,
287*84f7f180SDaniel P. Berrange           0xb7, 0xb6, 0xb5, 0xb4, 0xb3, 0xb2, 0xb1, 0xb0 },
288*84f7f180SDaniel P. Berrange         0x123456789aLL,
289*84f7f180SDaniel P. Berrange         31,
290*84f7f180SDaniel P. Berrange         { 0x00, 0x01, 0x02, 0x03, 0x04, 0x05, 0x06, 0x07,
291*84f7f180SDaniel P. Berrange           0x08, 0x09, 0x0a, 0x0b, 0x0c, 0x0d, 0x0e, 0x0f,
292*84f7f180SDaniel P. Berrange           0x10, 0x11, 0x12, 0x13, 0x14, 0x15, 0x16, 0x17,
293*84f7f180SDaniel P. Berrange           0x18, 0x19, 0x1a, 0x1b, 0x1c, 0x1d, 0x1e },
294*84f7f180SDaniel P. Berrange         { 0xd0, 0x5b, 0xc0, 0x90, 0xa8, 0xe0, 0x4f, 0x1b,
295*84f7f180SDaniel P. Berrange           0x3d, 0x3e, 0xcd, 0xd5, 0xba, 0xec, 0x0f, 0xd4,
296*84f7f180SDaniel P. Berrange           0xed, 0xbf, 0x9d, 0xac, 0xe4, 0x5d, 0x6f, 0x6a,
297*84f7f180SDaniel P. Berrange           0x73, 0x06, 0xe6, 0x4b, 0xe5, 0xdd, 0x82 },
298*84f7f180SDaniel P. Berrange     },
299*84f7f180SDaniel P. Berrange };
300*84f7f180SDaniel P. Berrange 
301*84f7f180SDaniel P. Berrange #define STORE64L(x, y)                                                  \
302*84f7f180SDaniel P. Berrange     do {                                                                \
303*84f7f180SDaniel P. Berrange         (y)[7] = (unsigned char)(((x) >> 56) & 255);                    \
304*84f7f180SDaniel P. Berrange         (y)[6] = (unsigned char)(((x) >> 48) & 255);                    \
305*84f7f180SDaniel P. Berrange         (y)[5] = (unsigned char)(((x) >> 40) & 255);                    \
306*84f7f180SDaniel P. Berrange         (y)[4] = (unsigned char)(((x) >> 32) & 255);                    \
307*84f7f180SDaniel P. Berrange         (y)[3] = (unsigned char)(((x) >> 24) & 255);                    \
308*84f7f180SDaniel P. Berrange         (y)[2] = (unsigned char)(((x) >> 16) & 255);                    \
309*84f7f180SDaniel P. Berrange         (y)[1] = (unsigned char)(((x) >> 8) & 255);                     \
310*84f7f180SDaniel P. Berrange         (y)[0] = (unsigned char)((x) & 255);                            \
311*84f7f180SDaniel P. Berrange     } while (0)
312*84f7f180SDaniel P. Berrange 
313*84f7f180SDaniel P. Berrange struct TestAES {
314*84f7f180SDaniel P. Berrange     AES_KEY enc;
315*84f7f180SDaniel P. Berrange     AES_KEY dec;
316*84f7f180SDaniel P. Berrange };
317*84f7f180SDaniel P. Berrange 
318*84f7f180SDaniel P. Berrange static void test_xts_aes_encrypt(const void *ctx,
319*84f7f180SDaniel P. Berrange                                  size_t length,
320*84f7f180SDaniel P. Berrange                                  uint8_t *dst,
321*84f7f180SDaniel P. Berrange                                  const uint8_t *src)
322*84f7f180SDaniel P. Berrange {
323*84f7f180SDaniel P. Berrange     const struct TestAES *aesctx = ctx;
324*84f7f180SDaniel P. Berrange 
325*84f7f180SDaniel P. Berrange     AES_encrypt(src, dst, &aesctx->enc);
326*84f7f180SDaniel P. Berrange }
327*84f7f180SDaniel P. Berrange 
328*84f7f180SDaniel P. Berrange 
329*84f7f180SDaniel P. Berrange static void test_xts_aes_decrypt(const void *ctx,
330*84f7f180SDaniel P. Berrange                                  size_t length,
331*84f7f180SDaniel P. Berrange                                  uint8_t *dst,
332*84f7f180SDaniel P. Berrange                                  const uint8_t *src)
333*84f7f180SDaniel P. Berrange {
334*84f7f180SDaniel P. Berrange     const struct TestAES *aesctx = ctx;
335*84f7f180SDaniel P. Berrange 
336*84f7f180SDaniel P. Berrange     AES_decrypt(src, dst, &aesctx->dec);
337*84f7f180SDaniel P. Berrange }
338*84f7f180SDaniel P. Berrange 
339*84f7f180SDaniel P. Berrange 
340*84f7f180SDaniel P. Berrange static void test_xts(const void *opaque)
341*84f7f180SDaniel P. Berrange {
342*84f7f180SDaniel P. Berrange     const QCryptoXTSTestData *data = opaque;
343*84f7f180SDaniel P. Berrange     unsigned char OUT[512], Torg[16], T[16];
344*84f7f180SDaniel P. Berrange     uint64_t seq;
345*84f7f180SDaniel P. Berrange     int j;
346*84f7f180SDaniel P. Berrange     unsigned long len;
347*84f7f180SDaniel P. Berrange     struct TestAES aesdata;
348*84f7f180SDaniel P. Berrange     struct TestAES aestweak;
349*84f7f180SDaniel P. Berrange 
350*84f7f180SDaniel P. Berrange     for (j = 0; j < 2; j++) {
351*84f7f180SDaniel P. Berrange         /* skip the cases where
352*84f7f180SDaniel P. Berrange          * the length is smaller than 2*blocklen
353*84f7f180SDaniel P. Berrange          * or the length is not a multiple of 32
354*84f7f180SDaniel P. Berrange          */
355*84f7f180SDaniel P. Berrange         if ((j == 1) && ((data->PTLEN < 32) || (data->PTLEN % 32))) {
356*84f7f180SDaniel P. Berrange             continue;
357*84f7f180SDaniel P. Berrange         }
358*84f7f180SDaniel P. Berrange         len = data->PTLEN / 2;
359*84f7f180SDaniel P. Berrange 
360*84f7f180SDaniel P. Berrange         AES_set_encrypt_key(data->key1, data->keylen / 2 * 8, &aesdata.enc);
361*84f7f180SDaniel P. Berrange         AES_set_decrypt_key(data->key1, data->keylen / 2 * 8, &aesdata.dec);
362*84f7f180SDaniel P. Berrange         AES_set_encrypt_key(data->key2, data->keylen / 2 * 8, &aestweak.enc);
363*84f7f180SDaniel P. Berrange         AES_set_decrypt_key(data->key2, data->keylen / 2 * 8, &aestweak.dec);
364*84f7f180SDaniel P. Berrange 
365*84f7f180SDaniel P. Berrange         seq = data->seqnum;
366*84f7f180SDaniel P. Berrange         STORE64L(seq, Torg);
367*84f7f180SDaniel P. Berrange         memset(Torg + 8, 0, 8);
368*84f7f180SDaniel P. Berrange 
369*84f7f180SDaniel P. Berrange         memcpy(T, Torg, sizeof(T));
370*84f7f180SDaniel P. Berrange         if (j == 0) {
371*84f7f180SDaniel P. Berrange             xts_encrypt(&aesdata, &aestweak,
372*84f7f180SDaniel P. Berrange                         test_xts_aes_encrypt,
373*84f7f180SDaniel P. Berrange                         test_xts_aes_decrypt,
374*84f7f180SDaniel P. Berrange                         T, data->PTLEN, OUT, data->PTX);
375*84f7f180SDaniel P. Berrange         } else {
376*84f7f180SDaniel P. Berrange             xts_encrypt(&aesdata, &aestweak,
377*84f7f180SDaniel P. Berrange                         test_xts_aes_encrypt,
378*84f7f180SDaniel P. Berrange                         test_xts_aes_decrypt,
379*84f7f180SDaniel P. Berrange                         T, len, OUT, data->PTX);
380*84f7f180SDaniel P. Berrange             xts_encrypt(&aesdata, &aestweak,
381*84f7f180SDaniel P. Berrange                         test_xts_aes_encrypt,
382*84f7f180SDaniel P. Berrange                         test_xts_aes_decrypt,
383*84f7f180SDaniel P. Berrange                         T, len, &OUT[len], &data->PTX[len]);
384*84f7f180SDaniel P. Berrange         }
385*84f7f180SDaniel P. Berrange 
386*84f7f180SDaniel P. Berrange         g_assert(memcmp(OUT, data->CTX, data->PTLEN) == 0);
387*84f7f180SDaniel P. Berrange 
388*84f7f180SDaniel P. Berrange         memcpy(T, Torg, sizeof(T));
389*84f7f180SDaniel P. Berrange         if (j == 0) {
390*84f7f180SDaniel P. Berrange             xts_decrypt(&aesdata, &aestweak,
391*84f7f180SDaniel P. Berrange                         test_xts_aes_encrypt,
392*84f7f180SDaniel P. Berrange                         test_xts_aes_decrypt,
393*84f7f180SDaniel P. Berrange                         T, data->PTLEN, OUT, data->CTX);
394*84f7f180SDaniel P. Berrange         } else {
395*84f7f180SDaniel P. Berrange             xts_decrypt(&aesdata, &aestweak,
396*84f7f180SDaniel P. Berrange                         test_xts_aes_encrypt,
397*84f7f180SDaniel P. Berrange                         test_xts_aes_decrypt,
398*84f7f180SDaniel P. Berrange                         T, len, OUT, data->CTX);
399*84f7f180SDaniel P. Berrange             xts_decrypt(&aesdata, &aestweak,
400*84f7f180SDaniel P. Berrange                         test_xts_aes_encrypt,
401*84f7f180SDaniel P. Berrange                         test_xts_aes_decrypt,
402*84f7f180SDaniel P. Berrange                         T, len, &OUT[len], &data->CTX[len]);
403*84f7f180SDaniel P. Berrange         }
404*84f7f180SDaniel P. Berrange 
405*84f7f180SDaniel P. Berrange         g_assert(memcmp(OUT, data->PTX, data->PTLEN) == 0);
406*84f7f180SDaniel P. Berrange     }
407*84f7f180SDaniel P. Berrange }
408*84f7f180SDaniel P. Berrange 
409*84f7f180SDaniel P. Berrange 
410*84f7f180SDaniel P. Berrange int main(int argc, char **argv)
411*84f7f180SDaniel P. Berrange {
412*84f7f180SDaniel P. Berrange     size_t i;
413*84f7f180SDaniel P. Berrange 
414*84f7f180SDaniel P. Berrange     g_test_init(&argc, &argv, NULL);
415*84f7f180SDaniel P. Berrange 
416*84f7f180SDaniel P. Berrange     g_assert(qcrypto_init(NULL) == 0);
417*84f7f180SDaniel P. Berrange 
418*84f7f180SDaniel P. Berrange     for (i = 0; i < G_N_ELEMENTS(test_data); i++) {
419*84f7f180SDaniel P. Berrange         g_test_add_data_func(test_data[i].path, &test_data[i], test_xts);
420*84f7f180SDaniel P. Berrange     }
421*84f7f180SDaniel P. Berrange 
422*84f7f180SDaniel P. Berrange     return g_test_run();
423*84f7f180SDaniel P. Berrange }
424