Follow
David Formby
Title
Cited by
Cited by
Year
Who's in Control of Your Control System? Device Fingerprinting for Cyber-Physical Systems.
D Formby, P Srinivasan, AM Leonard, JD Rogers, RA Beyah
NDSS, 2016
2162016
Rethinking the honeypot for cyber-physical systems
S Litchfield, D Formby, J Rogers, S Meliopoulos, R Beyah
IEEE Internet Computing 20 (5), 9-17, 2016
802016
Out of control: Ransomware for industrial control systems
D Formby, S Durbha, R Beyah
RSA conference 4, 8, 2017
682017
HoneyBot: A honeypot for robotic systems
C Irvene, D Formby, S Litchfield, R Beyah
Proceedings of the IEEE 106 (1), 61-70, 2017
452017
Lowering the barriers to industrial control system security with {GRFICS}
D Formby, M Rad, R Beyah
2018 USENIX Workshop on Advances in Security Education (ASE 18), 2018
422018
Fingerprinting for cyber-physical system security: Device physics matters too
Q Gu, D Formby, S Ji, H Cam, R Beyah
IEEE Security & Privacy 16 (5), 49-59, 2018
392018
Temporal execution behavior for host anomaly detection in programmable logic controllers
D Formby, R Beyah
IEEE Transactions on Information Forensics and Security 15, 1455-1469, 2019
332019
Di-PriDA: Differentially private distributed load balancing control for the smart grid
X Liao, P Srinivasan, D Formby, RA Beyah
IEEE Transactions on Dependable and Secure Computing 16 (6), 1026-1039, 2017
332017
A case study in power substation network dynamics
D Formby, A Walid, R Beyah
Proceedings of the ACM on Measurement and Analysis of Computing Systems 1 (1 …, 2017
302017
An empirical study of TCP vulnerabilities in critical power system devices
D Formby, SS Jung, J Copeland, R Beyah
Proceedings of the 2nd Workshop on Smart Energy Grid Security, 39-44, 2014
192014
A first look at machine-to-machine power grid network traffic
SS Jung, D Formby, C Day, R Beyah
2014 IEEE International Conference on Smart Grid Communications …, 2014
172014
Towards secure metering data analysis via distributed differential privacy
X Liao, D Formby, C Day, RA Beyah
2014 44th Annual IEEE/IFIP International Conference on Dependable Systems …, 2014
162014
A physical overlay framework for insider threat mitigation of power system devices
D Formby, SS Jung, S Walters, R Beyah
2014 IEEE International Conference on Smart Grid Communications …, 2014
142014
If i knew then what i know now: On reevaluating dnp3 security using power substation traffic
C Irvene, T Shekari, D Formby, R Beyah
Proceedings of the Fifth Annual Industrial Control System Security (ICSS …, 2019
132019
Who's in Control of Your Control System
D Formby, P Srinivasan, A Leonard, J Rogers, RA Beyah
Device fingerprinting for cyber-physical systems, 1-15, 2016
122016
Systems and methods for detecting anomalous software on a programmable logic controller
D Formby, AR Beyah
US Patent 10,986,107, 2021
62021
Poster: Re-thinking the honeypot for cyber-physical systems
S Litchfield, D Formby, J Rogers, S Meliopoulos, R Beyah
Poster at IEEE Symposium on Security and Privacy, 2016
52016
Device fingerprinting for cyber-physical systems
AR Beyah, D Formby, P Srinivasan
US Patent 11,228,517, 2022
32022
This hacker knows physics: Device physics aware mimicry attacks in cyber-physical systems
Q Gu, D Formby, S Ji, B Saltaformaggio, A Bourgeois, R Beyah
IEEE Transactions on Dependable and Secure Computing 19 (5), 3218-3230, 2021
32021
On Evaluating the Effectiveness of the HoneyBot: A Case Study
C Irvene, D Formby, R Beyah
arXiv preprint arXiv:1905.12061, 2019
12019
The system can't perform the operation now. Try again later.
Articles 1–20