Carmen Cheh

According to our database, Carmen Cheh authored at least 18 papers between 2012 and 2023.

Collaborative distances:

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

2023

CyberSAGE: The cyber security argument graph evaluation tool.

William G. Temple, Yue Wu, Carmen Cheh, Yuan Li, Binbin Chen, Zbigniew T. Kalbarczyk, William H. Sanders, David M. Nicol

Empir. Softw. Eng., 2023

A Smart Grid Ontology: Vulnerabilities, Attacks, and Security Policies.

Utku Tefek, Ertem Esiner, Carmen Cheh, Daisuke Mashima

Proceedings of the IEEE Conference on Communications and Network Security, 2023

2022

Design and User Study of a Constraint-based Framework for Business Logic Flaw Discovery.

Carmen Cheh, Nicholas Tay, Binbin Chen

Proceedings of the IEEE Secure Development Conference, 2022

CoToRu: Automatic Generation of Network Intrusion Detection Rules from Code.

Heng Chuan Tan, Carmen Cheh, Binbin Chen

Proceedings of the IEEE INFOCOM 2022, 2022

From Hindsight to Foresight: Enhancing Design Artifacts for Business Logic Flaw Discovery.

Carmen Cheh, Nicholas Tay, Binbin Chen

Proceedings of the Annual Computer Security Applications Conference, 2022

2021

Analyzing OpenAPI Specifications for Security Design Issues.

Carmen Cheh, Binbin Chen

Proceedings of the IEEE Secure Development Conference, 2021

From Application Security Verification Standard (ASVS) to Regulation Compliance: A Case Study in Financial Services Sector.

Vincent Tan, Carmen Cheh, Binbin Chen

Proceedings of the IEEE International Symposium on Software Reliability Engineering, 2021

2020

Modeling Adversarial Physical Movement in a Railway Station: Classification and Metrics.

Carmen Cheh, Binbin Chen, William G. Temple, William H. Sanders

ACM Trans. Cyber Phys. Syst., 2020

2019

Protecting critical infrastructure systems using cyber, physical, and socio-technical models

Carmen Cheh

PhD thesis, 2019

Data-driven Model-based Detection of Malicious Insiders via Physical Access Logs.

Carmen Cheh, Uttam Thakore, Ahmed M. Fawaz, Binbin Chen, William G. Temple, William H. Sanders

ACM Trans. Model. Comput. Simul., 2019

Leveraging Physical Access Logs to Identify Tailgating: Limitations and Solutions.

Carmen Cheh, Uttam Thakore, Binbin Chen, William G. Temple, William H. Sanders

Proceedings of the 15th European Dependable Computing Conference, 2019

2018

Determining Tolerable Attack Surfaces that Preserves Safety of Cyber-Physical Systems.

Carmen Cheh, Ahmed M. Fawaz, Mohammad A. Noureddine, Binbin Chen, William G. Temple, William H. Sanders

Proceedings of the 23rd IEEE Pacific Rim International Symposium on Dependable Computing, 2018

2017

Data-Driven Model-Based Detection of Malicious Insiders via Physical Access Logs.

Carmen Cheh, Binbin Chen, William G. Temple, William H. Sanders

Proceedings of the Quantitative Evaluation of Systems - 14th International Conference, 2017

Developing Models for Physical Attacks in Cyber-Physical Systems.

Carmen Cheh, Ken Keefe, Brett Feddersen, Binbin Chen, William G. Temple, William H. Sanders

Proceedings of the 2017 Workshop on Cyber-Physical Systems Security and PrivaCy, 2017

2016

Lateral Movement Detection Using Distributed Data Fusion.

Ahmed M. Fawaz, Atul Bohara, Carmen Cheh, William H. Sanders

Proceedings of the 35th IEEE Symposium on Reliable Distributed Systems, 2016

2015

Cyber-Physical Topology Language: Definition, Operations, and Application.

Carmen Cheh, Gabriel A. Weaver, William H. Sanders

Proceedings of the 21st IEEE Pacific Rim International Symposium on Dependable Computing, 2015

2013

Toward a cyber-physical topology language: applications to NERC CIP audit.

Gabriel A. Weaver, Carmen Cheh, Edmond Rogers, William H. Sanders, Dennis Gammel

Proceedings of the SEGS'13, 2013

2012

An Improved Double Compression Detection Method for JPEG Image Forensics.

Vrizlynn L. L. Thing, Yu Chen, Carmen Cheh

Proceedings of the 2012 IEEE International Symposium on Multimedia, 2012