Hoda Mehrpouyan

37 papers A 3B 1C 1Misc 2Journal 9Unranked 21

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	A Robust Hybrid Framework Combining Deductive Temporal Logic and Machine Learning for Fault and Cyber-Attack Detection in the Tennessee Eastman Process. ARES (Workshops 1) Hoda Mehrpouyan
2025	—	`conf`	Enhancing Resilience in Industrial Control Systems: Rapid Attack Detection, Recovery, and Monotonicity Preservation Through STL-GT Online Monitoring. TPS-ISA Chidi Agbo, Hoda Mehrpouyan
2025	Misc	`conf`	Fault Tolerance vs. Attack Detection in Industrial Control Systems: A Deep Learning Approach. CSR Hoda Mehrpouyan
2024	—	`conf`	Towards Cyber-Physical Representation and Cyber-Resilience Against Attack and Failure within a Hydraulic Network Simulation Toolkit. SP (Workshops) Sean O'Toole, Hoda Mehrpouyan
2023	—	`conf`	Achieving Cyber-Informed Engineering Through Bayesian Belief Network and Sensitivity Analysis. DSA Chidi Agbo, Hoda Mehrpouyan
2023	—	`conf`	Benchmarks for the Verification of Safety and Security Properties of PLC Programs in Cooperative Verification Environments. ICISE Chibuzo Ukegbu, Hoda Mehrpouyan
2023	J	`jnl`	Conflict Analysis and Resolution of Safety and Security Boundary Conditions for Industrial Control Systems. CoRR Chidi Agbo, Hoda Mehrpouyan
2023	—	`conf`	Cooperative Verification of PLC Programs Using CoVeriTeam: Towards a reliable and secure Industrial Control Systems. CPS-IoT Week Workshops Chibuzo Ukegbu, Hoda Mehrpouyan
2023	—	`conf`	Ontology-based Framework for Boundary Verification of Safety and Security Properties in Industrial Control Systems. EICC Chibuzo Ukegbu, Ramesh Neupane, Hoda Mehrpouyan
2023	—	`conf`	Resilience of Industrial Control Systems Using Signal Temporal Logic And Autotuning Mechanism. DASC/PiCom/CBDCom/CyberSciTech Chidi Agbo, Hoda Mehrpouyan
2022	J	`jnl`	"Pictures are easier to remember than spellings!": Designing and evaluating KidsPic - A graphical image-based authentication mechanism. Int. J. Child Comput. Interact. Dhanush kumar Ratakonda, Hoda Mehrpouyan, Jerry Alan Fails
2022	A	`conf`	An Ontology-Based Framework for Formal Verification of Safety and Security Properties of Control Logics. ECAI Ramesh Neupane, Hoda Mehrpouyan
2022	—	`conf`	Conflict Analysis and Resolution of Safety and Security Boundary Conditions for Industrial Control Systems. ICSRS Chidi Agbo, Hoda Mehrpouyan
2022	—	`conf`	Connecting Incident Reporting Infrastructure to Election Day Proceedings. CyberICPS/SECPRE/SPOSE/CPS4CIP/CDT&SECOMAN/EIS/SecAssure@ESORICS Kamryn Parker, Hoda Mehrpouyan, Jaclyn J. Kettler, Chad Houck
2021	J	`jnl`	A Multi-input Multi-output Transformer-based Hybrid Neural Network for Multi-class Privacy Disclosure Detection. CoRR A. K. M. Nuhil Mehdy, Hoda Mehrpouyan
2021	—	`conf`	IoT Security and Safety Testing Toolkits for Water Distribution Systems. IOTSMS Sean O'Toole, Cameron Sewell, Hoda Mehrpouyan
2021	J	`jnl`	IoT Security and Safety Testing Toolkits for Water Distribution Systems. CoRR Sean O'Toole, Cameron Sewell, Hoda Mehrpouyan
2021	B	`conf`	Modeling of Personalized Privacy Disclosure Behavior: A Formal Method Approach. ARES A. K. M. Nuhil Mehdy, Hoda Mehrpouyan
2021	J	`jnl`	Modeling of Personalized Privacy Disclosure Behavior: A Formal Method Approach. CoRR A. K. M. Nuhil Mehdy, Hoda Mehrpouyan
2021	A	`conf`	Privacy as a Planned Behavior: Effects of Situational Factors on Privacy Perceptions and Plans. UMAP A. K. M. Nuhil Mehdy, Michael D. Ekstrand, Bart P. Knijnenburg, Hoda Mehrpouyan
2021	J	`jnl`	Privacy as a Planned Behavior: Effects of Situational Factors on Privacy Perceptions and Plans. CoRR A. K. M. Nuhil Mehdy, Michael D. Ekstrand, Bart P. Knijnenburg, Hoda Mehrpouyan
2020	—	`conf`	A User-Centric and Sentiment Aware Privacy-Disclosure Detection Framework based on Multi-input Neural Network. PrivateNLP@WSDM A. K. M. Nuhil Mehdy, Hoda Mehrpouyan
2020	—	`conf`	An Operational Resilience Metric for Modern Power Distribution Systems. QRS Companion Tyler Phillips, Timothy McJunkin, Craig Rieger, John Gardner, Hoda Mehrpouyan
2019	—	`conf`	A Covert System Identification Attack on Constant Setpoint Control Systems. CANDAR Workshops Tyler Phillips, Hoda Mehrpouyan, John Gardner, Stephen Reese
2019	Misc	`conf`	Anon what what?: Children's Understanding of the Language of Privacy. IDC Stacy Black, Rezvan Joshaghani, Dhanush kumar Ratakonda, Hoda Mehrpouyan, Jerry Alan Fails
2019	C	`conf`	Formal specification and verification of user-centric privacy policies for ubiquitous systems. IDEAS Rezvan Joshaghani, Stacy Black, Elena Sherman, Hoda Mehrpouyan
2019	—	`conf`	Framework for Detecting Control Command Injection Attacks on Industrial Control Systems (ICS). CANDAR Farhad Rasapour, Edoardo Serra, Hoda Mehrpouyan
2018	J	`jnl`	Exploring Author Gender in Book Rating and Recommendation. CoRR Michael D. Ekstrand, Mucun Tian, Mohammed R. Imran Kazi, Hoda Mehrpouyan, Daniel Kluver
2018	A	`conf`	Exploring author gender in book rating and recommendation. RecSys Michael D. Ekstrand, Mucun Tian, Mohammed R. Imran Kazi, Hoda Mehrpouyan, Daniel Kluver
2018	—	`conf`	Misusing Sensory Channel to Attack Industrial Control Systems. CODASPY Farhad Rasapour, Hoda Mehrpouyan
2018	—	`conf`	Model Checking of Security Properties in Industrial Control Systems (ICS). CODASPY Roshan Shrestha, Hoda Mehrpouyan, Dianxiang Xu
2018	—	`conf`	Privacy for All: Ensuring Fair and Equitable Privacy Protections. FAT Michael D. Ekstrand, Rezvan Joshaghani, Hoda Mehrpouyan
2017	—	`conf`	A Model-Checking Approach for Enforcing Purpose-Based Privacy Policies. PAC Rezvan Joshaghani, Hoda Mehrpouyan
2017	—	`conf`	Measuring Personality for Automatic Elicitation of Privacy Preferences. PAC Hoda Mehrpouyan, Ion Madrazo Azpiazu, Maria Soledad Pera
2016	J	`jnl`	Complex Engineered Systems Design Verification Based on Assume-Guarantee Reasoning. Syst. Eng. Hoda Mehrpouyan, Dimitra Giannakopoulou, Guillaume Brat, Irem Y. Tumer, Chris Hoyle
2016	—	`conf`	Modeling human behavior to anticipate insider attacks via system dynamics. SpringSim (TMS-DEVS) David Ackerman, Hoda Mehrpouyan
2015	J	`jnl`	Resiliency analysis for complex engineered system design. Artif. Intell. Eng. Des. Anal. Manuf. Hoda Mehrpouyan, Brandon Haley, Andy Dong, Irem Y. Tumer, Christopher Hoyle