48 citations · 50 across the 3 of their papers we have counts for
13 papers
Adversarial Attacks and Mitigation for Anomaly Detectors of Cyber-Physical Systems
Yifan Jia, Jingyi Wang, Christopher M. Poskitt +3
The threats faced by cyber-physical systems (CPSs) in critical infrastructure have motivated research into a multitude of attack detection mechanisms, including anomaly detectors b…
Securing Autonomous Service Robots through Fuzzing, Detection, and Mitigation
Chundong Wang, Yee Ching Tok, Rohini Poolat +2
Autonomous service robots share social spaces with humans, usually working together for domestic or professional tasks. Cyber security breaches in such robots undermine the trust b…
STITCHER: Correlating Digital Forensic Evidence on Internet-of-Things Devices
Yee Ching Tok, Chundong Wang, Sudipta Chattopadhyay
The increasing adoption of Internet-of-Things (IoT) devices present new challenges to digital forensic investigators and law enforcement agencies when investigation into cybercrime…
Callisto: Entropy based test generation and data quality assessment for Machine Learning Systems
Sakshi Udeshi, Xingbin Jiang, Sudipta Chattopadhyay
Machine Learning (ML) has seen massive progress in the last decade and as a result, there is a pressing need for validating ML-based systems. To this end, we propose, design and ev…
Circ-Tree: A B+-Tree Variant with Circular Design for Persistent Memory
Chundong Wang, Gunavaran Brihadiswarn, Xingbin Jiang +1
Several B+-tree variants have been developed to exploit the performance potential of byte-addressable non-volatile memory (NVM). In this paper, we attentively investigate the prope…
Systematic Classification of Attackers via Bounded Model Checking
Eric Rothstein-Morris, Sun Jun, Sudipta Chattopadhyay
In this work, we study the problem of verification of systems in the presence of attackers using bounded model checking. Given a system and a set of security requirements, we prese…