tree e104fb108a36c9c0356f93aea3012689061c9bba
parent 41ab8cb6cb76dd7e8a94c8105b2ef12d1158fc3c
author Manuel Pégourié-Gonnard <manuel.pegourie-gonnard@arm.com> 1573811265 +0100
committer Manuel Pégourié-Gonnard <manuel.pegourie-gonnard@arm.com> 1574347042 +0100

Add pre and post-validation to mult_safer()

Validating the input is always a good idea. Validating the output protects
against some fault injections that would make the result invalid.

Note: valid_point() implies that the point is not zero.

Adding validation to mult_safer() makes it redundant in
compute_shared_secret().