Certified Private Inference on Neural Networks via Lipschitz-Guided Abstraction Refinement

Jan 1, 2023·
Edoardo Manino
Bernardo Magri
Bernardo Magri
,
Mustafa A. Mustafa
,
Lucas C. Cordeiro
· 0 min read
Type
Publication
Proceedings of the 6th Workshop on Formal Methods for ML-Enabled Autonomous Systems, FoMLAS@CAV 2023, Paris, France, July 17-18, 2023
publications
Bernardo Magri
Authors
Bernardo Magri
Senior Lecturer (Associate Professor) in Cryptography
I am a Senior Lecturer (Associate Professor) in the Systems and Software Security group at the Department of Computer Science, University of Manchester. Before joining Manchester in December 2021, I held post-doc positions in the Aarhus crypto group at Aarhus University (Denmark) and at Friedrich-Alexander-Universität Erlangen-Nürnberg (Germany). I received my Ph.D. in Computer Science from Sapienza University of Rome (Italy) in 2017, supervised by Giuseppe Ateniese.