Towards A Correct-by-Construction FHE Model.

Zhenkun Yang Wen Wang Jeremy Casas Pasquale Cocchini Jin Yang

Published in: IACR Cryptol. ePrint Arch. (2023)

Keyphrases

computational model
neural network
artificial intelligence
high level
probabilistic model
experimental data
formal model
information systems
neural network model
hybrid model
database
databases
database systems
artificial neural networks
conceptual model
sensitivity analysis