Publications

Murguia C, Ruths J, Nijmeijer H, 2016, “Robust Network Synchronization of Time-Delayed Coupled Systems,” 6th IFAC International Workshop on Periodic Control Systems

C.Cheng, J. Lee, T. Jiang, and T. Takagi, 2016, “Security analysis and improvements on two homomorphic authentication schemes for network coding,” IEEE Transactions on Information Forensics and Security, vol. 11, no. 5, pp. 993-1002

Taormina R, Galelli S, Tippenhauer N. O, Salomons E, Ostfeld A, 2016, “Simulation of Cyber-Physical Attacks on Water Distribution Systems with EPANET,” Singapore Cyber Security R&D Conference

P.Mohapatra, N. Pappas, J. Lee, T. Q. S. Quek, and V. Angelakis, 2016, “Stability region of 2-user full-duplex broadcast channel with secrecy constraint,” in Proc. IEEE Int. Conf. Commun. (ICC), Kuala Lumper, Malaysia

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, 2016, “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)

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

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

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

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