https://collaborate.princeton.edu/en/publications/verified-correctness-and-security-of-mbed-tls-hmac-drbg/
Verified correctness and security of mbed TLS HMAC-DRBG - Princeton University
mbed tlsprinceton universityverifiedcorrectnesssecurity
https://www.playstation.com/en-us/oss/toio/mbed-tls/
mbed TLS (US)
mbed tlsus
https://arm-software.github.io/CMSIS-mbedTLS/latest/globals_defs.html
Mbed TLS v4.0.0: Globals
mbed tlsglobals
https://vuxml.freebsd.org/freebsd/d77bd2f5-34f0-11f1-bc6d-3c7c3fba4204.html
VuXML: Mbed TLS -- vulnerabilities
mbed tlsvulnerabilities