abstract interpretation, Deep Neural Networks, homomorphic encryption, Lipschitz constant, polynomial approximation, privacy-preserving machine learning.
