Publications

Pawel Szalachowski, “Towards More Reliable Bitcoin Timestamps”, 2018 Crypto Valley Conference on Blockchain Technology

Cui J., Sabaliauskaite G., “US2: An Unified Safety and Security Analysis Method for Autonomous Vehicles,” Future of Information and Communication Conference (FICC) 2018

Sridharan, R., Maiti, R., Tippenhauer, N., “WADAC: Privacy-Preserving Anomaly Detectionand Attack Classificationon Wireless Traffic” 11th ACM Conference on Security and Privacy in Wireless and Mobile Networks 2018, Stockholm, Sweden, June 2018.

Chamanbaz M., Notarstefano G., Bouffanais R., “A Distributed Ellipsoid Algorithm for Uncertain Convex Problems: A Randomized Approach,” 56th IEEE Conference on Decision and Control 2017

Li L., Jun S., and Dong J. S., “A Formal Specification and Verification Framework for Timed Security Protocols.” IEEE Transactions on Software Engineering, Issue 99

Adepu S., Mishra G. and Mathur A., “Access Control in Water Distribution Networks: A Case Study”, 2017 IEEE International Conference on Software Quality, Reliability & Security

Adepu S. and Mathur A., “An Investigation into the Response of a Water Treatment System to Cyber Attacks,” The 17th IEEE International Symposium on High Assurance Systems Engineering (HASE) 2017

Inoue J. , Yamagata Y., Chen Y., Poskitt C.M., and Sun J., “Anomaly Detection for a Water Treatment System Using Unsupervised Machine Learning,” IEEE International Conference on Data Mining Workshops: Data Mining for Cyberphysical and Industrial Systems (DMCIS 2017)

Goh, Adepu S, Tan M. and Lee Z. S., ” Anomaly Detection in Cyber Physical Systems using Recurrent Neural Networks”, Workshop on Security issues in Cyber Physical Systems (SecCPS) @ HASE 2017

Taormina R., Galelli S., Tippenhauer N. O., Salomons E., Ostfeld A., “Characterizing cyber-pysical attacks on water distribution systems,” Journal of Water Resources Planning and Management