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)

Modeling human behavior to anticipate insider attacks via system dynamics. - David Ackerman; Hoda Mehrpouyan (SpringSim (TMS-DEVS), 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)

A Model-Checking Approach for Enforcing Purpose-Based Privacy Policies. - Rezvan Joshaghani; Hoda Mehrpouyan (PAC, 2017)

Measuring Personality for Automatic Elicitation of Privacy Preferences. - Hoda Mehrpouyan; Ion Madrazo Azpiazu; Maria Soledad Pera (PAC, 2017)

Misusing Sensory Channel to Attack Industrial Control Systems. - Farhad Rasapour; Hoda Mehrpouyan (CODASPY, 2018)

Model Checking of Security Properties in Industrial Control Systems (ICS). - Roshan Shrestha; Hoda Mehrpouyan; Dianxiang Xu (CODASPY, 2018)

Privacy for All: Ensuring Fair and Equitable Privacy Protections. - Michael D. Ekstrand; Rezvan Joshaghani; Hoda Mehrpouyan (FAT, 2018)

Exploring author gender in book rating and recommendation. - Michael D. Ekstrand; Mucun Tian; Mohammed R. Imran Kazi; Hoda Mehrpouyan; Daniel Kluver (RecSys, 2018)

Anon what what?: Children's Understanding of the Language of Privacy. - Stacy Black; Rezvan Joshaghani; Dhanush kumar Ratakonda; Hoda Mehrpouyan; Jerry Alan Fails (IDC, 2019)

A Covert System Identification Attack on Constant Setpoint Control Systems. - Tyler Phillips 002; Hoda Mehrpouyan; John Gardner; Stephen Reese (CANDAR Workshops, 2019)

Framework for Detecting Control Command Injection Attacks on Industrial Control Systems (ICS). - Farhad Rasapour; Edoardo Serra; Hoda Mehrpouyan (CANDAR, 2019)

Formal specification and verification of user-centric privacy policies for ubiquitous systems. - Rezvan Joshaghani; Stacy Black; Elena Sherman; Hoda Mehrpouyan (IDEAS, 2019)

An Operational Resilience Metric for Modern Power Distribution Systems. - Tyler Phillips 002; Timothy McJunkin; Craig Rieger; John Gardner; Hoda Mehrpouyan (QRS Companion, 2020)

A User-Centric and Sentiment Aware Privacy-Disclosure Detection Framework based on Multi-input Neural Network. - A. K. M. Nuhil Mehdy; Hoda Mehrpouyan (PrivateNLP@WSDM, 2020)

Modeling of Personalized Privacy Disclosure Behavior: A Formal Method Approach. - A. K. M. Nuhil Mehdy; Hoda Mehrpouyan (ARES, 2021)

IoT Security and Safety Testing Toolkits for Water Distribution Systems. - Sean O'Toole; Cameron Sewell; Hoda Mehrpouyan (IOTSMS, 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 (UMAP, 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)

An Ontology-Based Framework for Formal Verification of Safety and Security Properties of Control Logics. - Ramesh Neupane; Hoda Mehrpouyan (ECAI, 2022)

Connecting Incident Reporting Infrastructure to Election Day Proceedings. - Kamryn Parker; Hoda Mehrpouyan; Jaclyn J. Kettler; Chad Houck (CyberICPS/SECPRE/SPOSE/CPS4CIP/CDT&SECOMAN/EIS/SecAssure@ESORICS, 2022)

Conflict Analysis and Resolution of Safety and Security Boundary Conditions for Industrial Control Systems. - Chidi Agbo; Hoda Mehrpouyan (ICSRS, 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)

Cooperative Verification of PLC Programs Using CoVeriTeam: Towards a reliable and secure Industrial Control Systems. - Chibuzo Ukegbu; Hoda Mehrpouyan (CPS-IoT Week Workshops, 2023)

Resilience of Industrial Control Systems Using Signal Temporal Logic And Autotuning Mechanism. - Chidi Agbo; Hoda Mehrpouyan (DASC/PiCom/CBDCom/CyberSciTech, 2023)

Achieving Cyber-Informed Engineering Through Bayesian Belief Network and Sensitivity Analysis. - Chidi Agbo; Hoda Mehrpouyan (DSA, 2023)

Ontology-based Framework for Boundary Verification of Safety and Security Properties in Industrial Control Systems. - Chibuzo Ukegbu; Ramesh Neupane; Hoda Mehrpouyan (EICC, 2023)

Benchmarks for the Verification of Safety and Security Properties of PLC Programs in Cooperative Verification Environments. - Chibuzo Ukegbu; Hoda Mehrpouyan (ICISE, 2023)

Towards Cyber-Physical Representation and Cyber-Resilience Against Attack and Failure within a Hydraulic Network Simulation Toolkit. - Sean O'Toole; Hoda Mehrpouyan (SP (Workshops), 2024)

A Robust Hybrid Framework Combining Deductive Temporal Logic and Machine Learning for Fault and Cyber-Attack Detection in the Tennessee Eastman Process. - Hoda Mehrpouyan (ARES (Workshops 1), 2025)