Extending the Formalism and Theoretical Foundations of Cryptography to AI. - Federico Villa; F. Betül Durak; Tadayoshi Kohno; Tapdig Maharramli; Franziska Roesner (CoRR, 2026)