blob: c77d77f5fb8cc7e8b6762d8bd71eaf1157e918df [file] [log] [blame]
Paul Bakker5121ce52009-01-03 21:22:43 +00001/*
2 * AES-256 file encryption program
3 *
Manuel Pégourié-Gonnard6fb81872015-07-27 11:11:48 +02004 * Copyright (C) 2006-2015, ARM Limited, All Rights Reserved
Manuel Pégourié-Gonnard37ff1402015-09-04 14:21:07 +02005 * SPDX-License-Identifier: Apache-2.0
6 *
7 * Licensed under the Apache License, Version 2.0 (the "License"); you may
8 * not use this file except in compliance with the License.
9 * You may obtain a copy of the License at
10 *
11 * http://www.apache.org/licenses/LICENSE-2.0
12 *
13 * Unless required by applicable law or agreed to in writing, software
14 * distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
15 * WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
16 * See the License for the specific language governing permissions and
17 * limitations under the License.
Paul Bakkerb96f1542010-07-18 20:36:00 +000018 *
Manuel Pégourié-Gonnardfe446432015-03-06 13:17:10 +000019 * This file is part of mbed TLS (https://tls.mbed.org)
Paul Bakker5121ce52009-01-03 21:22:43 +000020 */
21
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020022#if !defined(MBEDTLS_CONFIG_FILE)
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000023#include "mbedtls/config.h"
Manuel Pégourié-Gonnardcef4ad22014-04-29 12:39:06 +020024#else
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020025#include MBEDTLS_CONFIG_FILE
Manuel Pégourié-Gonnardcef4ad22014-04-29 12:39:06 +020026#endif
Paul Bakker5121ce52009-01-03 21:22:43 +000027
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020028#if defined(MBEDTLS_PLATFORM_C)
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000029#include "mbedtls/platform.h"
Rich Evansf90016a2015-01-19 14:26:37 +000030#else
Rich Evans18b78c72015-02-11 14:06:19 +000031#include <stdio.h>
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020032#define mbedtls_fprintf fprintf
33#define mbedtls_printf printf
Rich Evans18b78c72015-02-11 14:06:19 +000034#endif
35
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000036#include "mbedtls/aes.h"
Manuel Pégourié-Gonnard003b3b12015-03-24 18:22:59 +010037#include "mbedtls/md.h"
Rich Evans18b78c72015-02-11 14:06:19 +000038
39#include <stdio.h>
40#include <stdlib.h>
41#include <string.h>
Rich Evansf90016a2015-01-19 14:26:37 +000042
Paul Bakker494c0b82011-04-24 15:30:07 +000043#if defined(_WIN32)
Paul Bakker5121ce52009-01-03 21:22:43 +000044#include <windows.h>
Paul Bakkercce9d772011-11-18 14:26:47 +000045#if !defined(_WIN32_WCE)
Paul Bakker5121ce52009-01-03 21:22:43 +000046#include <io.h>
Paul Bakkercce9d772011-11-18 14:26:47 +000047#endif
Paul Bakker5121ce52009-01-03 21:22:43 +000048#else
49#include <sys/types.h>
50#include <unistd.h>
51#endif
52
Paul Bakker5121ce52009-01-03 21:22:43 +000053#define MODE_ENCRYPT 0
54#define MODE_DECRYPT 1
55
56#define USAGE \
57 "\n aescrypt2 <mode> <input filename> <output filename> <key>\n" \
58 "\n <mode>: 0 = encrypt, 1 = decrypt\n" \
59 "\n example: aescrypt2 0 file file.aes hex:E76B2413958B00E193\n" \
60 "\n"
61
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020062#if !defined(MBEDTLS_AES_C) || !defined(MBEDTLS_SHA256_C) || \
63 !defined(MBEDTLS_FS_IO) || !defined(MBEDTLS_MD_C)
Rich Evans85b05ec2015-02-12 11:37:29 +000064int main( void )
Paul Bakker5690efc2011-05-26 13:16:06 +000065{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020066 mbedtls_printf("MBEDTLS_AES_C and/or MBEDTLS_SHA256_C "
67 "and/or MBEDTLS_FS_IO and/or MBEDTLS_MD_C "
Manuel Pégourié-Gonnard003b3b12015-03-24 18:22:59 +010068 "not defined.\n");
Paul Bakker5690efc2011-05-26 13:16:06 +000069 return( 0 );
70}
71#else
Paul Bakker5121ce52009-01-03 21:22:43 +000072int main( int argc, char *argv[] )
73{
Paul Bakker5690efc2011-05-26 13:16:06 +000074 int ret = 1;
75
Simon Butcher0e7d3872016-08-30 14:25:24 +010076 unsigned int i, n;
Paul Bakker23986e52011-04-24 08:57:21 +000077 int mode, lastn;
78 size_t keylen;
Paul Bakker20a78082011-01-21 09:32:12 +000079 FILE *fkey, *fin = NULL, *fout = NULL;
Paul Bakker5121ce52009-01-03 21:22:43 +000080
81 char *p;
82 unsigned char IV[16];
83 unsigned char key[512];
84 unsigned char digest[32];
85 unsigned char buffer[1024];
Manuel Pégourié-Gonnard291f9af2013-10-28 12:51:32 +010086 unsigned char diff;
Paul Bakker5121ce52009-01-03 21:22:43 +000087
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020088 mbedtls_aes_context aes_ctx;
89 mbedtls_md_context_t sha_ctx;
Paul Bakker5121ce52009-01-03 21:22:43 +000090
Paul Bakkercce9d772011-11-18 14:26:47 +000091#if defined(_WIN32_WCE)
92 long filesize, offset;
93#elif defined(_WIN32)
Paul Bakker5121ce52009-01-03 21:22:43 +000094 LARGE_INTEGER li_size;
95 __int64 filesize, offset;
96#else
97 off_t filesize, offset;
98#endif
99
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200100 mbedtls_aes_init( &aes_ctx );
101 mbedtls_md_init( &sha_ctx );
Manuel Pégourié-Gonnard003b3b12015-03-24 18:22:59 +0100102
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200103 ret = mbedtls_md_setup( &sha_ctx, mbedtls_md_info_from_type( MBEDTLS_MD_SHA256 ), 1 );
Manuel Pégourié-Gonnard003b3b12015-03-24 18:22:59 +0100104 if( ret != 0 )
105 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200106 mbedtls_printf( " ! mbedtls_md_setup() returned -0x%04x\n", -ret );
Manuel Pégourié-Gonnard003b3b12015-03-24 18:22:59 +0100107 goto exit;
108 }
Paul Bakker8cfd9d82014-06-18 11:16:11 +0200109
Paul Bakker5121ce52009-01-03 21:22:43 +0000110 /*
111 * Parse the command-line arguments.
112 */
113 if( argc != 5 )
114 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200115 mbedtls_printf( USAGE );
Paul Bakker5121ce52009-01-03 21:22:43 +0000116
Paul Bakkercce9d772011-11-18 14:26:47 +0000117#if defined(_WIN32)
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200118 mbedtls_printf( "\n Press Enter to exit this program.\n" );
Paul Bakker5121ce52009-01-03 21:22:43 +0000119 fflush( stdout ); getchar();
120#endif
121
122 goto exit;
123 }
124
125 mode = atoi( argv[1] );
wslfacc334ef2014-12-28 00:55:41 +0800126 memset(IV, 0, sizeof(IV));
127 memset(key, 0, sizeof(key));
128 memset(digest, 0, sizeof(digest));
129 memset(buffer, 0, sizeof(buffer));
Paul Bakker5121ce52009-01-03 21:22:43 +0000130
131 if( mode != MODE_ENCRYPT && mode != MODE_DECRYPT )
132 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200133 mbedtls_fprintf( stderr, "invalide operation mode\n" );
Paul Bakker5121ce52009-01-03 21:22:43 +0000134 goto exit;
135 }
136
137 if( strcmp( argv[2], argv[3] ) == 0 )
138 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200139 mbedtls_fprintf( stderr, "input and output filenames must differ\n" );
Paul Bakker5121ce52009-01-03 21:22:43 +0000140 goto exit;
141 }
142
143 if( ( fin = fopen( argv[2], "rb" ) ) == NULL )
144 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200145 mbedtls_fprintf( stderr, "fopen(%s,rb) failed\n", argv[2] );
Paul Bakker5121ce52009-01-03 21:22:43 +0000146 goto exit;
147 }
148
149 if( ( fout = fopen( argv[3], "wb+" ) ) == NULL )
150 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200151 mbedtls_fprintf( stderr, "fopen(%s,wb+) failed\n", argv[3] );
Paul Bakker5121ce52009-01-03 21:22:43 +0000152 goto exit;
153 }
154
155 /*
156 * Read the secret key and clean the command line.
157 */
158 if( ( fkey = fopen( argv[4], "rb" ) ) != NULL )
159 {
160 keylen = fread( key, 1, sizeof( key ), fkey );
161 fclose( fkey );
162 }
163 else
164 {
165 if( memcmp( argv[4], "hex:", 4 ) == 0 )
166 {
167 p = &argv[4][4];
168 keylen = 0;
169
170 while( sscanf( p, "%02X", &n ) > 0 &&
171 keylen < (int) sizeof( key ) )
172 {
173 key[keylen++] = (unsigned char) n;
174 p += 2;
175 }
176 }
177 else
178 {
179 keylen = strlen( argv[4] );
180
181 if( keylen > (int) sizeof( key ) )
182 keylen = (int) sizeof( key );
183
184 memcpy( key, argv[4], keylen );
185 }
186 }
187
188 memset( argv[4], 0, strlen( argv[4] ) );
189
Paul Bakkercce9d772011-11-18 14:26:47 +0000190#if defined(_WIN32_WCE)
191 filesize = fseek( fin, 0L, SEEK_END );
192#else
193#if defined(_WIN32)
Paul Bakker5121ce52009-01-03 21:22:43 +0000194 /*
195 * Support large files (> 2Gb) on Win32
196 */
197 li_size.QuadPart = 0;
198 li_size.LowPart =
199 SetFilePointer( (HANDLE) _get_osfhandle( _fileno( fin ) ),
200 li_size.LowPart, &li_size.HighPart, FILE_END );
201
202 if( li_size.LowPart == 0xFFFFFFFF && GetLastError() != NO_ERROR )
203 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200204 mbedtls_fprintf( stderr, "SetFilePointer(0,FILE_END) failed\n" );
Paul Bakker5121ce52009-01-03 21:22:43 +0000205 goto exit;
206 }
207
208 filesize = li_size.QuadPart;
209#else
210 if( ( filesize = lseek( fileno( fin ), 0, SEEK_END ) ) < 0 )
211 {
212 perror( "lseek" );
213 goto exit;
214 }
215#endif
Paul Bakkercce9d772011-11-18 14:26:47 +0000216#endif
Paul Bakker5121ce52009-01-03 21:22:43 +0000217
218 if( fseek( fin, 0, SEEK_SET ) < 0 )
219 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200220 mbedtls_fprintf( stderr, "fseek(0,SEEK_SET) failed\n" );
Paul Bakker5121ce52009-01-03 21:22:43 +0000221 goto exit;
222 }
223
224 if( mode == MODE_ENCRYPT )
225 {
226 /*
227 * Generate the initialization vector as:
228 * IV = SHA-256( filesize || filename )[0..15]
229 */
230 for( i = 0; i < 8; i++ )
231 buffer[i] = (unsigned char)( filesize >> ( i << 3 ) );
232
233 p = argv[2];
234
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200235 mbedtls_md_starts( &sha_ctx );
236 mbedtls_md_update( &sha_ctx, buffer, 8 );
237 mbedtls_md_update( &sha_ctx, (unsigned char *) p, strlen( p ) );
238 mbedtls_md_finish( &sha_ctx, digest );
Paul Bakker5121ce52009-01-03 21:22:43 +0000239
240 memcpy( IV, digest, 16 );
241
242 /*
243 * The last four bits in the IV are actually used
244 * to store the file size modulo the AES block size.
245 */
246 lastn = (int)( filesize & 0x0F );
247
248 IV[15] = (unsigned char)
249 ( ( IV[15] & 0xF0 ) | lastn );
250
251 /*
252 * Append the IV at the beginning of the output.
253 */
254 if( fwrite( IV, 1, 16, fout ) != 16 )
255 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200256 mbedtls_fprintf( stderr, "fwrite(%d bytes) failed\n", 16 );
Paul Bakker5121ce52009-01-03 21:22:43 +0000257 goto exit;
258 }
259
260 /*
261 * Hash the IV and the secret key together 8192 times
262 * using the result to setup the AES context and HMAC.
263 */
264 memset( digest, 0, 32 );
265 memcpy( digest, IV, 16 );
266
267 for( i = 0; i < 8192; i++ )
268 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200269 mbedtls_md_starts( &sha_ctx );
270 mbedtls_md_update( &sha_ctx, digest, 32 );
271 mbedtls_md_update( &sha_ctx, key, keylen );
272 mbedtls_md_finish( &sha_ctx, digest );
Paul Bakker5121ce52009-01-03 21:22:43 +0000273 }
274
275 memset( key, 0, sizeof( key ) );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200276 mbedtls_aes_setkey_enc( &aes_ctx, digest, 256 );
277 mbedtls_md_hmac_starts( &sha_ctx, digest, 32 );
Paul Bakker5121ce52009-01-03 21:22:43 +0000278
279 /*
280 * Encrypt and write the ciphertext.
281 */
282 for( offset = 0; offset < filesize; offset += 16 )
283 {
284 n = ( filesize - offset > 16 ) ? 16 : (int)
285 ( filesize - offset );
286
287 if( fread( buffer, 1, n, fin ) != (size_t) n )
288 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200289 mbedtls_fprintf( stderr, "fread(%d bytes) failed\n", n );
Paul Bakker5121ce52009-01-03 21:22:43 +0000290 goto exit;
291 }
292
293 for( i = 0; i < 16; i++ )
294 buffer[i] = (unsigned char)( buffer[i] ^ IV[i] );
295
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200296 mbedtls_aes_crypt_ecb( &aes_ctx, MBEDTLS_AES_ENCRYPT, buffer, buffer );
297 mbedtls_md_hmac_update( &sha_ctx, buffer, 16 );
Paul Bakker5121ce52009-01-03 21:22:43 +0000298
299 if( fwrite( buffer, 1, 16, fout ) != 16 )
300 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200301 mbedtls_fprintf( stderr, "fwrite(%d bytes) failed\n", 16 );
Paul Bakker5121ce52009-01-03 21:22:43 +0000302 goto exit;
303 }
304
305 memcpy( IV, buffer, 16 );
306 }
307
308 /*
309 * Finally write the HMAC.
310 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200311 mbedtls_md_hmac_finish( &sha_ctx, digest );
Paul Bakker5121ce52009-01-03 21:22:43 +0000312
313 if( fwrite( digest, 1, 32, fout ) != 32 )
314 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200315 mbedtls_fprintf( stderr, "fwrite(%d bytes) failed\n", 16 );
Paul Bakker5121ce52009-01-03 21:22:43 +0000316 goto exit;
317 }
318 }
319
320 if( mode == MODE_DECRYPT )
321 {
322 unsigned char tmp[16];
323
324 /*
325 * The encrypted file must be structured as follows:
326 *
327 * 00 .. 15 Initialization Vector
328 * 16 .. 31 AES Encrypted Block #1
329 * ..
330 * N*16 .. (N+1)*16 - 1 AES Encrypted Block #N
331 * (N+1)*16 .. (N+1)*16 + 32 HMAC-SHA-256(ciphertext)
332 */
333 if( filesize < 48 )
334 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200335 mbedtls_fprintf( stderr, "File too short to be encrypted.\n" );
Paul Bakker5121ce52009-01-03 21:22:43 +0000336 goto exit;
337 }
338
339 if( ( filesize & 0x0F ) != 0 )
340 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200341 mbedtls_fprintf( stderr, "File size not a multiple of 16.\n" );
Paul Bakker5121ce52009-01-03 21:22:43 +0000342 goto exit;
343 }
344
345 /*
Paul Bakker60b1d102013-10-29 10:02:51 +0100346 * Subtract the IV + HMAC length.
Paul Bakker5121ce52009-01-03 21:22:43 +0000347 */
348 filesize -= ( 16 + 32 );
349
350 /*
351 * Read the IV and original filesize modulo 16.
352 */
353 if( fread( buffer, 1, 16, fin ) != 16 )
354 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200355 mbedtls_fprintf( stderr, "fread(%d bytes) failed\n", 16 );
Paul Bakker5121ce52009-01-03 21:22:43 +0000356 goto exit;
357 }
358
359 memcpy( IV, buffer, 16 );
360 lastn = IV[15] & 0x0F;
361
362 /*
363 * Hash the IV and the secret key together 8192 times
364 * using the result to setup the AES context and HMAC.
365 */
366 memset( digest, 0, 32 );
367 memcpy( digest, IV, 16 );
368
369 for( i = 0; i < 8192; i++ )
370 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200371 mbedtls_md_starts( &sha_ctx );
372 mbedtls_md_update( &sha_ctx, digest, 32 );
373 mbedtls_md_update( &sha_ctx, key, keylen );
374 mbedtls_md_finish( &sha_ctx, digest );
Paul Bakker5121ce52009-01-03 21:22:43 +0000375 }
376
377 memset( key, 0, sizeof( key ) );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200378 mbedtls_aes_setkey_dec( &aes_ctx, digest, 256 );
379 mbedtls_md_hmac_starts( &sha_ctx, digest, 32 );
Paul Bakker5121ce52009-01-03 21:22:43 +0000380
381 /*
382 * Decrypt and write the plaintext.
383 */
384 for( offset = 0; offset < filesize; offset += 16 )
385 {
386 if( fread( buffer, 1, 16, fin ) != 16 )
387 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200388 mbedtls_fprintf( stderr, "fread(%d bytes) failed\n", 16 );
Paul Bakker5121ce52009-01-03 21:22:43 +0000389 goto exit;
390 }
391
392 memcpy( tmp, buffer, 16 );
Paul Bakker9e36f042013-06-30 14:34:05 +0200393
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200394 mbedtls_md_hmac_update( &sha_ctx, buffer, 16 );
395 mbedtls_aes_crypt_ecb( &aes_ctx, MBEDTLS_AES_DECRYPT, buffer, buffer );
Paul Bakker9e36f042013-06-30 14:34:05 +0200396
Paul Bakker5121ce52009-01-03 21:22:43 +0000397 for( i = 0; i < 16; i++ )
398 buffer[i] = (unsigned char)( buffer[i] ^ IV[i] );
399
400 memcpy( IV, tmp, 16 );
401
402 n = ( lastn > 0 && offset == filesize - 16 )
403 ? lastn : 16;
404
405 if( fwrite( buffer, 1, n, fout ) != (size_t) n )
406 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200407 mbedtls_fprintf( stderr, "fwrite(%d bytes) failed\n", n );
Paul Bakker5121ce52009-01-03 21:22:43 +0000408 goto exit;
409 }
410 }
411
412 /*
413 * Verify the message authentication code.
414 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200415 mbedtls_md_hmac_finish( &sha_ctx, digest );
Paul Bakker5121ce52009-01-03 21:22:43 +0000416
417 if( fread( buffer, 1, 32, fin ) != 32 )
418 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200419 mbedtls_fprintf( stderr, "fread(%d bytes) failed\n", 32 );
Paul Bakker5121ce52009-01-03 21:22:43 +0000420 goto exit;
421 }
422
Manuel Pégourié-Gonnard291f9af2013-10-28 12:51:32 +0100423 /* Use constant-time buffer comparison */
424 diff = 0;
425 for( i = 0; i < 32; i++ )
426 diff |= digest[i] ^ buffer[i];
427
428 if( diff != 0 )
Paul Bakker5121ce52009-01-03 21:22:43 +0000429 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200430 mbedtls_fprintf( stderr, "HMAC check failed: wrong key, "
Paul Bakker5121ce52009-01-03 21:22:43 +0000431 "or file corrupted.\n" );
432 goto exit;
433 }
434 }
435
436 ret = 0;
437
438exit:
Paul Bakker6d440322011-02-06 12:49:19 +0000439 if( fin )
440 fclose( fin );
441 if( fout )
442 fclose( fout );
Paul Bakker5121ce52009-01-03 21:22:43 +0000443
444 memset( buffer, 0, sizeof( buffer ) );
445 memset( digest, 0, sizeof( digest ) );
446
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200447 mbedtls_aes_free( &aes_ctx );
448 mbedtls_md_free( &sha_ctx );
Paul Bakker5121ce52009-01-03 21:22:43 +0000449
450 return( ret );
451}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200452#endif /* MBEDTLS_AES_C && MBEDTLS_SHA256_C && MBEDTLS_FS_IO */