From 5bdfd0760b0e926b000bf5418cec866ea3b88bcb Mon Sep 17 00:00:00 2001 From: Daniel Huigens Date: Thu, 17 Aug 2023 20:17:28 +0200 Subject: [PATCH] Throw on truncation in the ECDH derive bits operation --- spec/Overview.html | 27 ++++++++++----------------- 1 file changed, 10 insertions(+), 17 deletions(-) diff --git a/spec/Overview.html b/spec/Overview.html index 5a8000b..49cdf18 100644 --- a/spec/Overview.html +++ b/spec/Overview.html @@ -8808,24 +8808,17 @@

Operations

  • -
    If |length| is null:
    -
    Return |secret|
    -
    Otherwise:
    +
    + If |length| is not null, and not equal to the length of |secret| in bits: +
    -
    -
    - If the length of |secret| in bits is less than - |length|: -
    -
    - [= exception/throw =] an - {{OperationError}}. -
    -
    Otherwise:
    -
    - Return an [= octet string containing =] the first |length| bits of |secret|. -
    -
    + [= exception/throw =] an {{OperationError}}. +
    +
    + Otherwise: +
    +
    + Return |secret|.