David Formby

17 papers A* 1A 1Journal 8Unranked 6
YearRankTypeTitle / Venue / Authors
2022 J jnl
This Hacker Knows Physics: Device Physics Aware Mimicry Attacks in Cyber-Physical Systems.
IEEE Trans. Dependable Secur. Comput.
Qinchen Gu, David Formby, Shouling Ji, Brendan Saltaformaggio, Anu G. Bourgeois, Raheem Beyah
2020 J jnl
Temporal Execution Behavior for Host Anomaly Detection in Programmable Logic Controllers.
IEEE Trans. Inf. Forensics Secur.
David Formby, Raheem Beyah
2019 J jnl
Di-PriDA: Differentially Private Distributed Load Balancing Control for the Smart Grid.
IEEE Trans. Dependable Secur. Comput.
Xiaojing Liao, Preethi Srinivasan, David Formby, Raheem A. Beyah
2019 — conf
If I Knew Then What I Know Now: On Reevaluating DNP3 Security using Power Substation Traffic.
ICSS
Celine Irvene, Tohid Shekari, David Formby, Raheem Beyah
2019 — —
Network Based Fingerprinting Techniques for Industrial Control Systems.
David Formby
2019 J jnl
On Evaluating the Effectiveness of the HoneyBot: A Case Study.
CoRR
Celine Irvene, David Formby, Raheem Beyah
2018 J jnl
Fingerprinting for Cyber-Physical System Security: Device Physics Matters Too.
IEEE Secur. Priv.
Qinchen Gu, David Formby, Shouling Ji, Hasan Cam, Raheem A. Beyah
2018 J jnl
HoneyBot: A Honeypot for Robotic Systems.
Proc. IEEE
Celine Irvene, David Formby, Samuel Litchfield, Raheem A. Beyah
2018 — conf
Lowering the Barriers to Industrial Control System Security with GRFICS.
ASE @ USENIX Security Symposium
David Formby, Milad Rad, Raheem A. Beyah
2017 — conf
A Case Study in Power Substation Network Dynamics.
SIGMETRICS (Abstracts)
David Formby, Anwar I. Walid, Raheem A. Beyah
2017 J jnl
A Case Study in Power Substation Network Dynamics.
Proc. ACM Meas. Anal. Comput. Syst.
David Formby, Anwar Walid, Raheem A. Beyah
2016 J jnl
Rethinking the Honeypot for Cyber-Physical Systems.
IEEE Internet Comput.
Samuel Litchfield, David Formby, Jonathan D. Rogers, A. P. Sakis Meliopoulos, Raheem A. Beyah
2016 A* conf
Who's in Control of Your Control System? Device Fingerprinting for Cyber-Physical Systems.
NDSS
David Formby, Preethi Srinivasan, Andrew M. Leonard, Jonathan D. Rogers, Raheem A. Beyah
2014 — conf
A first look at machine-to-machine power grid network traffic.
SmartGridComm
Sang Shin Jung, David Formby, Carson Day, Raheem A. Beyah
2014 — conf
A physical overlay framework for insider threat mitigation of power system devices.
SmartGridComm
David Formby, Sang Shin Jung, Seth Walters, Raheem A. Beyah
2014 — conf
An Empirical Study of TCP Vulnerabilities in Critical Power System Devices.
SEGS@CCS
David Formby, Sang Shin Jung, John A. Copeland, Raheem A. Beyah
2014 A conf
Towards Secure Metering Data Analysis via Distributed Differential Privacy.
DSN
Xiaojing Liao, David Formby, Carson Day, Raheem A. Beyah