Montgomery, H.; Patranabis, S. A Computational Category-Theoretic Approach to Cryptography and Average-Case Complexity. mathcryptology 2023, 3, 24-52.