Alberto Leporati
2 indexed papers
Publications per year
Top categories
Frequent co-authors
Research Timeline
This paper develops a new threshold secret sharing scheme for cellular automata (CA) that enables anonymous reconstruction of the secret CA rules, improving upon previous characterizations using Mutually Orthogonal Latin Squares (MOLS).
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.
Papers
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…