David Formby

ORCID

Publication Activity (10 Years)

Years Active: 2014-2022
Publications (10 Years): 12

Top Venues

SmartGridComm

IEEE Trans. Dependable Secur. Comput.

IEEE Internet Comput.

NDSS

Georgia Institute of Technology, Atlanta, GA, USA (PHD)

Education History

Georgia Institute of Technology, Atlanta, GA, USA

PHD

Publications

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

David Formby.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

David Formby