Design and Detection of Covert Man-in-the-Middle Cyberattacks on Water Treatment Plants. - Victor Mattos; João Henrique Schmidt; Amit Bhaya; Alan Oliveira de Sá; Daniel Sadoc Menasché; Gaurav Srivastava (CoRR, 2025)