Files
mbedtls/library
Gilles Peskine 8f6726623a Remove a secret-dependent branch in Montgomery multiplication
In mpi_montmul, an auxiliary function for modular
exponentiation (mbedtls_mpi_mod_exp) that performs Montgomery
multiplication, the last step is a conditional subtraction to force
the result into the correct range. The current implementation uses a
branch and therefore may leak information about secret data to an
adversary who can observe what branch is taken through a side channel.

Avoid this potential leak by always doing the same subtraction and
doing a contant-trace conditional assignment to set the result.

Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>
2020-06-09 11:31:30 +02:00
..
2019-02-11 21:13:33 +00:00
2019-04-24 10:51:54 +02:00
2019-07-10 18:35:10 +03:00
2019-04-24 10:51:54 +02:00
2018-07-23 18:18:32 +01:00
2020-04-08 17:17:27 +01:00
2019-04-24 10:51:54 +02:00
2019-07-08 15:44:18 +02:00
2019-04-24 10:51:54 +02:00
2018-11-06 13:12:47 +00:00
2019-04-24 10:51:54 +02:00
2020-02-18 10:49:06 +01:00
2019-04-24 10:51:54 +02:00
2019-04-24 10:51:54 +02:00
2018-10-25 16:07:16 +01:00
2019-06-20 16:33:02 +01:00
2018-10-07 17:48:37 +01:00