Hoda Mehrpouyan

According to our database, Hoda Mehrpouyan authored at least 29 papers between 2015 and 2024.

Collaborative distances:

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

2024

Towards Cyber-Physical Representation and Cyber-Resilience Against Attack and Failure within a Hydraulic Network Simulation Toolkit.

Sean O'Toole, Hoda Mehrpouyan

Proceedings of the IEEE Security and Privacy, 2024

2023

Benchmarks for the Verification of Safety and Security Properties of PLC Programs in Cooperative Verification Environments.

Chibuzo Ukegbu, Hoda Mehrpouyan

Proceedings of the 8th International Conference on Information Systems Engineering, 2023

Ontology-based Framework for Boundary Verification of Safety and Security Properties in Industrial Control Systems.

Chibuzo Ukegbu, Ramesh Neupane, Hoda Mehrpouyan

Proceedings of the 2023 European Interdisciplinary Cybersecurity Conference, 2023

Achieving Cyber-Informed Engineering Through Bayesian Belief Network and Sensitivity Analysis.

Chidi Agbo, Hoda Mehrpouyan

Proceedings of the 10th International Conference on Dependable Systems and Their Applications, 2023

Resilience of Industrial Control Systems Using Signal Temporal Logic And Autotuning Mechanism.

Chidi Agbo, Hoda Mehrpouyan

Proceedings of the IEEE Intl Conf on Dependable, 2023

Cooperative Verification of PLC Programs Using CoVeriTeam: Towards a reliable and secure Industrial Control Systems.

Chibuzo Ukegbu, Hoda Mehrpouyan

Proceedings of Cyber-Physical Systems and Internet of Things Week 2023, 2023

2022

"Pictures are easier to remember than spellings!": Designing and evaluating KidsPic - A graphical image-based authentication mechanism.

Dhanush kumar Ratakonda, Hoda Mehrpouyan, Jerry Alan Fails

Int. J. Child Comput. Interact., 2022

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

Chidi Agbo, Hoda Mehrpouyan

Proceedings of the 6th International Conference on System Reliability and Safety, 2022

Connecting Incident Reporting Infrastructure to Election Day Proceedings.

Kamryn Parker, Hoda Mehrpouyan, Jaclyn J. Kettler, Chad Houck

Proceedings of the Computer Security. ESORICS 2022 International Workshops, 2022

An Ontology-Based Framework for Formal Verification of Safety and Security Properties of Control Logics.

Ramesh Neupane, Hoda Mehrpouyan

Proceedings of the 14th International Conference on Electronics, 2022

2021

A Multi-input Multi-output Transformer-based Hybrid Neural Network for Multi-class Privacy Disclosure Detection.

A. K. M. Nuhil Mehdy, Hoda Mehrpouyan

CoRR, 2021

Privacy as a Planned Behavior: Effects of Situational Factors on Privacy Perceptions and Plans.

A. K. M. Nuhil Mehdy, Michael D. Ekstrand, Bart P. Knijnenburg, Hoda Mehrpouyan

Proceedings of the 29th ACM Conference on User Modeling, Adaptation and Personalization, 2021

IoT Security and Safety Testing Toolkits for Water Distribution Systems.

Sean O'Toole, Cameron Sewell, Hoda Mehrpouyan

Proceedings of the 8th International Conference on Internet of Things: Systems, 2021

Modeling of Personalized Privacy Disclosure Behavior: A Formal Method Approach.

A. K. M. Nuhil Mehdy, Hoda Mehrpouyan

Proceedings of the ARES 2021: The 16th International Conference on Availability, 2021

2020

A User-Centric and Sentiment Aware Privacy-Disclosure Detection Framework based on Multi-input Neural Network.

A. K. M. Nuhil Mehdy, Hoda Mehrpouyan

Proceedings of the PrivateNLP 2020: Workshop on Privacy in Natural Language Processing, 2020

An Operational Resilience Metric for Modern Power Distribution Systems.

Tyler Phillips, Timothy McJunkin, Craig Rieger, John Gardner, Hoda Mehrpouyan

Proceedings of the 20th IEEE International Conference on Software Quality, 2020

2019

Formal specification and verification of user-centric privacy policies for ubiquitous systems.

Rezvan Joshaghani, Stacy Black, Elena Sherman, Hoda Mehrpouyan

Proceedings of the 23rd International Database Applications & Engineering Symposium, 2019

Framework for Detecting Control Command Injection Attacks on Industrial Control Systems (ICS).

Farhad Rasapour, Edoardo Serra, Hoda Mehrpouyan

Proceedings of the 2019 Seventh International Symposium on Computing and Networking, 2019

A Covert System Identification Attack on Constant Setpoint Control Systems.

Tyler Phillips, Hoda Mehrpouyan, John Gardner, Stephen Reese

Proceedings of the Seventh International Symposium on Computing and Networking Workshops, 2019

Anon what what?: Children's Understanding of the Language of Privacy.

Stacy Black, Rezvan Joshaghani, Dhanush kumar Ratakonda, Hoda Mehrpouyan, Jerry Alan Fails

Proceedings of the 18th ACM International Conference on Interaction Design and Children, 2019

2018

Exploring author gender in book rating and recommendation.

Michael D. Ekstrand, Mucun Tian, Mohammed R. Imran Kazi, Hoda Mehrpouyan, Daniel Kluver

Proceedings of the 12th ACM Conference on Recommender Systems, 2018

Privacy for All: Ensuring Fair and Equitable Privacy Protections.

Michael D. Ekstrand, Rezvan Joshaghani, Hoda Mehrpouyan

Proceedings of the Conference on Fairness, Accountability and Transparency, 2018

Model Checking of Security Properties in Industrial Control Systems (ICS).

Roshan Shrestha, Hoda Mehrpouyan, Dianxiang Xu

Proceedings of the Eighth ACM Conference on Data and Application Security and Privacy, 2018

Misusing Sensory Channel to Attack Industrial Control Systems.

Farhad Rasapour, Hoda Mehrpouyan

Proceedings of the Eighth ACM Conference on Data and Application Security and Privacy, 2018

2017

Measuring Personality for Automatic Elicitation of Privacy Preferences.

Hoda Mehrpouyan, Ion Madrazo Azpiazu, Maria Soledad Pera

Proceedings of the IEEE Symposium on Privacy-Aware Computing, 2017

A Model-Checking Approach for Enforcing Purpose-Based Privacy Policies.

Rezvan Joshaghani, Hoda Mehrpouyan

Proceedings of the IEEE Symposium on Privacy-Aware Computing, 2017

2016

Complex Engineered Systems Design Verification Based on Assume-Guarantee Reasoning.

Hoda Mehrpouyan, Dimitra Giannakopoulou, Guillaume Brat, Irem Y. Tumer, Chris Hoyle

Syst. Eng., 2016

Modeling human behavior to anticipate insider attacks via system dynamics.

David Ackerman, Hoda Mehrpouyan

Proceedings of the Symposium on Theory of Modeling & Simulation, 2016

2015

Resiliency analysis for complex engineered system design.

Hoda Mehrpouyan, Brandon Haley, Andy Dong, Irem Y. Tumer, Christopher Hoyle

Artif. Intell. Eng. Des. Anal. Manuf., 2015