Publications

Siddiqi A., Tippenhauer N.O., Mashima D., Chen B., “Short Paper: On Practical Threat Scenario Testing in an Electric Power ICS Testbed,” 4th ACM Cyber‐Physical System Security Workshop (ACM CPSS’18)

Neeraj, K., Sachidananda, V., Setikere, S., Zhou, J. Elovici, Y., “SMuF: State Machine Based Mutational Fuzzing for Internet of Things”, the 13th edition of the International Conference on Critical Information Infrastructures Security, September 2018, (CRITIS 2018).

Lin Q, Adepu S., Verwer S. and Mathur A., “TABOR – A Graphical Framework for Anomaly Detection in Industrial Control Systems,” ACM Asia Conference on Computer and Communications Security (ASIACCS) 2018

Antonioli D., Bernieri G., Tippenhauer N. O., “Taking Control: Design and Implementation of Botnets for Cyber-Physical Attacks with CPSBot” Asia CCM Conference on Computer & Communications Security 2018

Taormina R., Galelli S., Tippenhauer N. O., Salomons E., Ostfeld A., Eliades D. G. , Aghashahi M., Sundararajan R., Pourahmadi M., Banks M/ K., Brentan B. M. , Campbell E., Lima G., Manzi D., Ayala-Cabrera D., Herrera M., Montalvo I., Izquierdo J., Luvizotto Jr. E. , Chandy S. E., Rasekh A., Zachary A. B., Campbell B., Shafiee M. E. , Giacomoni M., Gatsis N., Taha A., Abokifa A. A. , Haddad K., Lo C. S., Biswas P., Pasha M. F. K. , Kc B. , Somasundaram S. L. , Housh M., Ohar Z., “The Battle of the Attack Detection Algorithms: Disclosing Cyber Attacks on Water Distribution Networks” Journal of Water Resources Planning and Management

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