Publications

189 result(s)

Journal papers

Real-time detection of cyber-physical attacks on water distribution systems using deep learning
Taormina R, Galelli S, 2017, “Real-time detection of cyber-physical attacks on water distribution systems using deep learning,” World Environmental & Water Resources Congress

Journal papers

Resilience of DoS Attacks in Designing Anonymous User Authentication Protocol for Wireless Sensor Networks
P.Gope, J. Lee, and T. Q. S. Quek, 2017, “Resilience of DoS Attacks in Designing Anonymous User Authentication Protocol for Wireless Sensor Networks,” IEEE Sensors Journal

Journal papers

ReSIoT: Reconfigurable security for IoT
R.-H. Hsu, J. Lee, T. Q. S. Quek, and J.-C. Chen, 2017, “ReSIoT: Reconfigurable security for IoT,” IEEE Wireless Communications

Journal papers

Secure communication for D2D-aided fog computing: architecture, challenges, and solution
P.Gope, R.-H. Hsu, J. Lee, and T. Q. S. Quek, 2017, “Secure communication for D2D-aided fog computing: architecture, challenges, and solution,” IEEE Network

Conference papers/presentations

SecWater: A Multi-Layer Security Framework for Water Treatment Plants
Mathur A, 2017, “SecWater: A Multi-Layer Security Framework for Water Treatment Plants,” CySWATER ’17 Proceedings of the 3rd International Workshop on Cyber-Physical Systems for Smart Water Networks

Conference papers/presentations

Should We Learn Probabilistic Models for Model Checking? A New Approach and an Empirical Study
Wang J, Sun J, Yuan Q. and Pang J, 2017, “Should We Learn Probabilistic Models for Model Checking? A New Approach and an Empirical Study,” 20th International Conference on Fundamental Approaches to Software Engineering (FASE) in ETAPS

Journal papers

SIPHON : Towards Scalable High-Interaction Physical Honeypots
Guarnizo, J, Tambe, A, Bhunia, S, Ochoa, M, Tippenhauer, N, Shabtai, A, Elovici, Y, 2017, “SIPHON : Towards Scalable High-Interaction Physical Honeypots”, 3rd ACM Cyber-Physical System Security Workshop (CPSS), pp. 57- 68

Conference papers/presentations

Testing the Effectiveness of Attack Detection Mechanisms in Industrial Control Systems
Sugumar G. and Mathur A, 2017, “Testing the Effectiveness of Attack Detection Mechanisms in Industrial Control Systems”, IEEE International Conference on Software Quality, Reliability & Security

Conference papers/presentations

Towards Formal Security Analysis of Industrial Control Systems
Rocchetto M. and Tippenhauer N.O, 2017, “Towards Formal Security Analysis of Industrial Control Systems”, ACM Asia Conference on Computer and Communications Security (ASIACCS)

Conference papers/presentations

WADI: A Water Distribution Testbed for Research in the Design of Secure Cyber Physical Systems
Ahmed C. M, Reddy V, Mathur A, 2017, “WADI: A Water Distribution Testbed for Research in the Design of Secure Cyber Physical Systems”, 3rd International Workshop on Cyber-Physical Systems for Smart Water Networks (CySWater)