Publications

Mathur, A. P., & Tippenhauer, N. O. (2016). SWaT: A water treatment testbed for research and training on ICS security. In Proceedings of the 2016 International Workshop on Cyber-Physical Systems for Smart Water Networks (CySWater) (pp. 31–36). IEEE. https://doi.org/10.1109/CySWater.2016.7469060

Mathur A. and Tippenhauer N. O., “SWaT: Secure Water Treatment Testbed for Research and Training in the Design of Industrial Control Systems,” IEEE Computer Society International Conference on Computers, Software & Applications (COMPSAC 2016)

Kong P., Li Y., Chen X., Sun J., Sun M. and Wang J., “Towards Concolic Testing for Hybrid Systems.” FM 2016

Antonioli D., Agrawal A., Tippenhauer N. O., “Towards High Interaction Virutal ICS Honeypots-in-a-box”, CPS-SPC16 Workshop

Chen Y., Poskitt C. M., and Sun J., “Towards Learning and Verifying Invariants of Cyber-Physical Systems by Code Mutation”, accepted at Formal Methods 2016

J.Ryu, J. Lee, and T. Q. S. Quek, “Transmission strategy against opportunistic attack for MISO secure channels,” IEEE Communications Letters, vol. 20, no. 11, pp. 2304-2307, Nov. 2016

Adepu S. and Mathur A., “Using Process Invariants to Detect Cyber Attacks on a Water Treatment System,” ICT Systems Security and Privacy Protection 2016

Wang J.Y., Sun J. and Qin S.Q., “Verifying Complex Systems Probabilistically through Learning, Abstraction and Refinement”, 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)

Yuen C., “Achievable Ergodic Secrecy Rate for MIMO SWIPT Wiretap Channels,” IEEE International Conference on Communications (IEEE ICC 2015)

Adepu S. and Mathur A., “An Agent-based Framework for Simulating and Analysing Attacks on CPS,” 15th International Conference on Algorithms and Architectures for Parallel Processing