## Author:Lucas Cordeiro
## Keyphrasesabstract interpretation, automated test generation, Bounded Model Checking, Deep Neural Networks, Equivalence Verification, Fuzzing, homomorphic encryption, Lipschitz constant, Neural Network Compression, Neural Network Equivalence, polynomial approximation, privacy-preserving machine learning, Robust Compression, Security. |