SelectedWorks - Hoda Mehrpouyan

Contact

Selected Works of Hoda Mehrpouyan

Assistant Professor, Department of Computer Science

Dr. Hoda S. Mehrpouyan started at Boise State University in 2016 and is currently an Assistant Professor with the Department of Computer Science. Focusing on ensuring privacy, security, and robustness of mission-critical cyber-physical systems, she earned her Ph.D. from Oregon State University and her M.Sc. from Linköpings University. Prior to coming to Boise State Dr. Mehrpouyan was an Assistant Professor at Columbus State University where she taught a variety of courses including object-oriented design and systems simulation. Her primary areas of research interest are in requirement analysis and verification, compositional modeling and reasoning, safety and failure resilience modeling applied to complex engineering systems such as aircraft, spacecraft, automobiles, smart grid, and renewable energy systems.

Works
About

×

About Hoda Mehrpouyan

Dr. Hoda S. Mehrpouyan started at Boise State University in 2016 and is currently an Assistant Professor with the Department of Computer Science. Focusing on ensuring privacy, security, and robustness of mission-critical cyber-physical systems, she earned her Ph.D. from Oregon State University and her M.Sc. from Linköpings University. Prior to coming to Boise State Dr. Mehrpouyan was an Assistant Professor at Columbus State University where she taught a variety of courses including object-oriented design and systems simulation. Her primary areas of research interest are in requirement analysis and verification, compositional modeling and reasoning, safety and failure resilience modeling applied to complex engineering systems such as aircraft, spacecraft, automobiles, smart grid, and renewable energy systems.

Towards a Framework for Resilient Design of Complex Engineered Systems (Hoda Mehrpouyan, Dimitra Giannakopoulou, Guillaume P. Brat, et al.) Research in Engineering Design (2016)

Articles (4)

“Pictures are Easier to Remember Than Spellings!”: Designing and Evaluating KidsPic: A Graphical Image-Based Authentication Mechanism (Dhanush Kumar Ratakonda, Hoda Mehrpouyan and Jerry Alan Fails) International Journal of Child-Computer Interaction (2022)

Children encounter difficulties when they login to computers or websites because they have challenges remembering passwords. To improve children’s authentication, we conducted a series of formative studies with children (n = 8, ages 6–11) to ...

FALCON: Framework for Anomaly Detection in Industrial Control Systems (Subin Sapkota, A.K.M. Nuhil Mehdy, Stephen Reese, et al.) Electronics (2020)

Industrial Control Systems (ICS) are used to control physical processes in critical infrastructure. These systems are used in a wide variety of operations such as water treatment, power generation and distribution, and manufacturing. While the ...

Complex Engineered Systems Design Verification Based on Assume-Guarantee Reasoning (Hoda Mehrpouyan, Dimitra Giannakopoulou, Guillaume Brat, et al.) Systems Engineering (2016)

System verification is one of the most critical tasks into the process of engineered system design. This process is time-consuming and prone with errors when a limited set of scenarios is evaluated to guarantee the ...

Resiliency Analysis for Complex Engineered System Design (Hoda Mehrpouyan, Brandon Haley, Andy Dong, et al.) Artificial Intelligence for Engineering Design, Analysis and Manufacturing (2015)

Resilience is a key driver in the design of systems that must operate in an uncertain operating environment, and it is a key metric to assess the capacity for systems to perform within the specified ...

An Ontology-Based Framework for Formal Verification of Safety and Security Properties of Control Logics (Ramesh Neupane and Hoda Mehrpouyan) 2022 14th International Conference on Electronics, Computers and Artificial Intelligence (ECAI) (2022)

Any safety issues or cyber attacks on an Industrial Control Systems (ICS) may have catastrophic consequences on human lives and the environment. Hence, it is imperative to have resilient tools and mechanisms to protect ICS. ...

