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
1272016
Out of control: Ransomware for industrial control systems
D Formby, S Durbha, R Beyah
RSA conference 4, 2017
462017
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
382016
HoneyBot: A honeypot for robotic systems
C Irvene, D Formby, S Litchfield, R Beyah
Proceedings of the IEEE 106 (1), 61-70, 2017
172017
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
152018
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
152017
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
142017
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
142014
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
92018
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
92014
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
92014
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
72014
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
42019
Device fingerprinting for cyber-physical systems
AR Beyah, D Formby, P Srinivasan
US Patent App. 16/583,988, 2020
32020
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
32016
Systems and methods for detecting anomalous software on a programmable logic controller
D Formby, AR Beyah
US Patent 10,986,107, 2021
12021
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
12019
Di-PriDA: A Privacypreserving Meter Querying System for Smart Grid Load Balancing
X Liao, D Formby, C Day, R Beyah
IEEE Security and Privacy, 2014
12014
Graphical Realism Framework for Industrial Control Simulation (GRFICS) Version
M Rideout, D Formby, S Bryce
Georgia Institute of Technology, 2021
2021
On Evaluating the Effectiveness of the HoneyBot: A Case Study
C Irvene, D Formby, R Beyah
arXiv preprint arXiv:1905.12061, 2019
2019
The system can't perform the operation now. Try again later.
Articles 1–20