blob: a16e91e18881d09665aa74a5f9f0367cf603ec7c [file] [log] [blame]
Paul Bakker20a78082011-01-21 09:32:12 +00001/*
2 * \brief Generic file encryption program using generic wrappers for configured
3 * security.
4 *
Paul Bakker243f48e2016-09-02 22:44:09 +02005 * Copyright (C) 2006-2016, ARM Limited, All Rights Reserved
Manuel Pégourié-Gonnard37ff1402015-09-04 14:21:07 +02006 * SPDX-License-Identifier: Apache-2.0
7 *
8 * Licensed under the Apache License, Version 2.0 (the "License"); you may
9 * not use this file except in compliance with the License.
10 * You may obtain a copy of the License at
11 *
12 * http://www.apache.org/licenses/LICENSE-2.0
13 *
14 * Unless required by applicable law or agreed to in writing, software
15 * distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
16 * WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
17 * See the License for the specific language governing permissions and
18 * limitations under the License.
Paul Bakker20a78082011-01-21 09:32:12 +000019 *
Manuel Pégourié-Gonnardfe446432015-03-06 13:17:10 +000020 * This file is part of mbed TLS (https://tls.mbed.org)
Paul Bakker20a78082011-01-21 09:32:12 +000021 */
22
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020023#if !defined(MBEDTLS_CONFIG_FILE)
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000024#include "mbedtls/config.h"
Manuel Pégourié-Gonnardcef4ad22014-04-29 12:39:06 +020025#else
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020026#include MBEDTLS_CONFIG_FILE
Manuel Pégourié-Gonnardcef4ad22014-04-29 12:39:06 +020027#endif
Paul Bakker20a78082011-01-21 09:32:12 +000028
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020029#if defined(MBEDTLS_PLATFORM_C)
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000030#include "mbedtls/platform.h"
Rich Evansf90016a2015-01-19 14:26:37 +000031#else
Rich Evans18b78c72015-02-11 14:06:19 +000032#include <stdio.h>
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020033#define mbedtls_fprintf fprintf
34#define mbedtls_printf printf
Rich Evans18b78c72015-02-11 14:06:19 +000035#endif
36
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020037#if defined(MBEDTLS_CIPHER_C) && defined(MBEDTLS_MD_C) && \
38 defined(MBEDTLS_FS_IO)
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000039#include "mbedtls/cipher.h"
40#include "mbedtls/md.h"
Rich Evans18b78c72015-02-11 14:06:19 +000041
42#include <stdio.h>
43#include <stdlib.h>
44#include <string.h>
Rich Evansf90016a2015-01-19 14:26:37 +000045#endif
46
Paul Bakker494c0b82011-04-24 15:30:07 +000047#if defined(_WIN32)
Paul Bakker20a78082011-01-21 09:32:12 +000048#include <windows.h>
Paul Bakkercce9d772011-11-18 14:26:47 +000049#if !defined(_WIN32_WCE)
Paul Bakker20a78082011-01-21 09:32:12 +000050#include <io.h>
Paul Bakkercce9d772011-11-18 14:26:47 +000051#endif
Paul Bakker20a78082011-01-21 09:32:12 +000052#else
53#include <sys/types.h>
54#include <unistd.h>
55#endif
56
Paul Bakker20a78082011-01-21 09:32:12 +000057#define MODE_ENCRYPT 0
58#define MODE_DECRYPT 1
59
60#define USAGE \
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020061 "\n crypt_and_hash <mode> <input filename> <output filename> <cipher> <mbedtls_md> <key>\n" \
Paul Bakker20a78082011-01-21 09:32:12 +000062 "\n <mode>: 0 = encrypt, 1 = decrypt\n" \
63 "\n example: crypt_and_hash 0 file file.aes AES-128-CBC SHA1 hex:E76B2413958B00E193\n" \
64 "\n"
65
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020066#if !defined(MBEDTLS_CIPHER_C) || !defined(MBEDTLS_MD_C) || \
67 !defined(MBEDTLS_FS_IO)
Rich Evans85b05ec2015-02-12 11:37:29 +000068int main( void )
Paul Bakker5690efc2011-05-26 13:16:06 +000069{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020070 mbedtls_printf("MBEDTLS_CIPHER_C and/or MBEDTLS_MD_C and/or MBEDTLS_FS_IO not defined.\n");
Paul Bakker5690efc2011-05-26 13:16:06 +000071 return( 0 );
72}
73#else
Paul Bakker20a78082011-01-21 09:32:12 +000074int main( int argc, char *argv[] )
75{
Paul Bakker25b5fe52011-05-26 14:02:58 +000076 int ret = 1, i, n;
Paul Bakker243f48e2016-09-02 22:44:09 +020077 int mode;
Paul Bakker25b5fe52011-05-26 14:02:58 +000078 size_t keylen, ilen, olen;
Paul Bakker20a78082011-01-21 09:32:12 +000079 FILE *fkey, *fin = NULL, *fout = NULL;
80
81 char *p;
82 unsigned char IV[16];
83 unsigned char key[512];
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020084 unsigned char digest[MBEDTLS_MD_MAX_SIZE];
Paul Bakker20a78082011-01-21 09:32:12 +000085 unsigned char buffer[1024];
86 unsigned char output[1024];
Paul Bakker424cd692013-10-31 14:22:08 +010087 unsigned char diff;
Paul Bakker20a78082011-01-21 09:32:12 +000088
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020089 const mbedtls_cipher_info_t *cipher_info;
90 const mbedtls_md_info_t *md_info;
91 mbedtls_cipher_context_t cipher_ctx;
92 mbedtls_md_context_t md_ctx;
Paul Bakkercce9d772011-11-18 14:26:47 +000093#if defined(_WIN32_WCE)
94 long filesize, offset;
95#elif defined(_WIN32)
Paul Bakker20a78082011-01-21 09:32:12 +000096 LARGE_INTEGER li_size;
97 __int64 filesize, offset;
98#else
99 off_t filesize, offset;
100#endif
101
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200102 mbedtls_cipher_init( &cipher_ctx );
103 mbedtls_md_init( &md_ctx );
Paul Bakker20a78082011-01-21 09:32:12 +0000104
105 /*
106 * Parse the command-line arguments.
107 */
108 if( argc != 7 )
109 {
110 const int *list;
111
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200112 mbedtls_printf( USAGE );
Paul Bakker20a78082011-01-21 09:32:12 +0000113
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200114 mbedtls_printf( "Available ciphers:\n" );
115 list = mbedtls_cipher_list();
Paul Bakker20a78082011-01-21 09:32:12 +0000116 while( *list )
117 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200118 cipher_info = mbedtls_cipher_info_from_type( *list );
119 mbedtls_printf( " %s\n", cipher_info->name );
Paul Bakker20a78082011-01-21 09:32:12 +0000120 list++;
121 }
122
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200123 mbedtls_printf( "\nAvailable message digests:\n" );
124 list = mbedtls_md_list();
Paul Bakker20a78082011-01-21 09:32:12 +0000125 while( *list )
126 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200127 md_info = mbedtls_md_info_from_type( *list );
128 mbedtls_printf( " %s\n", mbedtls_md_get_name( md_info ) );
Paul Bakker20a78082011-01-21 09:32:12 +0000129 list++;
130 }
131
Paul Bakkercce9d772011-11-18 14:26:47 +0000132#if defined(_WIN32)
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200133 mbedtls_printf( "\n Press Enter to exit this program.\n" );
Paul Bakker20a78082011-01-21 09:32:12 +0000134 fflush( stdout ); getchar();
135#endif
136
137 goto exit;
138 }
139
140 mode = atoi( argv[1] );
141
142 if( mode != MODE_ENCRYPT && mode != MODE_DECRYPT )
143 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200144 mbedtls_fprintf( stderr, "invalid operation mode\n" );
Paul Bakker20a78082011-01-21 09:32:12 +0000145 goto exit;
146 }
147
148 if( strcmp( argv[2], argv[3] ) == 0 )
149 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200150 mbedtls_fprintf( stderr, "input and output filenames must differ\n" );
Paul Bakker20a78082011-01-21 09:32:12 +0000151 goto exit;
152 }
153
154 if( ( fin = fopen( argv[2], "rb" ) ) == NULL )
155 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200156 mbedtls_fprintf( stderr, "fopen(%s,rb) failed\n", argv[2] );
Paul Bakker20a78082011-01-21 09:32:12 +0000157 goto exit;
158 }
159
160 if( ( fout = fopen( argv[3], "wb+" ) ) == NULL )
161 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200162 mbedtls_fprintf( stderr, "fopen(%s,wb+) failed\n", argv[3] );
Paul Bakker20a78082011-01-21 09:32:12 +0000163 goto exit;
164 }
165
166 /*
167 * Read the Cipher and MD from the command line
168 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200169 cipher_info = mbedtls_cipher_info_from_string( argv[4] );
Paul Bakker20a78082011-01-21 09:32:12 +0000170 if( cipher_info == NULL )
171 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200172 mbedtls_fprintf( stderr, "Cipher '%s' not found\n", argv[4] );
Paul Bakker20a78082011-01-21 09:32:12 +0000173 goto exit;
174 }
Manuel Pégourié-Gonnard8473f872015-05-14 13:51:45 +0200175 if( ( ret = mbedtls_cipher_setup( &cipher_ctx, cipher_info) ) != 0 )
Paul Bakkercbe3d0d2014-04-17 16:00:59 +0200176 {
Manuel Pégourié-Gonnard8473f872015-05-14 13:51:45 +0200177 mbedtls_fprintf( stderr, "mbedtls_cipher_setup failed\n" );
Paul Bakkercbe3d0d2014-04-17 16:00:59 +0200178 goto exit;
179 }
Paul Bakker20a78082011-01-21 09:32:12 +0000180
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200181 md_info = mbedtls_md_info_from_string( argv[5] );
Paul Bakker20a78082011-01-21 09:32:12 +0000182 if( md_info == NULL )
183 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200184 mbedtls_fprintf( stderr, "Message Digest '%s' not found\n", argv[5] );
Paul Bakker20a78082011-01-21 09:32:12 +0000185 goto exit;
186 }
Janos Follath8eb64132016-06-03 15:40:57 +0100187
188 if( mbedtls_md_setup( &md_ctx, md_info, 1 ) != 0 )
189 {
Janos Follath352dbe22016-06-07 10:29:05 +0100190 mbedtls_fprintf( stderr, "mbedtls_md_setup failed\n" );
Janos Follath8eb64132016-06-03 15:40:57 +0100191 goto exit;
192 }
Paul Bakker20a78082011-01-21 09:32:12 +0000193
194 /*
195 * Read the secret key and clean the command line.
196 */
197 if( ( fkey = fopen( argv[6], "rb" ) ) != NULL )
198 {
199 keylen = fread( key, 1, sizeof( key ), fkey );
200 fclose( fkey );
201 }
202 else
203 {
204 if( memcmp( argv[6], "hex:", 4 ) == 0 )
205 {
206 p = &argv[6][4];
207 keylen = 0;
208
209 while( sscanf( p, "%02X", &n ) > 0 &&
210 keylen < (int) sizeof( key ) )
211 {
212 key[keylen++] = (unsigned char) n;
213 p += 2;
214 }
215 }
216 else
217 {
218 keylen = strlen( argv[6] );
219
220 if( keylen > (int) sizeof( key ) )
221 keylen = (int) sizeof( key );
222
223 memcpy( key, argv[6], keylen );
224 }
225 }
226
Paul Bakkercce9d772011-11-18 14:26:47 +0000227#if defined(_WIN32_WCE)
228 filesize = fseek( fin, 0L, SEEK_END );
229#else
230#if defined(_WIN32)
Paul Bakker20a78082011-01-21 09:32:12 +0000231 /*
232 * Support large files (> 2Gb) on Win32
233 */
234 li_size.QuadPart = 0;
235 li_size.LowPart =
236 SetFilePointer( (HANDLE) _get_osfhandle( _fileno( fin ) ),
237 li_size.LowPart, &li_size.HighPart, FILE_END );
238
239 if( li_size.LowPart == 0xFFFFFFFF && GetLastError() != NO_ERROR )
240 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200241 mbedtls_fprintf( stderr, "SetFilePointer(0,FILE_END) failed\n" );
Paul Bakker20a78082011-01-21 09:32:12 +0000242 goto exit;
243 }
244
245 filesize = li_size.QuadPart;
246#else
247 if( ( filesize = lseek( fileno( fin ), 0, SEEK_END ) ) < 0 )
248 {
249 perror( "lseek" );
250 goto exit;
251 }
252#endif
Paul Bakkercce9d772011-11-18 14:26:47 +0000253#endif
Paul Bakker20a78082011-01-21 09:32:12 +0000254
255 if( fseek( fin, 0, SEEK_SET ) < 0 )
256 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200257 mbedtls_fprintf( stderr, "fseek(0,SEEK_SET) failed\n" );
Paul Bakker20a78082011-01-21 09:32:12 +0000258 goto exit;
259 }
260
261 if( mode == MODE_ENCRYPT )
262 {
263 /*
264 * Generate the initialization vector as:
Paul Bakker243f48e2016-09-02 22:44:09 +0200265 * IV = MD( filesize || filename )[0..15]
Paul Bakker20a78082011-01-21 09:32:12 +0000266 */
267 for( i = 0; i < 8; i++ )
268 buffer[i] = (unsigned char)( filesize >> ( i << 3 ) );
269
270 p = argv[2];
271
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200272 mbedtls_md_starts( &md_ctx );
273 mbedtls_md_update( &md_ctx, buffer, 8 );
274 mbedtls_md_update( &md_ctx, (unsigned char *) p, strlen( p ) );
275 mbedtls_md_finish( &md_ctx, digest );
Paul Bakker20a78082011-01-21 09:32:12 +0000276
277 memcpy( IV, digest, 16 );
278
279 /*
Paul Bakker20a78082011-01-21 09:32:12 +0000280 * Append the IV at the beginning of the output.
281 */
282 if( fwrite( IV, 1, 16, fout ) != 16 )
283 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200284 mbedtls_fprintf( stderr, "fwrite(%d bytes) failed\n", 16 );
Paul Bakker20a78082011-01-21 09:32:12 +0000285 goto exit;
286 }
287
288 /*
289 * Hash the IV and the secret key together 8192 times
290 * using the result to setup the AES context and HMAC.
291 */
292 memset( digest, 0, 32 );
293 memcpy( digest, IV, 16 );
294
295 for( i = 0; i < 8192; i++ )
296 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200297 mbedtls_md_starts( &md_ctx );
298 mbedtls_md_update( &md_ctx, digest, 32 );
299 mbedtls_md_update( &md_ctx, key, keylen );
300 mbedtls_md_finish( &md_ctx, digest );
Paul Bakker20a78082011-01-21 09:32:12 +0000301
302 }
303
Manuel Pégourié-Gonnard898e0aa2015-06-18 15:28:12 +0200304 if( mbedtls_cipher_setkey( &cipher_ctx, digest, cipher_info->key_bitlen,
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200305 MBEDTLS_ENCRYPT ) != 0 )
Paul Bakker26c4e3c2012-07-04 17:08:33 +0000306 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200307 mbedtls_fprintf( stderr, "mbedtls_cipher_setkey() returned error\n");
Paul Bakker26c4e3c2012-07-04 17:08:33 +0000308 goto exit;
309 }
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200310 if( mbedtls_cipher_set_iv( &cipher_ctx, IV, 16 ) != 0 )
Manuel Pégourié-Gonnard9c853b92013-09-03 13:04:44 +0200311 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200312 mbedtls_fprintf( stderr, "mbedtls_cipher_set_iv() returned error\n");
Manuel Pégourié-Gonnard9c853b92013-09-03 13:04:44 +0200313 goto exit;
314 }
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200315 if( mbedtls_cipher_reset( &cipher_ctx ) != 0 )
Paul Bakker26c4e3c2012-07-04 17:08:33 +0000316 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200317 mbedtls_fprintf( stderr, "mbedtls_cipher_reset() returned error\n");
Paul Bakker26c4e3c2012-07-04 17:08:33 +0000318 goto exit;
319 }
Paul Bakker20a78082011-01-21 09:32:12 +0000320
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200321 mbedtls_md_hmac_starts( &md_ctx, digest, 32 );
Paul Bakker20a78082011-01-21 09:32:12 +0000322
323 /*
324 * Encrypt and write the ciphertext.
325 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200326 for( offset = 0; offset < filesize; offset += mbedtls_cipher_get_block_size( &cipher_ctx ) )
Paul Bakker20a78082011-01-21 09:32:12 +0000327 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200328 ilen = ( (unsigned int) filesize - offset > mbedtls_cipher_get_block_size( &cipher_ctx ) ) ?
329 mbedtls_cipher_get_block_size( &cipher_ctx ) : (unsigned int) ( filesize - offset );
Paul Bakker20a78082011-01-21 09:32:12 +0000330
Paul Bakker25b5fe52011-05-26 14:02:58 +0000331 if( fread( buffer, 1, ilen, fin ) != ilen )
Paul Bakker20a78082011-01-21 09:32:12 +0000332 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200333 mbedtls_fprintf( stderr, "fread(%ld bytes) failed\n", (long) ilen );
Paul Bakker20a78082011-01-21 09:32:12 +0000334 goto exit;
335 }
336
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200337 if( mbedtls_cipher_update( &cipher_ctx, buffer, ilen, output, &olen ) != 0 )
Paul Bakkercbe3d0d2014-04-17 16:00:59 +0200338 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200339 mbedtls_fprintf( stderr, "mbedtls_cipher_update() returned error\n");
Paul Bakkercbe3d0d2014-04-17 16:00:59 +0200340 goto exit;
341 }
342
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200343 mbedtls_md_hmac_update( &md_ctx, output, olen );
Paul Bakker20a78082011-01-21 09:32:12 +0000344
Paul Bakker2c0994e2011-05-25 13:51:57 +0000345 if( fwrite( output, 1, olen, fout ) != olen )
Paul Bakker20a78082011-01-21 09:32:12 +0000346 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200347 mbedtls_fprintf( stderr, "fwrite(%ld bytes) failed\n", (long) olen );
Paul Bakker20a78082011-01-21 09:32:12 +0000348 goto exit;
349 }
350 }
351
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200352 if( mbedtls_cipher_finish( &cipher_ctx, output, &olen ) != 0 )
Paul Bakker26c4e3c2012-07-04 17:08:33 +0000353 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200354 mbedtls_fprintf( stderr, "mbedtls_cipher_finish() returned error\n" );
Paul Bakker26c4e3c2012-07-04 17:08:33 +0000355 goto exit;
356 }
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200357 mbedtls_md_hmac_update( &md_ctx, output, olen );
Paul Bakker20a78082011-01-21 09:32:12 +0000358
Paul Bakker2c0994e2011-05-25 13:51:57 +0000359 if( fwrite( output, 1, olen, fout ) != olen )
Paul Bakker20a78082011-01-21 09:32:12 +0000360 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200361 mbedtls_fprintf( stderr, "fwrite(%ld bytes) failed\n", (long) olen );
Paul Bakker20a78082011-01-21 09:32:12 +0000362 goto exit;
363 }
Paul Bakker26c4e3c2012-07-04 17:08:33 +0000364
Paul Bakker20a78082011-01-21 09:32:12 +0000365 /*
366 * Finally write the HMAC.
367 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200368 mbedtls_md_hmac_finish( &md_ctx, digest );
Paul Bakker20a78082011-01-21 09:32:12 +0000369
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200370 if( fwrite( digest, 1, mbedtls_md_get_size( md_info ), fout ) != mbedtls_md_get_size( md_info ) )
Paul Bakker20a78082011-01-21 09:32:12 +0000371 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200372 mbedtls_fprintf( stderr, "fwrite(%d bytes) failed\n", mbedtls_md_get_size( md_info ) );
Paul Bakker20a78082011-01-21 09:32:12 +0000373 goto exit;
374 }
375 }
376
377 if( mode == MODE_DECRYPT )
378 {
379 /*
380 * The encrypted file must be structured as follows:
381 *
382 * 00 .. 15 Initialization Vector
Paul Bakker243f48e2016-09-02 22:44:09 +0200383 * 16 .. 31 Encrypted Block #1
Paul Bakker20a78082011-01-21 09:32:12 +0000384 * ..
Paul Bakker243f48e2016-09-02 22:44:09 +0200385 * N*16 .. (N+1)*16 - 1 Encrypted Block #N
386 * (N+1)*16 .. (N+1)*16 + n Hash(ciphertext)
Paul Bakker20a78082011-01-21 09:32:12 +0000387 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200388 if( filesize < 16 + mbedtls_md_get_size( md_info ) )
Paul Bakker20a78082011-01-21 09:32:12 +0000389 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200390 mbedtls_fprintf( stderr, "File too short to be encrypted.\n" );
Paul Bakker20a78082011-01-21 09:32:12 +0000391 goto exit;
392 }
393
Janos Follath8eb64132016-06-03 15:40:57 +0100394 if( mbedtls_cipher_get_block_size( &cipher_ctx ) == 0 )
395 {
Janos Follath352dbe22016-06-07 10:29:05 +0100396 mbedtls_fprintf( stderr, "Invalid cipher block size: 0. \n" );
Janos Follath8eb64132016-06-03 15:40:57 +0100397 goto exit;
398 }
399
400 /*
401 * Check the file size.
402 */
Paul Bakker243f48e2016-09-02 22:44:09 +0200403 if( cipher_info->mode != MBEDTLS_MODE_GCM &&
404 ( ( filesize - mbedtls_md_get_size( md_info ) ) %
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200405 mbedtls_cipher_get_block_size( &cipher_ctx ) ) != 0 )
Paul Bakker20a78082011-01-21 09:32:12 +0000406 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200407 mbedtls_fprintf( stderr, "File content not a multiple of the block size (%d).\n",
408 mbedtls_cipher_get_block_size( &cipher_ctx ));
Paul Bakker20a78082011-01-21 09:32:12 +0000409 goto exit;
410 }
411
412 /*
Paul Bakker60b1d102013-10-29 10:02:51 +0100413 * Subtract the IV + HMAC length.
Paul Bakker20a78082011-01-21 09:32:12 +0000414 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200415 filesize -= ( 16 + mbedtls_md_get_size( md_info ) );
Paul Bakker20a78082011-01-21 09:32:12 +0000416
417 /*
418 * Read the IV and original filesize modulo 16.
419 */
420 if( fread( buffer, 1, 16, fin ) != 16 )
421 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200422 mbedtls_fprintf( stderr, "fread(%d bytes) failed\n", 16 );
Paul Bakker20a78082011-01-21 09:32:12 +0000423 goto exit;
424 }
425
426 memcpy( IV, buffer, 16 );
Paul Bakker20a78082011-01-21 09:32:12 +0000427
428 /*
429 * Hash the IV and the secret key together 8192 times
430 * using the result to setup the AES context and HMAC.
431 */
432 memset( digest, 0, 32 );
433 memcpy( digest, IV, 16 );
434
435 for( i = 0; i < 8192; i++ )
436 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200437 mbedtls_md_starts( &md_ctx );
438 mbedtls_md_update( &md_ctx, digest, 32 );
439 mbedtls_md_update( &md_ctx, key, keylen );
440 mbedtls_md_finish( &md_ctx, digest );
Paul Bakker20a78082011-01-21 09:32:12 +0000441 }
442
Manuel Pégourié-Gonnard898e0aa2015-06-18 15:28:12 +0200443 if( mbedtls_cipher_setkey( &cipher_ctx, digest, cipher_info->key_bitlen,
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200444 MBEDTLS_DECRYPT ) != 0 )
Paul Bakkercbe3d0d2014-04-17 16:00:59 +0200445 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200446 mbedtls_fprintf( stderr, "mbedtls_cipher_setkey() returned error\n" );
Paul Bakkercbe3d0d2014-04-17 16:00:59 +0200447 goto exit;
448 }
449
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200450 if( mbedtls_cipher_set_iv( &cipher_ctx, IV, 16 ) != 0 )
Paul Bakkercbe3d0d2014-04-17 16:00:59 +0200451 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200452 mbedtls_fprintf( stderr, "mbedtls_cipher_set_iv() returned error\n" );
Paul Bakkercbe3d0d2014-04-17 16:00:59 +0200453 goto exit;
454 }
455
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200456 if( mbedtls_cipher_reset( &cipher_ctx ) != 0 )
Paul Bakkercbe3d0d2014-04-17 16:00:59 +0200457 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200458 mbedtls_fprintf( stderr, "mbedtls_cipher_reset() returned error\n" );
Paul Bakkercbe3d0d2014-04-17 16:00:59 +0200459 goto exit;
460 }
Paul Bakker20a78082011-01-21 09:32:12 +0000461
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200462 mbedtls_md_hmac_starts( &md_ctx, digest, 32 );
Paul Bakker20a78082011-01-21 09:32:12 +0000463
464 /*
465 * Decrypt and write the plaintext.
466 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200467 for( offset = 0; offset < filesize; offset += mbedtls_cipher_get_block_size( &cipher_ctx ) )
Paul Bakker20a78082011-01-21 09:32:12 +0000468 {
Paul Bakker243f48e2016-09-02 22:44:09 +0200469 ilen = ( (unsigned int) filesize - offset > mbedtls_cipher_get_block_size( &cipher_ctx ) ) ?
470 mbedtls_cipher_get_block_size( &cipher_ctx ) : (unsigned int) ( filesize - offset );
471
472 if( fread( buffer, 1, ilen, fin ) != ilen )
Paul Bakker20a78082011-01-21 09:32:12 +0000473 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200474 mbedtls_fprintf( stderr, "fread(%d bytes) failed\n",
475 mbedtls_cipher_get_block_size( &cipher_ctx ) );
Paul Bakker20a78082011-01-21 09:32:12 +0000476 goto exit;
477 }
478
Paul Bakker243f48e2016-09-02 22:44:09 +0200479 mbedtls_md_hmac_update( &md_ctx, buffer, ilen );
480 if( mbedtls_cipher_update( &cipher_ctx, buffer, ilen, output,
481 &olen ) != 0 )
Paul Bakkercbe3d0d2014-04-17 16:00:59 +0200482 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200483 mbedtls_fprintf( stderr, "mbedtls_cipher_update() returned error\n" );
Paul Bakkercbe3d0d2014-04-17 16:00:59 +0200484 goto exit;
485 }
Paul Bakker20a78082011-01-21 09:32:12 +0000486
Paul Bakker2c0994e2011-05-25 13:51:57 +0000487 if( fwrite( output, 1, olen, fout ) != olen )
Paul Bakker20a78082011-01-21 09:32:12 +0000488 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200489 mbedtls_fprintf( stderr, "fwrite(%ld bytes) failed\n", (long) olen );
Paul Bakker20a78082011-01-21 09:32:12 +0000490 goto exit;
491 }
492 }
493
494 /*
Paul Bakker20a78082011-01-21 09:32:12 +0000495 * Verify the message authentication code.
496 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200497 mbedtls_md_hmac_finish( &md_ctx, digest );
Paul Bakker20a78082011-01-21 09:32:12 +0000498
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200499 if( fread( buffer, 1, mbedtls_md_get_size( md_info ), fin ) != mbedtls_md_get_size( md_info ) )
Paul Bakker20a78082011-01-21 09:32:12 +0000500 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200501 mbedtls_fprintf( stderr, "fread(%d bytes) failed\n", mbedtls_md_get_size( md_info ) );
Paul Bakker20a78082011-01-21 09:32:12 +0000502 goto exit;
503 }
504
Paul Bakker424cd692013-10-31 14:22:08 +0100505 /* Use constant-time buffer comparison */
506 diff = 0;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200507 for( i = 0; i < mbedtls_md_get_size( md_info ); i++ )
Paul Bakker424cd692013-10-31 14:22:08 +0100508 diff |= digest[i] ^ buffer[i];
509
510 if( diff != 0 )
Paul Bakker20a78082011-01-21 09:32:12 +0000511 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200512 mbedtls_fprintf( stderr, "HMAC check failed: wrong key, "
Paul Bakker20a78082011-01-21 09:32:12 +0000513 "or file corrupted.\n" );
514 goto exit;
515 }
Manuel Pégourié-Gonnard0f2eacb2013-11-25 17:55:17 +0100516
517 /*
518 * Write the final block of data
519 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200520 mbedtls_cipher_finish( &cipher_ctx, output, &olen );
Manuel Pégourié-Gonnard0f2eacb2013-11-25 17:55:17 +0100521
522 if( fwrite( output, 1, olen, fout ) != olen )
523 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200524 mbedtls_fprintf( stderr, "fwrite(%ld bytes) failed\n", (long) olen );
Manuel Pégourié-Gonnard0f2eacb2013-11-25 17:55:17 +0100525 goto exit;
526 }
Paul Bakker20a78082011-01-21 09:32:12 +0000527 }
528
529 ret = 0;
530
531exit:
Paul Bakker6d440322011-02-06 12:49:19 +0000532 if( fin )
533 fclose( fin );
534 if( fout )
535 fclose( fout );
Paul Bakker20a78082011-01-21 09:32:12 +0000536
Hanno Beckerf601ec52017-06-27 08:22:17 +0100537 /* Zeroize all command line arguments to also cover
538 the case when the user has missed or reordered some,
539 in which case the key might not be in argv[6]. */
540 for( i = 0; i < argc; i++ )
541 memset( argv[i], 0, strlen( argv[i] ) );
542
543 memset( IV, 0, sizeof( IV ) );
544 memset( key, 0, sizeof( key ) );
Paul Bakker20a78082011-01-21 09:32:12 +0000545 memset( buffer, 0, sizeof( buffer ) );
Hanno Beckerf601ec52017-06-27 08:22:17 +0100546 memset( output, 0, sizeof( output ) );
Paul Bakker20a78082011-01-21 09:32:12 +0000547 memset( digest, 0, sizeof( digest ) );
548
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200549 mbedtls_cipher_free( &cipher_ctx );
550 mbedtls_md_free( &md_ctx );
Paul Bakker20a78082011-01-21 09:32:12 +0000551
552 return( ret );
553}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200554#endif /* MBEDTLS_CIPHER_C && MBEDTLS_MD_C && MBEDTLS_FS_IO */