David Formby

According to our database, David Formby authored at least 16 papers between 2014 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

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

2020

Temporal Execution Behavior for Host Anomaly Detection in Programmable Logic Controllers.

David Formby, Raheem Beyah

IEEE Trans. Inf. Forensics Secur., 2020

2019

Network Based Fingerprinting Techniques for Industrial Control Systems.

David Formby

PhD thesis, 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

On Evaluating the Effectiveness of the HoneyBot: A Case Study.

Celine Irvene, David Formby, Raheem Beyah

CoRR, 2019

If I Knew Then What I Know Now: On Reevaluating DNP3 Security using Power Substation Traffic.

Celine Irvene, Tohid Shekari, David Formby, Raheem Beyah

Proceedings of the Fifth Annual Industrial Control System Security Workshop, 2019

2018

HoneyBot: A Honeypot for Robotic Systems.

Celine Irvene, David Formby, Samuel Litchfield, Raheem A. Beyah

Proc. IEEE, 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

Lowering the Barriers to Industrial Control System Security with GRFICS.

David Formby, Milad Rad, Raheem A. Beyah

Proceedings of the 2018 USENIX Workshop on Advances in Security Education, 2018

2017

A Case Study in Power Substation Network Dynamics.

David Formby, Anwar Walid, Raheem A. Beyah

Proc. ACM Meas. Anal. Comput. Syst., 2017

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

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

Proceedings of the 23rd Annual Network and Distributed System Security Symposium, 2016

2014

A first look at machine-to-machine power grid network traffic.

Sang Shin Jung, David Formby, Carson Day, Raheem A. Beyah

Proceedings of the 2014 IEEE International Conference on Smart Grid Communications, 2014

A physical overlay framework for insider threat mitigation of power system devices.

David Formby, Sang Shin Jung, Seth Walters, Raheem A. Beyah

Proceedings of the 2014 IEEE International Conference on Smart Grid Communications, 2014

Towards Secure Metering Data Analysis via Distributed Differential Privacy.

Xiaojing Liao, David Formby, Carson Day, Raheem A. Beyah

Proceedings of the 44th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2014

An Empirical Study of TCP Vulnerabilities in Critical Power System Devices.

David Formby, Sang Shin Jung, John A. Copeland, Raheem A. Beyah

Proceedings of the 2nd Workshop on Smart Energy Grid Security, 2014