Encrypted Neural Networks without Overflows

1. May 2026·
Philipp Kern
,
Lorenzo Rovida
Samuel Teuber
Samuel Teuber
,
Edoardo Manino
,
Carsten Sinz
,
Alberto Leporati
· 0 min read
Type
Neural Network Verification Formal Methods Equivalence Differential Verification Fully Homomorphic Encryption
Samuel Teuber
Authors
Samuel Teuber
PhD Candidate
Researching formal verification of AI-based heterogeneous systems, with applications in neural network control and algorithmic fairness.