Publications

Murguia C., van de Wouw N., Ruths J., “Reachable Sets of Hidden CPS Sensor Attacks: Analysis and Synthesis Tools”, IFAC 2017 World Congress

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

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

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

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

Mathur A., “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

Wang J., Sun J, Yuan Q. and Pang J., “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 2017

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

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

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