An Empirical Study of TCP Vulnerabilities in Critical Power System Devices. - David Formby; Sang Shin Jung; John A. Copeland; Raheem A. Beyah (SEGS@CCS, 2014)

Towards Secure Metering Data Analysis via Distributed Differential Privacy. - Xiaojing Liao; David Formby; Carson Day; Raheem A. Beyah (DSN, 2014)

A physical overlay framework for insider threat mitigation of power system devices. - David Formby; Sang Shin Jung; Seth Walters; Raheem A. Beyah (SmartGridComm, 2014)

A first look at machine-to-machine power grid network traffic. - Sang Shin Jung; David Formby; Carson Day; Raheem A. Beyah (SmartGridComm, 2014)

Who's in Control of Your Control System? Device Fingerprinting for Cyber-Physical Systems. - David Formby; Preethi Srinivasan; Andrew M. Leonard; Jonathan D. Rogers; Raheem A. Beyah (NDSS, 2016)

Rethinking the Honeypot for Cyber-Physical Systems. - Samuel Litchfield; David Formby; Jonathan D. Rogers; A. P. Sakis Meliopoulos; Raheem A. Beyah (IEEE Internet Comput., 2016)

A Case Study in Power Substation Network Dynamics. - David Formby; Anwar Walid; Raheem A. Beyah (Proc. ACM Meas. Anal. Comput. Syst., 2017)

Lowering the Barriers to Industrial Control System Security with GRFICS. - David Formby; Milad Rad; Raheem A. Beyah (ASE @ USENIX Security Symposium, 2018)

Fingerprinting for Cyber-Physical System Security: Device Physics Matters Too. - Qinchen Gu; David Formby; Shouling Ji; Hasan Cam; Raheem A. Beyah (IEEE Secur. Priv., 2018)

HoneyBot: A Honeypot for Robotic Systems. - Celine Irvene; David Formby; Samuel Litchfield; Raheem A. Beyah (Proc. IEEE, 2018)

If I Knew Then What I Know Now: On Reevaluating DNP3 Security using Power Substation Traffic. - Celine Irvene; Tohid Shekari; David Formby; Raheem Beyah (ICSS, 2019)

On Evaluating the Effectiveness of the HoneyBot: A Case Study. - Celine Irvene; David Formby; Raheem Beyah (CoRR, 2019)

Di-PriDA: Differentially Private Distributed Load Balancing Control for the Smart Grid. - Xiaojing Liao; Preethi Srinivasan; David Formby; Raheem A. Beyah (IEEE Trans. Dependable Secur. Comput., 2019)

Network Based Fingerprinting Techniques for Industrial Control Systems. - David Formby (2019)

Temporal Execution Behavior for Host Anomaly Detection in Programmable Logic Controllers. - David Formby; Raheem Beyah (IEEE Trans. Inf. Forensics Secur., 2020)

This Hacker Knows Physics: Device Physics Aware Mimicry Attacks in Cyber-Physical Systems. - Qinchen Gu; David Formby; Shouling Ji; Brendan Saltaformaggio; Anu G. Bourgeois; Raheem Beyah (IEEE Trans. Dependable Secur. Comput., 2022)