An Improved Double Compression Detection Method for JPEG Image Forensics. - Vrizlynn L. L. Thing; Yu Chen; Carmen Cheh (ISM, 2012)

Toward a cyber-physical topology language: applications to NERC CIP audit. - Gabriel A. Weaver; Carmen Cheh; Edmond Rogers; William H. Sanders; Dennis Gammel (SEGS@CCS, 2013)

Cyber-Physical Topology Language: Definition, Operations, and Application. - Carmen Cheh; Gabriel A. Weaver; William H. Sanders (PRDC, 2015)

Lateral Movement Detection Using Distributed Data Fusion. - Ahmed M. Fawaz; Atul Bohara; Carmen Cheh; William H. Sanders (SRDS, 2016)

Developing Models for Physical Attacks in Cyber-Physical Systems. - Carmen Cheh; Ken Keefe; Brett Feddersen; Binbin Chen 001; William G. Temple; William H. Sanders (CPS-SPC@CCS, 2017)

Data-Driven Model-Based Detection of Malicious Insiders via Physical Access Logs. - Carmen Cheh; Binbin Chen 001; William G. Temple; William H. Sanders (QEST, 2017)

Determining Tolerable Attack Surfaces that Preserves Safety of Cyber-Physical Systems. - Carmen Cheh; Ahmed M. Fawaz; Mohammad A. Noureddine; Binbin Chen 001; William G. Temple; William H. Sanders (PRDC, 2018)

Leveraging Physical Access Logs to Identify Tailgating: Limitations and Solutions. - Carmen Cheh; Uttam Thakore; Binbin Chen 001; William G. Temple; William H. Sanders (EDCC, 2019)

Data-driven Model-based Detection of Malicious Insiders via Physical Access Logs. - Carmen Cheh; Uttam Thakore; Ahmed M. Fawaz; Binbin Chen 001; William G. Temple; William H. Sanders (ACM Trans. Model. Comput. Simul., 2019)

Protecting critical infrastructure systems using cyber, physical, and socio-technical models - Carmen Cheh (2019)

Modeling Adversarial Physical Movement in a Railway Station: Classification and Metrics. - Carmen Cheh; Binbin Chen 001; William G. Temple; William H. Sanders (ACM Trans. Cyber Phys. Syst., 2020)

From Application Security Verification Standard (ASVS) to Regulation Compliance: A Case Study in Financial Services Sector. - Vincent Tan; Carmen Cheh; Binbin Chen 001 (ISSRE Workshops, 2021)

Analyzing OpenAPI Specifications for Security Design Issues. - Carmen Cheh; Binbin Chen 001 (SecDev, 2021)

From Hindsight to Foresight: Enhancing Design Artifacts for Business Logic Flaw Discovery. - Carmen Cheh; Nicholas Tay; Binbin Chen 001 (ACSAC, 2022)

CoToRu: Automatic Generation of Network Intrusion Detection Rules from Code. - Heng Chuan Tan; Carmen Cheh; Binbin Chen 001 (INFOCOM, 2022)

Design and User Study of a Constraint-based Framework for Business Logic Flaw Discovery. - Carmen Cheh; Nicholas Tay; Binbin Chen 001 (SecDev, 2022)

A Smart Grid Ontology: Vulnerabilities, Attacks, and Security Policies. - Utku Tefek; Ertem Esiner; Carmen Cheh; Daisuke Mashima (CNS, 2023)

CyberSAGE: The cyber security argument graph evaluation tool. - William G. Temple; Yue Wu; Carmen Cheh; Yuan Li; Binbin Chen 001; Zbigniew T. Kalbarczyk; William H. Sanders; David M. Nicol (Empir. Softw. Eng., 2023)

Generating Abuse Stories and Misuse Cases using Large Language Models. - Carmen Cheh; Nan Shing Kham Shing; Reuben Lim; Binbin Chen 001 (ACSAC Workshops, 2024)

Water Supply System Dataset: Non-Invasive Sensor Data for Smart Water Pumps. - Carmen Cheh; Aaron Han Yen Tay; Zhen Wei Ng; Binbin Chen 001; Xin Lou; Zaki Masood; David K. Y. Yau (BuildSys, 2024)

Water Pump Operation Optimization under Dynamic Market and Consumer Behaviour. - Carmen Cheh; Justin Albrethsen; Zhen Wei Ng; Binbin Chen 001; Xin Lou; Zaki Masood; David K. Y. Yau (e-Energy, 2024)

Lowering the Barrier: An Automatic Attack Flow Generation Framework for Non-Security Experts. - Carmen Cheh; Nan Shing Kham Shing; Edwin Ching Jitt Ang; Binbin Chen 001; Desmond Cher; Frank Liauw; Reuben Liang Yi Lim (FPS (1), 2024)

Repairing Infrastructure-as-Code using Large Language Models. - En Low; Carmen Cheh; Binbin Chen 001 (SecDev, 2024)

Optimizing Operation of Automated Waste Collection Systems in Smart Communities. - Zaki Masood; Carmen Cheh; Zhen Wei Ng; Binbin Chen 001; Xin Lou; David K. Y. Yau (SmartCity, 2024)

Water Pump Dataset for a Water Supply System. - Carmen Cheh; Aaron Han Yen Tay; Zhen Wei Ng; Binbin Chen 001; Xin Lou; Zaki Masood; David K. Y. Yau (Zenodo, 2024)