Moreno Falaschi, Catuscia Palamidessi, Marco Romanelli 0002. Derivation of Constraints from Machine Learning Models and Applications to Security and Privacy. In Frank S. de Boer, Jacopo Mauro, editors, Recent Developments in the Design and Implementation of Programming Languages, Gabbrielli's Festschrift, November 27, 2020, Bologna, Italy. Volume 86 of OASIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020. [doi]
Abstract is missing.