Carsten Sinz
1 indexed paper
Recent (6 mo)
1With code
0Influential cites
0Benchmarked
0Publications per year
126
Top categories
Crypto×1ML×1
Frequent co-authors
Research Timeline
2026
Encrypted Neural Networks without Overflows
The paper addresses the vulnerability of CKKS-based Fully Homomorphic Encryption (FHE) to overflow attacks by proposing a formal verification technique that guarantees certified bounds on all neuron ranges, thereby eliminating computational failures.
Highlighted terms show continued research focus across papers
Papers
cs.CRcs.LGRecentMay 21, 2026
Encrypted Neural Networks without Overflows
Philipp Kern, Lorenzo Rovida, Samuel Teuber, Edoardo Manino +2 more
The paper addresses the vulnerability of CKKS-based Fully Homomorphic Encryption (FHE) to overflow attacks by proposing a formal verification technique that guarantees certified bounds on all neuron r…
View →