Verifying Sanitizer Correctness through Black-Box Learning: A Symbolic Finite Transducer Approach Topics: Machine Learning; Security Verification and Validation; Software Tools and Methodologies to the Development and the Analysis of Secure Systems In Proceedings of the 6th International Conference on Information Systems Security and Privacy - Volume 1: ForSE, 784-795, 2020 , Valletta, Malta