Supporting SAT based BMC on Finite Path Models. - Daniel Geist; Mark Ginzburg; Yoad Lustig; Ishai Rabinovitz; Ohad Shacham; Rachel Tzoref (BMC@CAV, 2005)

Modelling DoS Attacks & Interoperability in the Smart Grid. - Dilara Acarali; Muttukrishnan Rajarajan; Doron Chema; Mark Ginzburg (ICCCN, 2020)

A Characterisation of Smart Grid DoS Attacks. - Dilara Acarali; Muttukrishnan Rajarajan; Doron Chema; Mark Ginzburg (CoRR, 2021)

Modelling smart grid IT-OT dependencies for DDoS impact propagation. - Dilara Acarali; K. Rajesh Rao; Muttukrishnan Rajarajan; Doron Chema; Mark Ginzburg (Comput. Secur., 2022)