1 /* ====================================================================
2 * Copyright (c) 2008 The OpenSSL Project. All rights reserved.
4 * Rights for redistribution and usage in source and binary
5 * forms are granted according to the OpenSSL license.
8 #include <openssl/crypto.h>
20 * Trouble with Ciphertext Stealing, CTS, mode is that there is no
21 * common official specification, but couple of cipher/application
22 * specific ones: RFC2040 and RFC3962. Then there is 'Proposal to
23 * Extend CBC Mode By "Ciphertext Stealing"' at NIST site, which
24 * deviates from mentioned RFCs. Most notably it allows input to be
25 * of block length and it doesn't flip the order of the last two
26 * blocks. CTS is being discussed even in ECB context, but it's not
27 * adopted for any known application. This implementation provides
28 * two interfaces: one compliant with above mentioned RFCs and one
29 * compliant with the NIST proposal, both extending CBC mode.
32 size_t CRYPTO_cts128_encrypt_block(const unsigned char *in
, unsigned char *out
,
33 size_t len
, const void *key
,
34 unsigned char ivec
[16], block128_f block
)
37 assert (in
&& out
&& key
&& ivec
);
39 if (len
<= 16) return 0;
41 if ((residue
=len
%16) == 0) residue
= 16;
45 CRYPTO_cbc128_encrypt(in
,out
,len
,key
,ivec
,block
);
50 for (n
=0; n
<residue
; ++n
)
52 (*block
)(ivec
,ivec
,key
);
53 memcpy(out
,out
-16,residue
);
54 memcpy(out
-16,ivec
,16);
59 size_t CRYPTO_nistcts128_encrypt_block(const unsigned char *in
, unsigned char *out
,
60 size_t len
, const void *key
,
61 unsigned char ivec
[16], block128_f block
)
64 assert (in
&& out
&& key
&& ivec
);
66 if (len
< 16) return 0;
72 CRYPTO_cbc128_encrypt(in
,out
,len
,key
,ivec
,block
);
74 if (residue
==0) return len
;
79 for (n
=0; n
<residue
; ++n
)
81 (*block
)(ivec
,ivec
,key
);
82 memcpy(out
-16+residue
,ivec
,16);
87 size_t CRYPTO_cts128_encrypt(const unsigned char *in
, unsigned char *out
,
88 size_t len
, const void *key
,
89 unsigned char ivec
[16], cbc128_f cbc
)
91 union { size_t align
; unsigned char c
[16]; } tmp
;
93 assert (in
&& out
&& key
&& ivec
);
95 if (len
<= 16) return 0;
97 if ((residue
=len
%16) == 0) residue
= 16;
101 (*cbc
)(in
,out
,len
,key
,ivec
,1);
106 #if defined(CBC_HANDLES_TRUNCATED_IO)
107 memcpy(tmp
.c
,out
-16,16);
108 (*cbc
)(in
,out
-16,residue
,key
,ivec
,1);
109 memcpy(out
,tmp
.c
,residue
);
113 for (n
=0; n
<16; n
+=sizeof(size_t))
114 *(size_t *)(tmp
.c
+n
) = 0;
115 memcpy(tmp
.c
,in
,residue
);
117 memcpy(out
,out
-16,residue
);
118 (*cbc
)(tmp
.c
,out
-16,16,key
,ivec
,1);
123 size_t CRYPTO_nistcts128_encrypt(const unsigned char *in
, unsigned char *out
,
124 size_t len
, const void *key
,
125 unsigned char ivec
[16], cbc128_f cbc
)
127 union { size_t align
; unsigned char c
[16]; } tmp
;
129 assert (in
&& out
&& key
&& ivec
);
131 if (len
< 16) return 0;
137 (*cbc
)(in
,out
,len
,key
,ivec
,1);
139 if (residue
==0) return len
;
144 #if defined(CBC_HANDLES_TRUNCATED_IO)
145 (*cbc
)(in
,out
-16+residue
,residue
,key
,ivec
,1);
149 for (n
=0; n
<16; n
+=sizeof(size_t))
150 *(size_t *)(tmp
.c
+n
) = 0;
151 memcpy(tmp
.c
,in
,residue
);
153 (*cbc
)(tmp
.c
,out
-16+residue
,16,key
,ivec
,1);
158 size_t CRYPTO_cts128_decrypt_block(const unsigned char *in
, unsigned char *out
,
159 size_t len
, const void *key
,
160 unsigned char ivec
[16], block128_f block
)
162 union { size_t align
; unsigned char c
[32]; } tmp
;
164 assert (in
&& out
&& key
&& ivec
);
166 if (len
<=16) return 0;
168 if ((residue
=len
%16) == 0) residue
= 16;
173 CRYPTO_cbc128_decrypt(in
,out
,len
,key
,ivec
,block
);
178 (*block
)(in
,tmp
.c
+16,key
);
180 for (n
=0; n
<16; n
+=sizeof(size_t))
181 *(size_t *)(tmp
.c
+n
) = *(size_t *)(tmp
.c
+16+n
);
182 memcpy(tmp
.c
,in
+16,residue
);
183 (*block
)(tmp
.c
,tmp
.c
,key
);
185 for(n
=0; n
<16; ++n
) {
186 unsigned char c
= in
[n
];
187 out
[n
] = tmp
.c
[n
] ^ ivec
[n
];
190 for(residue
+=16; n
<residue
; ++n
)
191 out
[n
] = tmp
.c
[n
] ^ in
[n
];
193 return 16+len
+residue
;
196 size_t CRYPTO_nistcts128_decrypt_block(const unsigned char *in
, unsigned char *out
,
197 size_t len
, const void *key
,
198 unsigned char ivec
[16], block128_f block
)
200 union { size_t align
; unsigned char c
[32]; } tmp
;
202 assert (in
&& out
&& key
&& ivec
);
204 if (len
<16) return 0;
209 CRYPTO_cbc128_decrypt(in
,out
,len
,key
,ivec
,block
);
216 CRYPTO_cbc128_decrypt(in
,out
,len
,key
,ivec
,block
);
221 (*block
)(in
+residue
,tmp
.c
+16,key
);
223 for (n
=0; n
<16; n
+=sizeof(size_t))
224 *(size_t *)(tmp
.c
+n
) = *(size_t *)(tmp
.c
+16+n
);
225 memcpy(tmp
.c
,in
,residue
);
226 (*block
)(tmp
.c
,tmp
.c
,key
);
228 for(n
=0; n
<16; ++n
) {
229 unsigned char c
= in
[n
];
230 out
[n
] = tmp
.c
[n
] ^ ivec
[n
];
231 ivec
[n
] = in
[n
+residue
];
234 for(residue
+=16; n
<residue
; ++n
)
235 out
[n
] = tmp
.c
[n
] ^ tmp
.c
[n
-16];
237 return 16+len
+residue
;
240 size_t CRYPTO_cts128_decrypt(const unsigned char *in
, unsigned char *out
,
241 size_t len
, const void *key
,
242 unsigned char ivec
[16], cbc128_f cbc
)
244 union { size_t align
; unsigned char c
[32]; } tmp
;
246 assert (in
&& out
&& key
&& ivec
);
248 if (len
<=16) return 0;
250 if ((residue
=len
%16) == 0) residue
= 16;
255 (*cbc
)(in
,out
,len
,key
,ivec
,0);
260 for (n
=16; n
<32; n
+=sizeof(size_t))
261 *(size_t *)(tmp
.c
+n
) = 0;
262 /* this places in[16] at &tmp.c[16] and decrypted block at &tmp.c[0] */
263 (*cbc
)(in
,tmp
.c
,16,key
,tmp
.c
+16,0);
265 memcpy(tmp
.c
,in
+16,residue
);
266 #if defined(CBC_HANDLES_TRUNCATED_IO)
267 (*cbc
)(tmp
.c
,out
,16+residue
,key
,ivec
,0);
269 (*cbc
)(tmp
.c
,tmp
.c
,32,key
,ivec
,0);
270 memcpy(out
,tmp
.c
,16+residue
);
272 return 16+len
+residue
;
275 size_t CRYPTO_nistcts128_decrypt(const unsigned char *in
, unsigned char *out
,
276 size_t len
, const void *key
,
277 unsigned char ivec
[16], cbc128_f cbc
)
279 union { size_t align
; unsigned char c
[32]; } tmp
;
281 assert (in
&& out
&& key
&& ivec
);
283 if (len
<16) return 0;
288 (*cbc
)(in
,out
,len
,key
,ivec
,0);
295 (*cbc
)(in
,out
,len
,key
,ivec
,0);
300 for (n
=16; n
<32; n
+=sizeof(size_t))
301 *(size_t *)(tmp
.c
+n
) = 0;
302 /* this places in[16] at &tmp.c[16] and decrypted block at &tmp.c[0] */
303 (*cbc
)(in
+residue
,tmp
.c
,16,key
,tmp
.c
+16,0);
305 memcpy(tmp
.c
,in
,residue
);
306 #if defined(CBC_HANDLES_TRUNCATED_IO)
307 (*cbc
)(tmp
.c
,out
,16+residue
,key
,ivec
,0);
309 (*cbc
)(tmp
.c
,tmp
.c
,32,key
,ivec
,0);
310 memcpy(out
,tmp
.c
,16+residue
);
312 return 16+len
+residue
;
315 #if defined(SELFTEST)
317 #include <openssl/aes.h>
319 /* test vectors from RFC 3962 */
320 static const unsigned char test_key
[16] = "chicken teriyaki";
321 static const unsigned char test_input
[64] =
322 "I would like the" " General Gau's C"
323 "hicken, please, " "and wonton soup.";
324 static const unsigned char test_iv
[16] = {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0};
326 static const unsigned char vector_17
[17] =
327 {0xc6,0x35,0x35,0x68,0xf2,0xbf,0x8c,0xb4, 0xd8,0xa5,0x80,0x36,0x2d,0xa7,0xff,0x7f,
329 static const unsigned char vector_31
[31] =
330 {0xfc,0x00,0x78,0x3e,0x0e,0xfd,0xb2,0xc1, 0xd4,0x45,0xd4,0xc8,0xef,0xf7,0xed,0x22,
331 0x97,0x68,0x72,0x68,0xd6,0xec,0xcc,0xc0, 0xc0,0x7b,0x25,0xe2,0x5e,0xcf,0xe5};
332 static const unsigned char vector_32
[32] =
333 {0x39,0x31,0x25,0x23,0xa7,0x86,0x62,0xd5, 0xbe,0x7f,0xcb,0xcc,0x98,0xeb,0xf5,0xa8,
334 0x97,0x68,0x72,0x68,0xd6,0xec,0xcc,0xc0, 0xc0,0x7b,0x25,0xe2,0x5e,0xcf,0xe5,0x84};
335 static const unsigned char vector_47
[47] =
336 {0x97,0x68,0x72,0x68,0xd6,0xec,0xcc,0xc0, 0xc0,0x7b,0x25,0xe2,0x5e,0xcf,0xe5,0x84,
337 0xb3,0xff,0xfd,0x94,0x0c,0x16,0xa1,0x8c, 0x1b,0x55,0x49,0xd2,0xf8,0x38,0x02,0x9e,
338 0x39,0x31,0x25,0x23,0xa7,0x86,0x62,0xd5, 0xbe,0x7f,0xcb,0xcc,0x98,0xeb,0xf5};
339 static const unsigned char vector_48
[48] =
340 {0x97,0x68,0x72,0x68,0xd6,0xec,0xcc,0xc0, 0xc0,0x7b,0x25,0xe2,0x5e,0xcf,0xe5,0x84,
341 0x9d,0xad,0x8b,0xbb,0x96,0xc4,0xcd,0xc0, 0x3b,0xc1,0x03,0xe1,0xa1,0x94,0xbb,0xd8,
342 0x39,0x31,0x25,0x23,0xa7,0x86,0x62,0xd5, 0xbe,0x7f,0xcb,0xcc,0x98,0xeb,0xf5,0xa8};
343 static const unsigned char vector_64
[64] =
344 {0x97,0x68,0x72,0x68,0xd6,0xec,0xcc,0xc0, 0xc0,0x7b,0x25,0xe2,0x5e,0xcf,0xe5,0x84,
345 0x39,0x31,0x25,0x23,0xa7,0x86,0x62,0xd5, 0xbe,0x7f,0xcb,0xcc,0x98,0xeb,0xf5,0xa8,
346 0x48,0x07,0xef,0xe8,0x36,0xee,0x89,0xa5, 0x26,0x73,0x0d,0xbc,0x2f,0x7b,0xc8,0x40,
347 0x9d,0xad,0x8b,0xbb,0x96,0xc4,0xcd,0xc0, 0x3b,0xc1,0x03,0xe1,0xa1,0x94,0xbb,0xd8};
349 static AES_KEY encks
, decks
;
351 void test_vector(const unsigned char *vector
,size_t len
)
352 { unsigned char iv
[sizeof(test_iv
)];
353 unsigned char cleartext
[64],ciphertext
[64];
356 printf("vector_%d\n",len
); fflush(stdout
);
358 if ((tail
=len
%16) == 0) tail
= 16;
361 /* test block-based encryption */
362 memcpy(iv
,test_iv
,sizeof(test_iv
));
363 CRYPTO_cts128_encrypt_block(test_input
,ciphertext
,len
,&encks
,iv
,(block128_f
)AES_encrypt
);
364 if (memcmp(ciphertext
,vector
,len
))
365 fprintf(stderr
,"output_%d mismatch\n",len
), exit(1);
366 if (memcmp(iv
,vector
+len
-tail
,sizeof(iv
)))
367 fprintf(stderr
,"iv_%d mismatch\n",len
), exit(1);
369 /* test block-based decryption */
370 memcpy(iv
,test_iv
,sizeof(test_iv
));
371 CRYPTO_cts128_decrypt_block(ciphertext
,cleartext
,len
,&decks
,iv
,(block128_f
)AES_decrypt
);
372 if (memcmp(cleartext
,test_input
,len
))
373 fprintf(stderr
,"input_%d mismatch\n",len
), exit(2);
374 if (memcmp(iv
,vector
+len
-tail
,sizeof(iv
)))
375 fprintf(stderr
,"iv_%d mismatch\n",len
), exit(2);
377 /* test streamed encryption */
378 memcpy(iv
,test_iv
,sizeof(test_iv
));
379 CRYPTO_cts128_encrypt(test_input
,ciphertext
,len
,&encks
,iv
,(cbc128_f
)AES_cbc_encrypt
);
380 if (memcmp(ciphertext
,vector
,len
))
381 fprintf(stderr
,"output_%d mismatch\n",len
), exit(3);
382 if (memcmp(iv
,vector
+len
-tail
,sizeof(iv
)))
383 fprintf(stderr
,"iv_%d mismatch\n",len
), exit(3);
385 /* test streamed decryption */
386 memcpy(iv
,test_iv
,sizeof(test_iv
));
387 CRYPTO_cts128_decrypt(ciphertext
,cleartext
,len
,&decks
,iv
,(cbc128_f
)AES_cbc_encrypt
);
388 if (memcmp(cleartext
,test_input
,len
))
389 fprintf(stderr
,"input_%d mismatch\n",len
), exit(4);
390 if (memcmp(iv
,vector
+len
-tail
,sizeof(iv
)))
391 fprintf(stderr
,"iv_%d mismatch\n",len
), exit(4);
394 void test_nistvector(const unsigned char *vector
,size_t len
)
395 { unsigned char iv
[sizeof(test_iv
)];
396 unsigned char cleartext
[64],ciphertext
[64],nistvector
[64];
399 printf("nistvector_%d\n",len
); fflush(stdout
);
401 if ((tail
=len
%16) == 0) tail
= 16;
404 memcpy(nistvector
,vector
,len
);
405 /* flip two last blocks */
406 memcpy(nistvector
+len
,vector
+len
+16,tail
);
407 memcpy(nistvector
+len
+tail
,vector
+len
,16);
411 /* test block-based encryption */
412 memcpy(iv
,test_iv
,sizeof(test_iv
));
413 CRYPTO_nistcts128_encrypt_block(test_input
,ciphertext
,len
,&encks
,iv
,(block128_f
)AES_encrypt
);
414 if (memcmp(ciphertext
,nistvector
,len
))
415 fprintf(stderr
,"output_%d mismatch\n",len
), exit(1);
416 if (memcmp(iv
,nistvector
+len
-tail
,sizeof(iv
)))
417 fprintf(stderr
,"iv_%d mismatch\n",len
), exit(1);
419 /* test block-based decryption */
420 memcpy(iv
,test_iv
,sizeof(test_iv
));
421 CRYPTO_nistcts128_decrypt_block(ciphertext
,cleartext
,len
,&decks
,iv
,(block128_f
)AES_decrypt
);
422 if (memcmp(cleartext
,test_input
,len
))
423 fprintf(stderr
,"input_%d mismatch\n",len
), exit(2);
424 if (memcmp(iv
,nistvector
+len
-tail
,sizeof(iv
)))
425 fprintf(stderr
,"iv_%d mismatch\n",len
), exit(2);
427 /* test streamed encryption */
428 memcpy(iv
,test_iv
,sizeof(test_iv
));
429 CRYPTO_nistcts128_encrypt(test_input
,ciphertext
,len
,&encks
,iv
,(cbc128_f
)AES_cbc_encrypt
);
430 if (memcmp(ciphertext
,nistvector
,len
))
431 fprintf(stderr
,"output_%d mismatch\n",len
), exit(3);
432 if (memcmp(iv
,nistvector
+len
-tail
,sizeof(iv
)))
433 fprintf(stderr
,"iv_%d mismatch\n",len
), exit(3);
435 /* test streamed decryption */
436 memcpy(iv
,test_iv
,sizeof(test_iv
));
437 CRYPTO_nistcts128_decrypt(ciphertext
,cleartext
,len
,&decks
,iv
,(cbc128_f
)AES_cbc_encrypt
);
438 if (memcmp(cleartext
,test_input
,len
))
439 fprintf(stderr
,"input_%d mismatch\n",len
), exit(4);
440 if (memcmp(iv
,nistvector
+len
-tail
,sizeof(iv
)))
441 fprintf(stderr
,"iv_%d mismatch\n",len
), exit(4);
446 AES_set_encrypt_key(test_key
,128,&encks
);
447 AES_set_decrypt_key(test_key
,128,&decks
);
449 test_vector(vector_17
,sizeof(vector_17
));
450 test_vector(vector_31
,sizeof(vector_31
));
451 test_vector(vector_32
,sizeof(vector_32
));
452 test_vector(vector_47
,sizeof(vector_47
));
453 test_vector(vector_48
,sizeof(vector_48
));
454 test_vector(vector_64
,sizeof(vector_64
));
456 test_nistvector(vector_17
,sizeof(vector_17
));
457 test_nistvector(vector_31
,sizeof(vector_31
));
458 test_nistvector(vector_32
,sizeof(vector_32
));
459 test_nistvector(vector_47
,sizeof(vector_47
));
460 test_nistvector(vector_48
,sizeof(vector_48
));
461 test_nistvector(vector_64
,sizeof(vector_64
));