Publications
255 result(s)
255 result(s)
Conference paper/presentation
SecWater: A Multi-Layer Security Framework for Water Treatment Plants
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
Conference paper/presentation
Should We Learn Probabilistic Models for Model Checking? A New Approach and an Empirical Study
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
Journal paper
SIPHON : Towards Scalable High-Interaction Physical Honeypots
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
Conference paper/presentation
Testing the Effectiveness of Attack Detection Mechanisms in Industrial Control Systems
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
Conference paper/presentation
Towards Formal Security Analysis of Industrial Control Systems
Rocchetto M. and Tippenhauer N.O., “Towards Formal Security Analysis of Industrial Control Systems”, ACM Asia Conference on Computer and Communications Security (ASIACCS) 2017
Conference paper/presentation
WADI: A Water Distribution Testbed for Research in the Design of Secure Cyber Physical Systems
Ahmed C. M., Reddy V., Mathur A., “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) 2017
Conference paper/presentation
WaterJam: An Experimental case study of Jamming Attacks on a Water Treatment System
Adepu S., Prakash J., and Mathur A., “WaterJam: An Experimental case study of Jamming Attacks on a Water Treatment System”, 2017 IEEE International Conference on Software Quality, Reliability & Security
Conference paper/presentation
A Dataset to Support Research in the Design of Secure Water Treatment Systems
Goh J., Adepu S., Junejo K. N., and Mathur A., “A Dataset to Support Research in the Design of Secure Water Treatment Systems,” The 11th International Conference on Critical Information Infrastructures Security
Conference paper/presentation
A game theoretic model for enabling honeypots in IoT networks
L.Q. Duy, T. Q. S. Quek, and J. Lee, “A game theoretic model for enabling honeypots in IoT networks,” in Proc. IEEE Int. Conf. Commun. (ICC), Kuala Lumper, Malaysia, May 2016
Conference paper/presentation
A Six-step Model For Safety and Security Analysis of Cyber-physical Systems
Sabaliauskaite G., Adepu S., Mathur A., “A Six-step Model For Safety and Security Analysis of Cyber-physical Systems,”11th International Conference on Critical Information Infrastructures Security 2016