Saraiva, G., Apolinário, F., & Pardal, M. L. (2024). IM-DISCO: Invariant mining for detecting intrusions in critical operations. In Computer Security. ESORICS 2023 International Workshops: CPS4CIP, ADIoT, SecAssure, WASP, TAURIN, PriST-AI, and SECAI, The Hague, The Netherlands, September 25–29, 2023, Revised Selected Papers, Part II (pp. 42-58). https://doi.org/10.1007/978-3-031-54129-2_3
