Author of the publication

Conflict Analysis and Resolution of Safety and Security Boundary Conditions for Industrial Control Systems.

, and . CoRR, (2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Conflict Analysis and Resolution of Safety and Security Boundary Conditions for Industrial Control Systems., and . CoRR, (2023)Modeling of Personalized Privacy Disclosure Behavior: A Formal Method Approach., and . ARES, page 116:1-116:13. ACM, (2021)A User-Centric and Sentiment Aware Privacy-Disclosure Detection Framework based on Multi-input Neural Network., and . PrivateNLP@WSDM, volume 2573 of CEUR Workshop Proceedings, page 21-26. CEUR-WS.org, (2020)Cooperative Verification of PLC Programs Using CoVeriTeam: Towards a reliable and secure Industrial Control Systems., and . CPS-IoT Week Workshops, page 37-42. ACM, (2023)Achieving Cyber-Informed Engineering Through Bayesian Belief Network and Sensitivity Analysis., and . DSA, page 260-271. IEEE, (2023)"Pictures are easier to remember than spellings!": Designing and evaluating KidsPic - A graphical image-based authentication mechanism., , and . Int. J. Child Comput. Interact., (2022)An Ontology-Based Framework for Formal Verification of Safety and Security Properties of Control Logics., and . ECAI, page 1-8. IEEE, (2022)Framework for Detecting Control Command Injection Attacks on Industrial Control Systems (ICS)., , and . CANDAR, page 211-217. IEEE, (2019)Privacy for All: Ensuring Fair and Equitable Privacy Protections., , and . FAT, volume 81 of Proceedings of Machine Learning Research, page 35-47. PMLR, (2018)An Operational Resilience Metric for Modern Power Distribution Systems., , , , and . QRS Companion, page 334-342. IEEE, (2020)