David Formby

Orcid: 0000-0003-0491-8241

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2022
This Hacker Knows Physics: Device Physics Aware Mimicry Attacks in Cyber-Physical Systems.
IEEE Trans. Dependable Secur. Comput., 2022

2020
Temporal Execution Behavior for Host Anomaly Detection in Programmable Logic Controllers.
IEEE Trans. Inf. Forensics Secur., 2020

2019
Network Based Fingerprinting Techniques for Industrial Control Systems.
PhD thesis, 2019

Di-PriDA: Differentially Private Distributed Load Balancing Control for the Smart Grid.
IEEE Trans. Dependable Secur. Comput., 2019

On Evaluating the Effectiveness of the HoneyBot: A Case Study.
CoRR, 2019

If I Knew Then What I Know Now: On Reevaluating DNP3 Security using Power Substation Traffic.
Proceedings of the Fifth Annual Industrial Control System Security Workshop, 2019

2018
HoneyBot: A Honeypot for Robotic Systems.
Proc. IEEE, 2018

Fingerprinting for Cyber-Physical System Security: Device Physics Matters Too.
IEEE Secur. Priv., 2018

Lowering the Barriers to Industrial Control System Security with GRFICS.
Proceedings of the 2018 USENIX Workshop on Advances in Security Education, 2018

2017
A Case Study in Power Substation Network Dynamics.
Proc. ACM Meas. Anal. Comput. Syst., 2017

2016
Rethinking the Honeypot for Cyber-Physical Systems.
IEEE Internet Comput., 2016

Who's in Control of Your Control System? Device Fingerprinting for Cyber-Physical Systems.
Proceedings of the 23rd Annual Network and Distributed System Security Symposium, 2016

2014
A first look at machine-to-machine power grid network traffic.
Proceedings of the 2014 IEEE International Conference on Smart Grid Communications, 2014

A physical overlay framework for insider threat mitigation of power system devices.
Proceedings of the 2014 IEEE International Conference on Smart Grid Communications, 2014

Towards Secure Metering Data Analysis via Distributed Differential Privacy.
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.
Proceedings of the 2nd Workshop on Smart Energy Grid Security, 2014


  Loading...