Ines Ben Zid

According to our database, Ines Ben Zid authored at least 4 papers between 2017 and 2019.

Collaborative distances:

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

2019

The application of Articial Intelligence for Cyber Security in Industry 4.0.

Ines Ben Zid, Mithil Parekh, Karl Waedt, Xinxin Lou

Proceedings of the 49. Jahrestagung der Gesellschaft für Informatik, 50 Jahre Gesellschaft für Informatik - Informatik für Gesellschaft, INFORMATIK 2019, 2019

Operational Security Modeling and Analysis for IACS.

Yuan Gao, Ines Ben Zid, Xinxin Lou, Mithil Parekh

Proceedings of the 49. Jahrestagung der Gesellschaft für Informatik, 50 Jahre Gesellschaft für Informatik - Informatik für Gesellschaft, INFORMATIK 2019, 2019

2018

Combining Artificial Intelligence planning advantages to assist preliminary formal analysis on Industrial Control System cybersecurity vulnerabilities.

Xinxin Lou, Karl Waedt, Yuan Gao, Ines Ben Zid, Venesa Watson

Proceedings of the 2018 10th International Conference on Electronics, 2018

2017

Semi-Formal Representation and Evaluation of Security Properties.

Xinxin Lou, Ines Ben Zid, Mithil Parekh, Yuan Gao

Proceedings of the 47. Jahrestagung der Gesellschaft für Informatik, 2017