Publications

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

Wang J.Y, Sun J. and Qin S.Q, 2016, “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, 2015, “Achievable Ergodic Secrecy Rate for MIMO SWIPT Wiretap Channels,” IEEE International Conference on Communications (IEEE ICC)

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

Sun Y, Li W, Song W, Yuen C, 2015, “False Data Injection Attacks with Local Topology Information against Linear State Estimation,” IEEE PES Innovative Smart Grid Technologies 2015 Asian Conference (IEEE ISGT-Asia)

J.Wang, J. Lee, F. Wang, and T. Q. S. Quek, 2015, “Jamming-aided secure communication in massive MIMO Rician channels,” IEEE Trans. Wireless Commun, vol. 14, no. 12, pp. 6854-6868

S.-Y. Chang, J. Lee, and Y.-C. Hu, 2015, “Noah: Keyed noise flooding for wireless confidentiality,” in Proc. ACM Symposium on QoS and Security for Wireless and Mobile Networks (Q2SWinet), Cancun, Mexico, pp. 141- 148

Tan T. H, Sun J, Xue Y, Chen M, Dong J. S, Liu Y, 2015, “Optimizing Selection of Competing Features via Feedback-Directed Evolutionary Algorithms,” International Symposium on Software Testing and Analysis (ISSTA)

R.Hsu, J. Lee, and T. Q. S. Quek, 2015, “Reliable and Privacy Preserving Secure D2D Communication in LTE-A,? in Proc. ACM Int. Conf. on Security and Privacy in Wireless and Mobile Networks, New York, NY

C.D. T. Thai, J. Lee, and T. Q. S. Quek, 2015, “Secret group key generation in physical layer for mesh topology” in Proc. IEEE Global Commun. Conf, San Diego, CA, pp. 1-6