Publications

Sachidananda, V., Toh, J., Siboni, S., Shabatia, A., Elovici Y., “Poster: Towards Exposing Internet of Things: A Roadmap”, ACM Conference on Computer and Communications Security (CCS) 2016: 1820-1822

Murguia C., Ruths J., Nijmeijer H., “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, “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, May 2016

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

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

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