Relay Memory Analysis via Constraint Satisfaction Modeling for Malware Detection in the Electrical Power Grid. - Irma Rrushi; John Olijnyk; Kawthar Badran; Julian L. Rrushi (SAC, 2025)