​
Login / Signup
Carmen Cheh
ORCID
Publication Activity (10 Years)
Years Active: 2012-2023
Publications (10 Years): 14
Top Topics
Business Logic
Cyber Physical
Intrusion Detection
Cyber Security
Top Venues
SecDev
PRDC
SRDS
SEGS@CCS
</>
Publications
</>
William G. Temple
,
Yue Wu
,
Carmen Cheh
,
Yuan Li
,
Binbin Chen
,
Zbigniew T. Kalbarczyk
,
William H. Sanders
,
David Nicol
CyberSAGE: The cyber security argument graph evaluation tool.
Empir. Softw. Eng.
28 (1) (2023)
Utku Tefek
,
Ertem Esiner
,
Carmen Cheh
,
Daisuke Mashima
A Smart Grid Ontology: Vulnerabilities, Attacks, and Security Policies.
CNS
(2023)
Carmen Cheh
,
Nicholas Tay
,
Binbin Chen
From Hindsight to Foresight: Enhancing Design Artifacts for Business Logic Flaw Discovery.
ACSAC
(2022)
Carmen Cheh
,
Nicholas Tay
,
Binbin Chen
Design and User Study of a Constraint-based Framework for Business Logic Flaw Discovery.
SecDev
(2022)
Heng Chuan Tan
,
Carmen Cheh
,
Binbin Chen
CoToRu: Automatic Generation of Network Intrusion Detection Rules from Code.
INFOCOM
(2022)
Vincent Tan
,
Carmen Cheh
,
Binbin Chen
From Application Security Verification Standard (ASVS) to Regulation Compliance: A Case Study in Financial Services Sector.
ISSRE Workshops
(2021)
Carmen Cheh
,
Binbin Chen
Analyzing OpenAPI Specifications for Security Design Issues.
SecDev
(2021)
Carmen Cheh
,
Binbin Chen
,
William G. Temple
,
William H. Sanders
Modeling Adversarial Physical Movement in a Railway Station: Classification and Metrics.
ACM Trans. Cyber Phys. Syst.
4 (1) (2020)
Carmen Cheh
,
Uttam Thakore
,
Binbin Chen
,
William G. Temple
,
William H. Sanders
Leveraging Physical Access Logs to Identify Tailgating: Limitations and Solutions.
EDCC
(2019)
Carmen Cheh
,
Uttam Thakore
,
Ahmed M. Fawaz
,
Binbin Chen
,
William G. Temple
,
William H. Sanders
Data-driven Model-based Detection of Malicious Insiders via Physical Access Logs.
ACM Trans. Model. Comput. Simul.
29 (4) (2019)
Carmen Cheh
,
Ahmed M. Fawaz
,
Mohammad A. Noureddine
,
Binbin Chen
,
William G. Temple
,
William H. Sanders
Determining Tolerable Attack Surfaces that Preserves Safety of Cyber-Physical Systems.
PRDC
(2018)
Carmen Cheh
,
Ken Keefe
,
Brett Feddersen
,
Binbin Chen
,
William G. Temple
,
William H. Sanders
Developing Models for Physical Attacks in Cyber-Physical Systems.
CPS-SPC@CCS
(2017)
Carmen Cheh
,
Binbin Chen
,
William G. Temple
,
William H. Sanders
Data-Driven Model-Based Detection of Malicious Insiders via Physical Access Logs.
QEST
(2017)
Ahmed M. Fawaz
,
Atul Bohara
,
Carmen Cheh
,
William H. Sanders
Lateral Movement Detection Using Distributed Data Fusion.
SRDS
(2016)
Carmen Cheh
,
Gabriel A. Weaver
,
William H. Sanders
Cyber-Physical Topology Language: Definition, Operations, and Application.
PRDC
(2015)
Gabriel A. Weaver
,
Carmen Cheh
,
Edmond Rogers
,
William H. Sanders
,
Dennis Gammel
Toward a cyber-physical topology language: applications to NERC CIP audit.
SEGS@CCS
(2013)
Vrizlynn L. L. Thing
,
Yu Chen
,
Carmen Cheh
An Improved Double Compression Detection Method for JPEG Image Forensics.
ISM
(2012)