Skip to main content

2017 Events

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 ...

Intelligent User Interaction Driven by Psychology

Dr. T. Metin Sezgin - Koc University, Istanbul ...

Computational Informatics for Improving Efficacy of Gene Therapy

Dr. Hosna Jabbari - Postdoctoral Fellow, University of Alberta, Canada ...

General Geometric Models of Image Formation

Dr. Jean Ponce - Ecole Normale Superieure, Paris, France ...

Physical Computing for Everyone

Dr. Thomas Ball - Microsoft Research ...

The Representation of Spatial Data

Dr. Hanan Samet - University of Maryland, College Park ...

Reconstructing HDR Images of Complex Dynamic Scenes

Dr. Oguz Akyuz - Middle East Technical University ...