Montgomery, Hart, and Sikhar Patranabis. 2023. “A Computational Category-Theoretic Approach to Cryptography and Average-Case Complexity”. Mathematical Cryptology 3 (2):24-52. https://journals.flvc.org/mathcryptology/article/view/134668.