blob: 0aa489711ec497b53309a7c44fe87ec00faffe5a [file] [log] [blame]
Thomas Gleixner2874c5f2019-05-27 08:55:01 +02001// SPDX-License-Identifier: GPL-2.0-or-later
Andrzej Zaborowski3d5b1ec2015-12-05 17:09:34 +01002/*
3 * RSA padding templates.
4 *
5 * Copyright (c) 2015 Intel Corporation
Andrzej Zaborowski3d5b1ec2015-12-05 17:09:34 +01006 */
7
8#include <crypto/algapi.h>
9#include <crypto/akcipher.h>
10#include <crypto/internal/akcipher.h>
Eric Biggersa1180cf2019-01-10 12:17:53 -080011#include <crypto/internal/rsa.h>
Andrzej Zaborowski3d5b1ec2015-12-05 17:09:34 +010012#include <linux/err.h>
13#include <linux/init.h>
14#include <linux/kernel.h>
15#include <linux/module.h>
16#include <linux/random.h>
17
Tadeusz Struka49de372016-03-03 21:49:26 +000018/*
19 * Hash algorithm OIDs plus ASN.1 DER wrappings [RFC4880 sec 5.2.2].
20 */
21static const u8 rsa_digest_info_md5[] = {
22 0x30, 0x20, 0x30, 0x0c, 0x06, 0x08,
23 0x2a, 0x86, 0x48, 0x86, 0xf7, 0x0d, 0x02, 0x05, /* OID */
24 0x05, 0x00, 0x04, 0x10
25};
26
27static const u8 rsa_digest_info_sha1[] = {
28 0x30, 0x21, 0x30, 0x09, 0x06, 0x05,
29 0x2b, 0x0e, 0x03, 0x02, 0x1a,
30 0x05, 0x00, 0x04, 0x14
31};
32
33static const u8 rsa_digest_info_rmd160[] = {
34 0x30, 0x21, 0x30, 0x09, 0x06, 0x05,
35 0x2b, 0x24, 0x03, 0x02, 0x01,
36 0x05, 0x00, 0x04, 0x14
37};
38
39static const u8 rsa_digest_info_sha224[] = {
40 0x30, 0x2d, 0x30, 0x0d, 0x06, 0x09,
41 0x60, 0x86, 0x48, 0x01, 0x65, 0x03, 0x04, 0x02, 0x04,
42 0x05, 0x00, 0x04, 0x1c
43};
44
45static const u8 rsa_digest_info_sha256[] = {
46 0x30, 0x31, 0x30, 0x0d, 0x06, 0x09,
47 0x60, 0x86, 0x48, 0x01, 0x65, 0x03, 0x04, 0x02, 0x01,
48 0x05, 0x00, 0x04, 0x20
49};
50
51static const u8 rsa_digest_info_sha384[] = {
52 0x30, 0x41, 0x30, 0x0d, 0x06, 0x09,
53 0x60, 0x86, 0x48, 0x01, 0x65, 0x03, 0x04, 0x02, 0x02,
54 0x05, 0x00, 0x04, 0x30
55};
56
57static const u8 rsa_digest_info_sha512[] = {
58 0x30, 0x51, 0x30, 0x0d, 0x06, 0x09,
59 0x60, 0x86, 0x48, 0x01, 0x65, 0x03, 0x04, 0x02, 0x03,
60 0x05, 0x00, 0x04, 0x40
61};
62
63static const struct rsa_asn1_template {
64 const char *name;
65 const u8 *data;
66 size_t size;
67} rsa_asn1_templates[] = {
68#define _(X) { #X, rsa_digest_info_##X, sizeof(rsa_digest_info_##X) }
69 _(md5),
70 _(sha1),
71 _(rmd160),
72 _(sha256),
73 _(sha384),
74 _(sha512),
75 _(sha224),
76 { NULL }
77#undef _
78};
79
80static const struct rsa_asn1_template *rsa_lookup_asn1(const char *name)
81{
82 const struct rsa_asn1_template *p;
83
84 for (p = rsa_asn1_templates; p->name; p++)
85 if (strcmp(name, p->name) == 0)
86 return p;
87 return NULL;
88}
89
Andrzej Zaborowski3d5b1ec2015-12-05 17:09:34 +010090struct pkcs1pad_ctx {
91 struct crypto_akcipher *child;
Andrzej Zaborowski3d5b1ec2015-12-05 17:09:34 +010092 unsigned int key_size;
93};
94
Tadeusz Struka49de372016-03-03 21:49:26 +000095struct pkcs1pad_inst_ctx {
96 struct crypto_akcipher_spawn spawn;
Herbert Xuc0d20d22016-06-29 19:32:23 +080097 const struct rsa_asn1_template *digest_info;
Tadeusz Struka49de372016-03-03 21:49:26 +000098};
99
Andrzej Zaborowski3d5b1ec2015-12-05 17:09:34 +0100100struct pkcs1pad_request {
Herbert Xu0f2c8312016-06-29 19:32:24 +0800101 struct scatterlist in_sg[2], out_sg[1];
Andrzej Zaborowski3d5b1ec2015-12-05 17:09:34 +0100102 uint8_t *in_buf, *out_buf;
Tadeusz Struka6d7bfd2016-07-14 20:39:18 -0700103 struct akcipher_request child_req;
Andrzej Zaborowski3d5b1ec2015-12-05 17:09:34 +0100104};
105
106static int pkcs1pad_set_pub_key(struct crypto_akcipher *tfm, const void *key,
107 unsigned int keylen)
108{
109 struct pkcs1pad_ctx *ctx = akcipher_tfm_ctx(tfm);
Herbert Xu73f791892016-06-29 19:32:27 +0800110 int err;
111
112 ctx->key_size = 0;
Andrzej Zaborowski3d5b1ec2015-12-05 17:09:34 +0100113
114 err = crypto_akcipher_set_pub_key(ctx->child, key, keylen);
Herbert Xu73f791892016-06-29 19:32:27 +0800115 if (err)
116 return err;
Andrzej Zaborowski3d5b1ec2015-12-05 17:09:34 +0100117
Herbert Xu73f791892016-06-29 19:32:27 +0800118 /* Find out new modulus size from rsa implementation */
119 err = crypto_akcipher_maxsize(ctx->child);
Herbert Xu73f791892016-06-29 19:32:27 +0800120 if (err > PAGE_SIZE)
121 return -ENOTSUPP;
Andrzej Zaborowski3d5b1ec2015-12-05 17:09:34 +0100122
Herbert Xu73f791892016-06-29 19:32:27 +0800123 ctx->key_size = err;
124 return 0;
Andrzej Zaborowski3d5b1ec2015-12-05 17:09:34 +0100125}
126
127static int pkcs1pad_set_priv_key(struct crypto_akcipher *tfm, const void *key,
128 unsigned int keylen)
129{
130 struct pkcs1pad_ctx *ctx = akcipher_tfm_ctx(tfm);
Herbert Xu73f791892016-06-29 19:32:27 +0800131 int err;
132
133 ctx->key_size = 0;
Andrzej Zaborowski3d5b1ec2015-12-05 17:09:34 +0100134
135 err = crypto_akcipher_set_priv_key(ctx->child, key, keylen);
Herbert Xu73f791892016-06-29 19:32:27 +0800136 if (err)
137 return err;
Andrzej Zaborowski3d5b1ec2015-12-05 17:09:34 +0100138
Herbert Xu73f791892016-06-29 19:32:27 +0800139 /* Find out new modulus size from rsa implementation */
140 err = crypto_akcipher_maxsize(ctx->child);
Herbert Xu73f791892016-06-29 19:32:27 +0800141 if (err > PAGE_SIZE)
142 return -ENOTSUPP;
Andrzej Zaborowski3d5b1ec2015-12-05 17:09:34 +0100143
Herbert Xu73f791892016-06-29 19:32:27 +0800144 ctx->key_size = err;
145 return 0;
Andrzej Zaborowski3d5b1ec2015-12-05 17:09:34 +0100146}
147
Tudor-Dan Ambarus543de102017-05-25 10:18:16 +0300148static unsigned int pkcs1pad_get_max_size(struct crypto_akcipher *tfm)
Andrzej Zaborowski3d5b1ec2015-12-05 17:09:34 +0100149{
150 struct pkcs1pad_ctx *ctx = akcipher_tfm_ctx(tfm);
151
152 /*
153 * The maximum destination buffer size for the encrypt/sign operations
154 * will be the same as for RSA, even though it's smaller for
155 * decrypt/verify.
156 */
157
Tudor-Dan Ambarus543de102017-05-25 10:18:16 +0300158 return ctx->key_size;
Andrzej Zaborowski3d5b1ec2015-12-05 17:09:34 +0100159}
160
161static void pkcs1pad_sg_set_buf(struct scatterlist *sg, void *buf, size_t len,
162 struct scatterlist *next)
163{
Herbert Xu0f2c8312016-06-29 19:32:24 +0800164 int nsegs = next ? 2 : 1;
Andrzej Zaborowski3d5b1ec2015-12-05 17:09:34 +0100165
Herbert Xu0f2c8312016-06-29 19:32:24 +0800166 sg_init_table(sg, nsegs);
167 sg_set_buf(sg, buf, len);
Andrzej Zaborowski3d5b1ec2015-12-05 17:09:34 +0100168
169 if (next)
170 sg_chain(sg, nsegs, next);
171}
172
173static int pkcs1pad_encrypt_sign_complete(struct akcipher_request *req, int err)
174{
175 struct crypto_akcipher *tfm = crypto_akcipher_reqtfm(req);
176 struct pkcs1pad_ctx *ctx = akcipher_tfm_ctx(tfm);
177 struct pkcs1pad_request *req_ctx = akcipher_request_ctx(req);
Herbert Xud858b072016-06-29 19:32:28 +0800178 unsigned int pad_len;
179 unsigned int len;
180 u8 *out_buf;
Andrzej Zaborowski3d5b1ec2015-12-05 17:09:34 +0100181
Herbert Xud858b072016-06-29 19:32:28 +0800182 if (err)
183 goto out;
Andrzej Zaborowski53192162015-12-12 00:03:51 -0500184
Herbert Xud858b072016-06-29 19:32:28 +0800185 len = req_ctx->child_req.dst_len;
186 pad_len = ctx->key_size - len;
Andrzej Zaborowski53192162015-12-12 00:03:51 -0500187
Herbert Xud858b072016-06-29 19:32:28 +0800188 /* Four billion to one */
189 if (likely(!pad_len))
190 goto out;
Andrzej Zaborowski53192162015-12-12 00:03:51 -0500191
Jia-Ju Bai1ca28092018-01-25 17:57:54 +0800192 out_buf = kzalloc(ctx->key_size, GFP_KERNEL);
Herbert Xud858b072016-06-29 19:32:28 +0800193 err = -ENOMEM;
194 if (!out_buf)
195 goto out;
Andrzej Zaborowski3d5b1ec2015-12-05 17:09:34 +0100196
Herbert Xud858b072016-06-29 19:32:28 +0800197 sg_copy_to_buffer(req->dst, sg_nents_for_len(req->dst, len),
198 out_buf + pad_len, len);
199 sg_copy_from_buffer(req->dst,
200 sg_nents_for_len(req->dst, ctx->key_size),
201 out_buf, ctx->key_size);
202 kzfree(out_buf);
203
204out:
Andrzej Zaborowski3d5b1ec2015-12-05 17:09:34 +0100205 req->dst_len = ctx->key_size;
206
207 kfree(req_ctx->in_buf);
Andrzej Zaborowski3d5b1ec2015-12-05 17:09:34 +0100208
209 return err;
210}
211
212static void pkcs1pad_encrypt_sign_complete_cb(
213 struct crypto_async_request *child_async_req, int err)
214{
215 struct akcipher_request *req = child_async_req->data;
216 struct crypto_async_request async_req;
217
218 if (err == -EINPROGRESS)
219 return;
220
221 async_req.data = req->base.data;
222 async_req.tfm = crypto_akcipher_tfm(crypto_akcipher_reqtfm(req));
223 async_req.flags = child_async_req->flags;
224 req->base.complete(&async_req,
225 pkcs1pad_encrypt_sign_complete(req, err));
226}
227
228static int pkcs1pad_encrypt(struct akcipher_request *req)
229{
230 struct crypto_akcipher *tfm = crypto_akcipher_reqtfm(req);
231 struct pkcs1pad_ctx *ctx = akcipher_tfm_ctx(tfm);
232 struct pkcs1pad_request *req_ctx = akcipher_request_ctx(req);
233 int err;
234 unsigned int i, ps_end;
235
236 if (!ctx->key_size)
237 return -EINVAL;
238
239 if (req->src_len > ctx->key_size - 11)
240 return -EOVERFLOW;
241
242 if (req->dst_len < ctx->key_size) {
243 req->dst_len = ctx->key_size;
244 return -EOVERFLOW;
245 }
246
Andrzej Zaborowski3d5b1ec2015-12-05 17:09:34 +0100247 req_ctx->in_buf = kmalloc(ctx->key_size - 1 - req->src_len,
Herbert Xu3a32ce52016-06-29 19:32:26 +0800248 GFP_KERNEL);
Andrzej Zaborowski3d5b1ec2015-12-05 17:09:34 +0100249 if (!req_ctx->in_buf)
250 return -ENOMEM;
251
252 ps_end = ctx->key_size - req->src_len - 2;
253 req_ctx->in_buf[0] = 0x02;
254 for (i = 1; i < ps_end; i++)
255 req_ctx->in_buf[i] = 1 + prandom_u32_max(255);
256 req_ctx->in_buf[ps_end] = 0x00;
257
258 pkcs1pad_sg_set_buf(req_ctx->in_sg, req_ctx->in_buf,
259 ctx->key_size - 1 - req->src_len, req->src);
260
Andrzej Zaborowski3d5b1ec2015-12-05 17:09:34 +0100261 akcipher_request_set_tfm(&req_ctx->child_req, ctx->child);
262 akcipher_request_set_callback(&req_ctx->child_req, req->base.flags,
263 pkcs1pad_encrypt_sign_complete_cb, req);
264
Herbert Xud858b072016-06-29 19:32:28 +0800265 /* Reuse output buffer */
266 akcipher_request_set_crypt(&req_ctx->child_req, req_ctx->in_sg,
267 req->dst, ctx->key_size - 1, req->dst_len);
268
Andrzej Zaborowski3d5b1ec2015-12-05 17:09:34 +0100269 err = crypto_akcipher_encrypt(&req_ctx->child_req);
Gilad Ben-Yossef4e5b0ad2017-10-18 08:00:36 +0100270 if (err != -EINPROGRESS && err != -EBUSY)
Andrzej Zaborowski3d5b1ec2015-12-05 17:09:34 +0100271 return pkcs1pad_encrypt_sign_complete(req, err);
272
273 return err;
274}
275
276static int pkcs1pad_decrypt_complete(struct akcipher_request *req, int err)
277{
278 struct crypto_akcipher *tfm = crypto_akcipher_reqtfm(req);
279 struct pkcs1pad_ctx *ctx = akcipher_tfm_ctx(tfm);
280 struct pkcs1pad_request *req_ctx = akcipher_request_ctx(req);
Herbert Xu0cf43f52016-09-22 17:04:57 +0800281 unsigned int dst_len;
Andrzej Zaborowski3d5b1ec2015-12-05 17:09:34 +0100282 unsigned int pos;
Herbert Xu0cf43f52016-09-22 17:04:57 +0800283 u8 *out_buf;
Andrzej Zaborowski3d5b1ec2015-12-05 17:09:34 +0100284
285 if (err)
286 goto done;
287
Herbert Xu0cf43f52016-09-22 17:04:57 +0800288 err = -EINVAL;
289 dst_len = req_ctx->child_req.dst_len;
290 if (dst_len < ctx->key_size - 1)
Andrzej Zaborowski3d5b1ec2015-12-05 17:09:34 +0100291 goto done;
Herbert Xu0cf43f52016-09-22 17:04:57 +0800292
293 out_buf = req_ctx->out_buf;
294 if (dst_len == ctx->key_size) {
295 if (out_buf[0] != 0x00)
296 /* Decrypted value had no leading 0 byte */
297 goto done;
298
299 dst_len--;
300 out_buf++;
Andrzej Zaborowski3d5b1ec2015-12-05 17:09:34 +0100301 }
302
Herbert Xu0cf43f52016-09-22 17:04:57 +0800303 if (out_buf[0] != 0x02)
Andrzej Zaborowski3d5b1ec2015-12-05 17:09:34 +0100304 goto done;
Herbert Xu0cf43f52016-09-22 17:04:57 +0800305
306 for (pos = 1; pos < dst_len; pos++)
307 if (out_buf[pos] == 0x00)
Andrzej Zaborowski3d5b1ec2015-12-05 17:09:34 +0100308 break;
Herbert Xu0cf43f52016-09-22 17:04:57 +0800309 if (pos < 9 || pos == dst_len)
Andrzej Zaborowski3d5b1ec2015-12-05 17:09:34 +0100310 goto done;
Andrzej Zaborowski3d5b1ec2015-12-05 17:09:34 +0100311 pos++;
312
Herbert Xu0cf43f52016-09-22 17:04:57 +0800313 err = 0;
314
315 if (req->dst_len < dst_len - pos)
Andrzej Zaborowski3d5b1ec2015-12-05 17:09:34 +0100316 err = -EOVERFLOW;
Herbert Xu0cf43f52016-09-22 17:04:57 +0800317 req->dst_len = dst_len - pos;
Andrzej Zaborowski3d5b1ec2015-12-05 17:09:34 +0100318
319 if (!err)
320 sg_copy_from_buffer(req->dst,
321 sg_nents_for_len(req->dst, req->dst_len),
Herbert Xu0cf43f52016-09-22 17:04:57 +0800322 out_buf + pos, req->dst_len);
Andrzej Zaborowski3d5b1ec2015-12-05 17:09:34 +0100323
324done:
325 kzfree(req_ctx->out_buf);
326
327 return err;
328}
329
330static void pkcs1pad_decrypt_complete_cb(
331 struct crypto_async_request *child_async_req, int err)
332{
333 struct akcipher_request *req = child_async_req->data;
334 struct crypto_async_request async_req;
335
336 if (err == -EINPROGRESS)
337 return;
338
339 async_req.data = req->base.data;
340 async_req.tfm = crypto_akcipher_tfm(crypto_akcipher_reqtfm(req));
341 async_req.flags = child_async_req->flags;
342 req->base.complete(&async_req, pkcs1pad_decrypt_complete(req, err));
343}
344
345static int pkcs1pad_decrypt(struct akcipher_request *req)
346{
347 struct crypto_akcipher *tfm = crypto_akcipher_reqtfm(req);
348 struct pkcs1pad_ctx *ctx = akcipher_tfm_ctx(tfm);
349 struct pkcs1pad_request *req_ctx = akcipher_request_ctx(req);
350 int err;
351
352 if (!ctx->key_size || req->src_len != ctx->key_size)
353 return -EINVAL;
354
Herbert Xu3a32ce52016-06-29 19:32:26 +0800355 req_ctx->out_buf = kmalloc(ctx->key_size, GFP_KERNEL);
Andrzej Zaborowski3d5b1ec2015-12-05 17:09:34 +0100356 if (!req_ctx->out_buf)
357 return -ENOMEM;
358
359 pkcs1pad_sg_set_buf(req_ctx->out_sg, req_ctx->out_buf,
Tadeusz Struk6f0904a2016-04-06 14:42:32 -0700360 ctx->key_size, NULL);
Andrzej Zaborowski3d5b1ec2015-12-05 17:09:34 +0100361
362 akcipher_request_set_tfm(&req_ctx->child_req, ctx->child);
363 akcipher_request_set_callback(&req_ctx->child_req, req->base.flags,
364 pkcs1pad_decrypt_complete_cb, req);
365
Herbert Xud858b072016-06-29 19:32:28 +0800366 /* Reuse input buffer, output to a new buffer */
367 akcipher_request_set_crypt(&req_ctx->child_req, req->src,
368 req_ctx->out_sg, req->src_len,
369 ctx->key_size);
370
Andrzej Zaborowski3d5b1ec2015-12-05 17:09:34 +0100371 err = crypto_akcipher_decrypt(&req_ctx->child_req);
Gilad Ben-Yossef4e5b0ad2017-10-18 08:00:36 +0100372 if (err != -EINPROGRESS && err != -EBUSY)
Andrzej Zaborowski3d5b1ec2015-12-05 17:09:34 +0100373 return pkcs1pad_decrypt_complete(req, err);
374
375 return err;
376}
377
378static int pkcs1pad_sign(struct akcipher_request *req)
379{
380 struct crypto_akcipher *tfm = crypto_akcipher_reqtfm(req);
381 struct pkcs1pad_ctx *ctx = akcipher_tfm_ctx(tfm);
382 struct pkcs1pad_request *req_ctx = akcipher_request_ctx(req);
Herbert Xuc0d20d22016-06-29 19:32:23 +0800383 struct akcipher_instance *inst = akcipher_alg_instance(tfm);
384 struct pkcs1pad_inst_ctx *ictx = akcipher_instance_ctx(inst);
385 const struct rsa_asn1_template *digest_info = ictx->digest_info;
Andrzej Zaborowski3d5b1ec2015-12-05 17:09:34 +0100386 int err;
Tadeusz Struka49de372016-03-03 21:49:26 +0000387 unsigned int ps_end, digest_size = 0;
Andrzej Zaborowski3d5b1ec2015-12-05 17:09:34 +0100388
389 if (!ctx->key_size)
390 return -EINVAL;
391
Denis Kenziorb3a8c8a2018-10-09 17:47:53 +0100392 if (digest_info)
393 digest_size = digest_info->size;
Tadeusz Struka49de372016-03-03 21:49:26 +0000394
395 if (req->src_len + digest_size > ctx->key_size - 11)
Andrzej Zaborowski3d5b1ec2015-12-05 17:09:34 +0100396 return -EOVERFLOW;
397
398 if (req->dst_len < ctx->key_size) {
399 req->dst_len = ctx->key_size;
400 return -EOVERFLOW;
401 }
402
Andrzej Zaborowski3d5b1ec2015-12-05 17:09:34 +0100403 req_ctx->in_buf = kmalloc(ctx->key_size - 1 - req->src_len,
Herbert Xu3a32ce52016-06-29 19:32:26 +0800404 GFP_KERNEL);
Andrzej Zaborowski3d5b1ec2015-12-05 17:09:34 +0100405 if (!req_ctx->in_buf)
406 return -ENOMEM;
407
Tadeusz Struka49de372016-03-03 21:49:26 +0000408 ps_end = ctx->key_size - digest_size - req->src_len - 2;
Andrzej Zaborowski3d5b1ec2015-12-05 17:09:34 +0100409 req_ctx->in_buf[0] = 0x01;
410 memset(req_ctx->in_buf + 1, 0xff, ps_end - 1);
411 req_ctx->in_buf[ps_end] = 0x00;
412
Denis Kenziorb3a8c8a2018-10-09 17:47:53 +0100413 if (digest_info)
414 memcpy(req_ctx->in_buf + ps_end + 1, digest_info->data,
415 digest_info->size);
Tadeusz Struka49de372016-03-03 21:49:26 +0000416
Andrzej Zaborowski3d5b1ec2015-12-05 17:09:34 +0100417 pkcs1pad_sg_set_buf(req_ctx->in_sg, req_ctx->in_buf,
418 ctx->key_size - 1 - req->src_len, req->src);
419
Andrzej Zaborowski3d5b1ec2015-12-05 17:09:34 +0100420 akcipher_request_set_tfm(&req_ctx->child_req, ctx->child);
421 akcipher_request_set_callback(&req_ctx->child_req, req->base.flags,
422 pkcs1pad_encrypt_sign_complete_cb, req);
423
Herbert Xud858b072016-06-29 19:32:28 +0800424 /* Reuse output buffer */
425 akcipher_request_set_crypt(&req_ctx->child_req, req_ctx->in_sg,
426 req->dst, ctx->key_size - 1, req->dst_len);
427
Vitaly Chikunov3ecc9722019-04-11 18:51:14 +0300428 err = crypto_akcipher_decrypt(&req_ctx->child_req);
Gilad Ben-Yossef4e5b0ad2017-10-18 08:00:36 +0100429 if (err != -EINPROGRESS && err != -EBUSY)
Andrzej Zaborowski3d5b1ec2015-12-05 17:09:34 +0100430 return pkcs1pad_encrypt_sign_complete(req, err);
431
432 return err;
433}
434
435static int pkcs1pad_verify_complete(struct akcipher_request *req, int err)
436{
437 struct crypto_akcipher *tfm = crypto_akcipher_reqtfm(req);
438 struct pkcs1pad_ctx *ctx = akcipher_tfm_ctx(tfm);
439 struct pkcs1pad_request *req_ctx = akcipher_request_ctx(req);
Herbert Xuc0d20d22016-06-29 19:32:23 +0800440 struct akcipher_instance *inst = akcipher_alg_instance(tfm);
441 struct pkcs1pad_inst_ctx *ictx = akcipher_instance_ctx(inst);
442 const struct rsa_asn1_template *digest_info = ictx->digest_info;
Herbert Xu27710b82016-07-03 10:46:11 +0800443 unsigned int dst_len;
Andrzej Zaborowski3d5b1ec2015-12-05 17:09:34 +0100444 unsigned int pos;
Herbert Xu27710b82016-07-03 10:46:11 +0800445 u8 *out_buf;
Andrzej Zaborowski3d5b1ec2015-12-05 17:09:34 +0100446
447 if (err)
448 goto done;
449
Herbert Xu27710b82016-07-03 10:46:11 +0800450 err = -EINVAL;
451 dst_len = req_ctx->child_req.dst_len;
452 if (dst_len < ctx->key_size - 1)
Andrzej Zaborowski3d5b1ec2015-12-05 17:09:34 +0100453 goto done;
Herbert Xu27710b82016-07-03 10:46:11 +0800454
455 out_buf = req_ctx->out_buf;
456 if (dst_len == ctx->key_size) {
457 if (out_buf[0] != 0x00)
458 /* Decrypted value had no leading 0 byte */
459 goto done;
460
461 dst_len--;
462 out_buf++;
Andrzej Zaborowski3d5b1ec2015-12-05 17:09:34 +0100463 }
464
Tadeusz Struka49de372016-03-03 21:49:26 +0000465 err = -EBADMSG;
Herbert Xu27710b82016-07-03 10:46:11 +0800466 if (out_buf[0] != 0x01)
Andrzej Zaborowski3d5b1ec2015-12-05 17:09:34 +0100467 goto done;
Tadeusz Struka49de372016-03-03 21:49:26 +0000468
Herbert Xu27710b82016-07-03 10:46:11 +0800469 for (pos = 1; pos < dst_len; pos++)
470 if (out_buf[pos] != 0xff)
Andrzej Zaborowski3d5b1ec2015-12-05 17:09:34 +0100471 break;
Tadeusz Struka49de372016-03-03 21:49:26 +0000472
Herbert Xu27710b82016-07-03 10:46:11 +0800473 if (pos < 9 || pos == dst_len || out_buf[pos] != 0x00)
Andrzej Zaborowski3d5b1ec2015-12-05 17:09:34 +0100474 goto done;
Andrzej Zaborowski3d5b1ec2015-12-05 17:09:34 +0100475 pos++;
476
Denis Kenziorb3a8c8a2018-10-09 17:47:53 +0100477 if (digest_info) {
478 if (crypto_memneq(out_buf + pos, digest_info->data,
479 digest_info->size))
480 goto done;
Tadeusz Struka49de372016-03-03 21:49:26 +0000481
Denis Kenziorb3a8c8a2018-10-09 17:47:53 +0100482 pos += digest_info->size;
483 }
Tadeusz Struka49de372016-03-03 21:49:26 +0000484
485 err = 0;
486
Vitaly Chikunovc7381b02019-04-11 18:51:15 +0300487 if (req->dst_len != dst_len - pos) {
488 err = -EKEYREJECTED;
489 req->dst_len = dst_len - pos;
490 goto done;
491 }
492 /* Extract appended digest. */
493 sg_pcopy_to_buffer(req->src,
494 sg_nents_for_len(req->src,
495 req->src_len + req->dst_len),
496 req_ctx->out_buf + ctx->key_size,
497 req->dst_len, ctx->key_size);
498 /* Do the actual verification step. */
499 if (memcmp(req_ctx->out_buf + ctx->key_size, out_buf + pos,
500 req->dst_len) != 0)
501 err = -EKEYREJECTED;
Andrzej Zaborowski3d5b1ec2015-12-05 17:09:34 +0100502done:
503 kzfree(req_ctx->out_buf);
504
505 return err;
506}
507
508static void pkcs1pad_verify_complete_cb(
509 struct crypto_async_request *child_async_req, int err)
510{
511 struct akcipher_request *req = child_async_req->data;
512 struct crypto_async_request async_req;
513
514 if (err == -EINPROGRESS)
515 return;
516
517 async_req.data = req->base.data;
518 async_req.tfm = crypto_akcipher_tfm(crypto_akcipher_reqtfm(req));
519 async_req.flags = child_async_req->flags;
520 req->base.complete(&async_req, pkcs1pad_verify_complete(req, err));
521}
522
523/*
524 * The verify operation is here for completeness similar to the verification
525 * defined in RFC2313 section 10.2 except that block type 0 is not accepted,
526 * as in RFC2437. RFC2437 section 9.2 doesn't define any operation to
527 * retrieve the DigestInfo from a signature, instead the user is expected
528 * to call the sign operation to generate the expected signature and compare
529 * signatures instead of the message-digests.
530 */
531static int pkcs1pad_verify(struct akcipher_request *req)
532{
533 struct crypto_akcipher *tfm = crypto_akcipher_reqtfm(req);
534 struct pkcs1pad_ctx *ctx = akcipher_tfm_ctx(tfm);
535 struct pkcs1pad_request *req_ctx = akcipher_request_ctx(req);
536 int err;
537
Vitaly Chikunovc7381b02019-04-11 18:51:15 +0300538 if (WARN_ON(req->dst) ||
539 WARN_ON(!req->dst_len) ||
540 !ctx->key_size || req->src_len < ctx->key_size)
Andrzej Zaborowski3d5b1ec2015-12-05 17:09:34 +0100541 return -EINVAL;
542
Vitaly Chikunovc7381b02019-04-11 18:51:15 +0300543 req_ctx->out_buf = kmalloc(ctx->key_size + req->dst_len, GFP_KERNEL);
Andrzej Zaborowski3d5b1ec2015-12-05 17:09:34 +0100544 if (!req_ctx->out_buf)
545 return -ENOMEM;
546
547 pkcs1pad_sg_set_buf(req_ctx->out_sg, req_ctx->out_buf,
Tadeusz Struk6f0904a2016-04-06 14:42:32 -0700548 ctx->key_size, NULL);
Andrzej Zaborowski3d5b1ec2015-12-05 17:09:34 +0100549
550 akcipher_request_set_tfm(&req_ctx->child_req, ctx->child);
551 akcipher_request_set_callback(&req_ctx->child_req, req->base.flags,
552 pkcs1pad_verify_complete_cb, req);
553
Herbert Xud858b072016-06-29 19:32:28 +0800554 /* Reuse input buffer, output to a new buffer */
555 akcipher_request_set_crypt(&req_ctx->child_req, req->src,
556 req_ctx->out_sg, req->src_len,
557 ctx->key_size);
558
Vitaly Chikunov3ecc9722019-04-11 18:51:14 +0300559 err = crypto_akcipher_encrypt(&req_ctx->child_req);
Gilad Ben-Yossef4e5b0ad2017-10-18 08:00:36 +0100560 if (err != -EINPROGRESS && err != -EBUSY)
Andrzej Zaborowski3d5b1ec2015-12-05 17:09:34 +0100561 return pkcs1pad_verify_complete(req, err);
562
563 return err;
564}
565
566static int pkcs1pad_init_tfm(struct crypto_akcipher *tfm)
567{
568 struct akcipher_instance *inst = akcipher_alg_instance(tfm);
Tadeusz Struka49de372016-03-03 21:49:26 +0000569 struct pkcs1pad_inst_ctx *ictx = akcipher_instance_ctx(inst);
Andrzej Zaborowski3d5b1ec2015-12-05 17:09:34 +0100570 struct pkcs1pad_ctx *ctx = akcipher_tfm_ctx(tfm);
571 struct crypto_akcipher *child_tfm;
572
Herbert Xuc0d20d22016-06-29 19:32:23 +0800573 child_tfm = crypto_spawn_akcipher(&ictx->spawn);
Andrzej Zaborowski3d5b1ec2015-12-05 17:09:34 +0100574 if (IS_ERR(child_tfm))
575 return PTR_ERR(child_tfm);
576
577 ctx->child = child_tfm;
Andrzej Zaborowski3d5b1ec2015-12-05 17:09:34 +0100578 return 0;
579}
580
581static void pkcs1pad_exit_tfm(struct crypto_akcipher *tfm)
582{
583 struct pkcs1pad_ctx *ctx = akcipher_tfm_ctx(tfm);
584
585 crypto_free_akcipher(ctx->child);
586}
587
588static void pkcs1pad_free(struct akcipher_instance *inst)
589{
Tadeusz Struka49de372016-03-03 21:49:26 +0000590 struct pkcs1pad_inst_ctx *ctx = akcipher_instance_ctx(inst);
591 struct crypto_akcipher_spawn *spawn = &ctx->spawn;
Andrzej Zaborowski3d5b1ec2015-12-05 17:09:34 +0100592
593 crypto_drop_akcipher(spawn);
Andrzej Zaborowski3d5b1ec2015-12-05 17:09:34 +0100594 kfree(inst);
595}
596
597static int pkcs1pad_create(struct crypto_template *tmpl, struct rtattr **tb)
598{
Herbert Xuc0d20d22016-06-29 19:32:23 +0800599 const struct rsa_asn1_template *digest_info;
Andrzej Zaborowski3d5b1ec2015-12-05 17:09:34 +0100600 struct crypto_attr_type *algt;
601 struct akcipher_instance *inst;
Tadeusz Struka49de372016-03-03 21:49:26 +0000602 struct pkcs1pad_inst_ctx *ctx;
Andrzej Zaborowski3d5b1ec2015-12-05 17:09:34 +0100603 struct crypto_akcipher_spawn *spawn;
604 struct akcipher_alg *rsa_alg;
605 const char *rsa_alg_name;
Tadeusz Struka49de372016-03-03 21:49:26 +0000606 const char *hash_name;
Andrzej Zaborowski3d5b1ec2015-12-05 17:09:34 +0100607 int err;
608
609 algt = crypto_get_attr_type(tb);
610 if (IS_ERR(algt))
611 return PTR_ERR(algt);
612
613 if ((algt->type ^ CRYPTO_ALG_TYPE_AKCIPHER) & algt->mask)
614 return -EINVAL;
615
616 rsa_alg_name = crypto_attr_alg_name(tb[1]);
617 if (IS_ERR(rsa_alg_name))
618 return PTR_ERR(rsa_alg_name);
619
Tadeusz Struka49de372016-03-03 21:49:26 +0000620 hash_name = crypto_attr_alg_name(tb[2]);
621 if (IS_ERR(hash_name))
Denis Kenziorb3a8c8a2018-10-09 17:47:53 +0100622 hash_name = NULL;
Herbert Xuc0d20d22016-06-29 19:32:23 +0800623
Denis Kenziorb3a8c8a2018-10-09 17:47:53 +0100624 if (hash_name) {
625 digest_info = rsa_lookup_asn1(hash_name);
626 if (!digest_info)
627 return -EINVAL;
628 } else
629 digest_info = NULL;
Tadeusz Struka49de372016-03-03 21:49:26 +0000630
631 inst = kzalloc(sizeof(*inst) + sizeof(*ctx), GFP_KERNEL);
Andrzej Zaborowski3d5b1ec2015-12-05 17:09:34 +0100632 if (!inst)
633 return -ENOMEM;
634
Tadeusz Struka49de372016-03-03 21:49:26 +0000635 ctx = akcipher_instance_ctx(inst);
636 spawn = &ctx->spawn;
Herbert Xuc0d20d22016-06-29 19:32:23 +0800637 ctx->digest_info = digest_info;
Tadeusz Struka49de372016-03-03 21:49:26 +0000638
Andrzej Zaborowski3d5b1ec2015-12-05 17:09:34 +0100639 crypto_set_spawn(&spawn->base, akcipher_crypto_instance(inst));
640 err = crypto_grab_akcipher(spawn, rsa_alg_name, 0,
641 crypto_requires_sync(algt->type, algt->mask));
642 if (err)
643 goto out_free_inst;
644
645 rsa_alg = crypto_spawn_akcipher_alg(spawn);
646
647 err = -ENAMETOOLONG;
Tadeusz Struka49de372016-03-03 21:49:26 +0000648
Denis Kenziorb3a8c8a2018-10-09 17:47:53 +0100649 if (!hash_name) {
650 if (snprintf(inst->alg.base.cra_name,
651 CRYPTO_MAX_ALG_NAME, "pkcs1pad(%s)",
652 rsa_alg->base.cra_name) >= CRYPTO_MAX_ALG_NAME)
653 goto out_drop_alg;
654
655 if (snprintf(inst->alg.base.cra_driver_name,
656 CRYPTO_MAX_ALG_NAME, "pkcs1pad(%s)",
657 rsa_alg->base.cra_driver_name) >=
658 CRYPTO_MAX_ALG_NAME)
659 goto out_drop_alg;
660 } else {
661 if (snprintf(inst->alg.base.cra_name, CRYPTO_MAX_ALG_NAME,
662 "pkcs1pad(%s,%s)", rsa_alg->base.cra_name,
663 hash_name) >= CRYPTO_MAX_ALG_NAME)
664 goto out_drop_alg;
665
666 if (snprintf(inst->alg.base.cra_driver_name,
667 CRYPTO_MAX_ALG_NAME, "pkcs1pad(%s,%s)",
668 rsa_alg->base.cra_driver_name,
669 hash_name) >= CRYPTO_MAX_ALG_NAME)
670 goto out_drop_alg;
671 }
Andrzej Zaborowski3d5b1ec2015-12-05 17:09:34 +0100672
673 inst->alg.base.cra_flags = rsa_alg->base.cra_flags & CRYPTO_ALG_ASYNC;
674 inst->alg.base.cra_priority = rsa_alg->base.cra_priority;
675 inst->alg.base.cra_ctxsize = sizeof(struct pkcs1pad_ctx);
676
677 inst->alg.init = pkcs1pad_init_tfm;
678 inst->alg.exit = pkcs1pad_exit_tfm;
679
680 inst->alg.encrypt = pkcs1pad_encrypt;
681 inst->alg.decrypt = pkcs1pad_decrypt;
682 inst->alg.sign = pkcs1pad_sign;
683 inst->alg.verify = pkcs1pad_verify;
684 inst->alg.set_pub_key = pkcs1pad_set_pub_key;
685 inst->alg.set_priv_key = pkcs1pad_set_priv_key;
686 inst->alg.max_size = pkcs1pad_get_max_size;
687 inst->alg.reqsize = sizeof(struct pkcs1pad_request) + rsa_alg->reqsize;
688
689 inst->free = pkcs1pad_free;
690
691 err = akcipher_register_instance(tmpl, inst);
692 if (err)
Herbert Xuc0d20d22016-06-29 19:32:23 +0800693 goto out_drop_alg;
Andrzej Zaborowski3d5b1ec2015-12-05 17:09:34 +0100694
695 return 0;
696
Andrzej Zaborowski3d5b1ec2015-12-05 17:09:34 +0100697out_drop_alg:
698 crypto_drop_akcipher(spawn);
699out_free_inst:
700 kfree(inst);
701 return err;
702}
703
704struct crypto_template rsa_pkcs1pad_tmpl = {
705 .name = "pkcs1pad",
706 .create = pkcs1pad_create,
707 .module = THIS_MODULE,
708};