hanno-becker
Mathematician working on topics around cryptography, security and formal verification.
Cambridge, UK
Pinned Repositories
aws-lc
AWS-LC is a general-purpose cryptographic library maintained by the AWS Cryptography team for AWS and their customers. It іs based on code from the Google BoringSSL project and the OpenSSL project.
dtls13-spec
Repo for DTLS 1.3
Handbook
New version of the handbook
hanno-becker.github.io
hbecker.github.io
mbed-crypto
Mbed Crypto is a reference implementation of the Arm PSA Crypto API
mbed-os
ARM mbed OS is a platform operating system designed for the internet of things
mbedtls
An open source, portable, easy to use, readable and flexible SSL library
mbedtls
An open source, portable, easy to use, readable and flexible TLS library, and reference implementation of the PSA Cryptography API. Releases are on a varying cadence, typically around 3 - 6 months between releases.
slothy
Assembly super-optimization via constraint solving
hanno-becker's Repositories
hanno-becker/mbed-crypto
Mbed Crypto is a reference implementation of the Arm PSA Crypto API
hanno-becker/mbedtls
An open source, portable, easy to use, readable and flexible SSL library
hanno-becker/aws-lc
AWS-LC is a general-purpose cryptographic library maintained by the AWS Cryptography team for AWS and their customers. It іs based on code from the Google BoringSSL project and the OpenSSL project.
hanno-becker/dtls13-spec
Repo for DTLS 1.3
hanno-becker/Handbook
New version of the handbook
hanno-becker/hanno-becker.github.io
hanno-becker/hbecker.github.io
hanno-becker/mbed-os
ARM mbed OS is a platform operating system designed for the internet of things
hanno-becker/mbed-os-example-tls
mbed TLS Sample application
hanno-becker/mlkem-c-aarch64
ML-KEM implementation optimized for aarch64
hanno-becker/s2n-bignum