I Know Where You’re Hiding! (Experience Doing Software Fault Prediction in an Industrial Environment)
Dr. Elaine Weyuker – University of Central Florida
Formal Verification of Robustness Properties of Hybrid Systems
Dr. Pavithra Prabhakar – Kansas State University
Reading Between the Lines of Datacenter Logs
Dr. Nosayba El-Sayed – Postdoctoral Associate at CSAIL, MIT
Deception for Proactive Cyber Defense
Dr. Cliff Wang – Program Director of the Information Assurance Program at the US Army Research Office
Hacking Sensors
Dr. Yongdae Kim – Korea Advanced Institute of Science and Technology
Cross-Layer Attacks in Emerging Networks
Dr. Guevara Noubir – College of Computer and Information Science at Northeastern University
Leveraging Blockchain-based Protocols in IoT Systems
Dr. Angelos Stavrou – George Mason University
Reflections on Applying Mathematics to Solve Hard Software Problems
Dr. Suresh C. Kothari – Iowa State University
Functional Reactive Programming for Real-Time and Cyber-Physical Systems: Response Time Analysis, Scheduling and Verification
Dr. Albert M.K. Cheng – University of Houston
Intelligent User Interaction Driven by Psychology
Dr. T. Metin Sezgin – Koc University, Istanbul