Publications:
- Qinchen Gu, David Formby, Shouling Ji, Brendan Saltaformaggio, Anu Bourgeois, and Raheem Beyah. "This Hacker Knows Physics: Device Physics Aware Mimicry Attacks in Cyber-Physical Systems." In the IEEE Transactions on Distributed and Secure Computing.
- David Formby and Raheem Beyah. "Temporal Execution Behavior for Host Anomaly Detection in Programmable Logic Controllers." In the IEEE Transactions on Information Forensics and Security, vol. 15, pp. 1455-1469, 2020.
- Qinchen Gu, David Formby, Shouling Ji, Hasan Cam, and Raheem Beyah. "Fingerprinting for Cyber Physical System Security: Device Physics Matters Too." In the IEEE Security & Privacy Magazine, Vol. 16, No. 5, September/October 2018.
- Celine Irvene, Samuel Litchfield, David Formby, and Raheem Beyah. "HoneyBot: A Honeypot for Robotic Systems." In the Proceedings of the IEEE, Vol. 106, No. 1, Jan. 2018.
- Xiaojing Liao, Preethi Srinivasan, David Formby, and Raheem Beyah. "Di-PriDA: Differentially Private Distributed Load Balancing Control for the Smart Grid." In the IEEE Transactions on Dependable and Secure Computing.
- Samuel Litchfield, David Formby, Jonathan Rogers, Sakis Meliopoulos, and Raheem Beyah. "Re-thinking the Honeypot for Cyber-Physical Systems." In the IEEE Internet Computing Magazine - Special Issue on Cyber-Physical Security and Privacy, Vol. 20, No. 5, Sept.-Oct. 2016.
- Celine Irvene, Tohid Shekari, David Formby, and Raheem Beyah. "If I Knew Then What I Know Now: On Reevaluating DNP3 Security using Power Substation Traffic." In the Fifth Industrial Control System Security (ICSS19) Workshop.
- David Formby, Milad Rad, and Raheem Beyah. "Lowering the Barriers to Industrial Control System Security with GRFICS." USENIX Workshop on Advances in Security Education (ASE), Baltimore, Maryland, August 2018.
- David Formby, Anwar Walid, and Raheem Beyah. "A Case Study in Power Substation Network Dynamics." In the ACM International Conference on Measurement and Modeling of Computer Systems (SIGMETRICS), June 2017.
- David Formby, Preethi Srinivasan, Andrew Leonard, Jonathan Rogers, and Raheem Beyah. "Who's in Control of Your Control System? Device Fingerprinting for Cyber-Physical Systems." In the Proceedings of the Network and Distributed System Security (NDSS) Symposium, February 2016.
- David Formby, Sang Shin Jung, John Copeland, and Raheem Beyah. "An Empirical Study of TCP Vulnerabilities in Critical Power System Devices." In the Smart Energy Grid Security (SEGS) workshop, Scottsdale, Arizona, November 2014.
- David Formby, Sang Shin Jung, Seth Walters, and Raheem Beyah. "A Physical Overlay Framework for Insider Threat Mitigation of Power System Devices." In the Proceedings of the IEEE Conference on Smart Grid Communications (SmartGridComm), November 2014.
- Sang Shin Jung, David Formby, Carson Day, and Raheem Beyah. "A First Look at Machine-to-Machine Power Grid Network Traffic." In the Proceedings of the IEEE Conference on Smart Grid Communications (SmartGridComm), November 2014.
- Xiaojing Liao, David Formby, Carson Day and Raheem Beyah. "Towards Secure Meter Data Analysis via Distributed Differential Privacy." In the International Workshop on Trustworthiness of Smart Grids (ToSG), June 2014.
- Samuel Litchfield, David Formby, Sakis Meliopoulos, Jonathan Rogers, and Raheem Beyah. "Re-thinking the Honeypot for Cyber-Physical Systems." IEEE Symposium on Security & Privacy(IEEE Posters), May 2016. (Poster)
- Xiaojing Liao, David Formby, Carson Day, Raheem A. Beyah. "Di-PriDA: A Privacy-preserving Meter Querying System for Smart Grid Load Balancing." The IEEE Symposium on Security & Privacy (Oakland Poster), May 2014.
- David Formby and Raheem Beyah. "Systems and Methods for SCADA and ICS Fingerprinting." US #11,228,517. Awarded 01/28/2022.
- David Formby and Raheem Beyah. "Systems and Methods for Detecting Anomalous Software on a Programmable Logic Controller." Utility Patent #10,986,107. Awarded 04/20/2021.
|
