Mark Ginzburg

According to our database, Mark Ginzburg authored at least 4 papers between 2005 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Modelling smart grid IT-OT dependencies for DDoS impact propagation.

Dilara Acarali, K. Rajesh Rao, Muttukrishnan Rajarajan, Doron Chema, Mark Ginzburg

Comput. Secur., 2022

2021

A Characterisation of Smart Grid DoS Attacks.

Dilara Acarali, Muttukrishnan Rajarajan, Doron Chema, Mark Ginzburg

CoRR, 2021

2020

Modelling DoS Attacks & Interoperability in the Smart Grid.

Dilara Acarali, Muttukrishnan Rajarajan, Doron Chema, Mark Ginzburg

Proceedings of the 29th International Conference on Computer Communications and Networks, 2020

2005

Supporting SAT based BMC on Finite Path Models.

Daniel Geist, Mark Ginzburg, Yoad Lustig, Ishai Rabinovitz, Ohad Shacham, Rachel Tzoref

Proceedings of the Third International Workshop on Bounded Model Checking, 2005