Hanno Becker
Hanno Becker
Hi @Emill, I've just come across your work on optimized implementations of ECC for Arm. First of all, thanks a lot for that, it looks amazing. Would you be interested...
This may be useful in better understanding performance regressions such as https://github.com/google/or-tools/issues/4166.
**Background:** Address offset fixup is an important feature to facilitate software pipelining as it allows the reordering of ldr/str instructions with increment operating on the same address register. Normally, SLOTHY...
This is a work-in-progress attempt add adding an alternative model `AESSpec.lean` of the AES specification that's closely aligned to the FIPS specification. The existing model in `AESArm.lean` and `AESCommon.lean` is...
ssl-opt.sh fails if GNUTLS_NEXT_SERV is not set as in that case G_NEXT_SRV_RSA is not set and used.
This issue it to track the review and potential rework of the client- and server-side Certificate parsing in preparation for upstreaming. Things to look for: * Security * Functional correctness...
* The cookie configuration APIs for TLS 1.3 and DTLS 1.2 have undocumented overlap * There are misplaced guards by `MBEDTLS_SSL_COOKIE_C`: This only guards the inclusion of simple cookie implementations,...
* Remove `mbedtls_ssl_conf_key_shares_curves()` * Remove `ssl->conf->key_shares_curve_list` * Introduce a getter `ssl_tls13_get_key_share_group()` which is used in ClientHello to obtain the ID of the group for which a key share should be...