Barbosa, P., & Bleichenbacher, D. (2022). Paranoid Crypto [Computer software]. https://github.com/google/paranoid_crypto