Combining Cryptography and Discrete-Event Systems to Study Sensor and Actuator Cyberattacks. - Ahmed Khoumsi; Mohammed Erradi; Fahd Adni (WISTP, 2024)