IoT Security and Safety Testing Toolkits for Water Distribution Systems (Sean O'Toole, Cameron Sewell and Hoda Mehrpouyan) 2021 8th International Conference on Internet of Things: Systems, Management and Security (IOTSMS) (2021)

Due to the critical importance of Industrial Control Systems (ICS) to the operations of cities and countries, research into the security of critical infrastructure has become increasingly relevant and necessary. As a component of both ...

Modeling of Personalized Privacy Disclosure Behavior: A Formal Method Approach (A. K. M. Nuhil Mehdy and Hoda Mehrpouyan) ARES '21: Proceedings of the 16th International Conference on Availability, Reliability and Security (2021)

In order to create user-centric and personalized privacy management tools, the underlying models must account for individual users’ privacy expectations, preferences, and their ability to control their information sharing activities. Existing studies of users’ privacy ...

A User-Centric and Sentiment Aware Privacy-Disclosure Detection Framework Based on Multi-Input Neural Network (A. K. M. Nuhil Mehdy and Hoda Mehrpouyan) CEUR Workshop Proceedings (2020)

Data and information privacy is a major concern of today’s world. More specifically, users’ digital privacy has become one of the most important issues to deal with, as advancements are being made in information sharing ...

An Operational Resilience Metric for Modern Power Distribution Systems (Tyler Phillips, Timothy McJunkin, Craig Rieger, et al.) 2020 IEEE 20th International Conference on Software Quality, Reliability and Security Companion (QRS-C) (2020)

The electrical power system is the backbone of our nations critical infrastructure. It has been designed to withstand single component failures based on a set of reliability metrics which have proven acceptable during normal operating ...

"Anon What What?": Children's Understanding of the Language of Privacy (Stacy Black, Rezvan Joshaghani, Dhanush Kumar Ratakonda, et al.) IDC '19: Proceedings of the 18th ACM International Conference on Interaction Design and Children (2019)

Internet usage continues to increase among children ages 12 and younger. Because their digital interactions can be persistently stored, there is a need for building an understanding and foundational knowledge of privacy. We describe initial ...

A Covert System Identification Attack on Constant Setpoint Control Systems (Tyler Phillips, Hoda Mehrpouyan, John Gardner, et al.) 2019 Seventh International Symposium on Computing and Networking Workshops (CANDARW) (2019)

Industrial Control Systems (ICS) are the brain and backbone of nation's critical infrastructure such as nuclear power, water treatment, and petrochemical plants. In order to increase interoperability, real-time availability of data, and flexibility, information/communication technologies ...

Design Resilience of Demand Response Systems Utilizing Locally Communicating Thermostatically Controlled Loads (Jason Kuwada, Hoda Mehrpouyan and John F. Gardner) Conference Proceedings: International Mechanical and Engineering Congress & Exposition (2019)

Thermostatically Controlled Loads (TCLs) have shown great potential for Demand Response (DR) events. The focus of this study is to investigate the effects of adding communication throughout a population of TCLs on the resilience of ...

Formal Specification and Verification of User-Centric Privacy Policies for Ubiquitous Systems (Rezvan Joshaghani, Stacy Black, Elena Sherman, et al.) IDEAS '19: Proceedings of the 23rd International Database Applications & Engineering Symposium (2019)

As our society has become more information oriented, each individual is expressed, defined, and impacted by information and information technology. While valuable, the current state-of-the-art mostly are designed to protect the enterprise/ organizational privacy requirements ...

Framework for Detecting Control Command Injection Attacks on Industrial Control Systems (ICS) (Farhad Rasapour, Edoardo Serra and Hoda Mehrpouyan) Proceedings: 2019 Seventh International Symposium on Computing and Netowrking (2019)

This paper focuses on the design and development of attack models on the sensory channels and an Intrusion Detection system (IDS) to protect the system from these types of attacks. The encoding/decoding formulas are defined ...

Privacy Disclosures Detection in Natural-Language Text Through Linguistically-Motivated Artificial Neural Networks (Nuhil Mehdy, Casey Kennington and Hoda Mehrpouyan) SPNCE 2019: Security and Privacy in New Computing Environments (2019)

An increasing number of people are sharing information through text messages, emails, and social media without proper privacy checks. In many situations, this could lead to serious privacy threats. This paper presents a methodology for ...

Exploring Author Gender in Book Rating and Recommendation (Michael D. Ekstrand, Mucun Tian, Mohammed R. Imran Kazi, et al.) RecSys '18: Proceedigns of the 12th ACM Conference on Recommender Systems (2018)

Collaborative filtering algorithms find useful patterns in rating and consumption data and exploit these patterns to guide users to good items. Many of the patterns in rating datasets reflect important real-world differences between the various ...

Misusing Sensory Channel to Attack Industrial Control Systems (Farhad Rasapour and Hoda Mehrpouyan) CODASPY '18: Proceedings of the Eighth ACM Conference on Data and Application Security and Privacy (2018)

Industrial control systems (ICS) are used to control and manage critical infrastructures and protecting these complex system and their interfaces, which can be exploited by internal and external attackers, are a vital security task. Sensors, ...

Model Checking of Security Properties in Industrial Control Systems (ICS) (Roshan Shrestha, Hoda Mehrpouyan and Dianxiang Xu) CODASPY '18: Proceedings of the Eighth ACM Conference on Data and Application Security and Privacy (2018)

With the increasing inter-connection of operation technology to the IT network, the security threat to the Industrial Control System (ICS) is increasing daily. Therefore, it is critical to utilize formal verification technique such as model ...

A Model-Checking Approach for Enforcing Purpose-Based Privacy Policies (Rezvan Joshaghani and Hoda Mehrpouyan) Proceedings: 2017 IEEE Symposium on Privacy-Aware Computing: PAC 2017 (2017)

With the growth of Internet in many different aspects of life, users are required to share private information more than ever. Hence, users need a privacy management tool that can enforce complex and customized privacy ...

Measuring Personality for Automatic Elicitation of Privacy Preferences (Hoda Mehrpouyan, Ion Madrazo Azpiazu and Maria Soledad Pera) Proceedings: 2017 IEEE Symposium on Privacy-Aware Computing: PAC 2017 (2017)

The increasing complexity and ubiquity in user connectivity, computing environments, information content, and software, mobile, and web applications transfers the responsibility of privacy management to the individuals. Hence, making it extremely difficult for users to ...

Modeling Human Behavior to Anticipate Insider Attacks via System Dynamics (David Ackerman and Hoda Mehrpouyan) Proceedings of IEEE on Theory of Modeling and Simulation 2016 (2016)

Security Analysis of Cyber-Physical Systems Through System Dynamics (Hoda Mehrpouyan) Proceedings of ACM SIGSIM on Principles of Advanced Discrete Simulation 2016 (2016)

Model-Based Failure Identification and Propagation Framework for the Design of Hybrid Systems (Hoda Mehrpouyan) Prognostics and Health Management (PHM) Society Conference (2012)