Ruochen Tai Liyong Lin Rong Su 0001 Security verification against covert learning attackers. 112344 2025 177 Autom. https://doi.org/10.1016/j.automatica.2025.112344 db/journals/automatica/automatica177.html#TaiLS25 streams/journals/automatica