Philipp Kern, Edoardo Manino, Carsten Sinz. Certified Error Analysis of Homomorphically Encrypted Neural Networks. In Mirco Giacobbe, Anna Lukina, editors, AI Verification - Second International Symposium, SAIV 2025, Zagreb, Croatia, July 21-22, 2025, Proceedings. Volume 15947 of Lecture Notes in Computer Science, pages 156-179, Springer, 2025. [doi]
Abstract is missing.