Author:Lucas Cordeiro

Publications
Certified Private Inference on Neural Networks via Lipschitz-Guided Abstraction Refinement Edoardo Manino, Bernardo Magri, Mustafa Mustafa and Lucas Cordeiro In:Proceedings of the 6th Workshop on Formal Methods for ML-Enabled Autonomous Systems
CEG4N: Counter-Example Guided Neural Network Quantization Refinement João Batista Pereira Matos Júnior, Iury Bessa, Edoardo Manino, Xidan Song and Lucas C. Cordeiro EasyChair Preprint 8617
FuSeBMC: An Energy-Efficient Verifier for Finding Security Vulnerabilities in C Programs Kaled Alshmrany, Mohannad Aldughaim, Ahmed Bhayat and Lucas Cordeiro EasyChair Preprint 5128

Keyphrases

abstract 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.