Skip to main content

2017 Events

Formal Verification of Robustness Properties of Hybrid Systems

Formal Verification of Robustness Properties of Hybrid Systems

Dr. Pavithra Prabhakar - Kansas State University ...
Reading Between the Lines of Datacenter Logs

Reading Between the Lines of Datacenter Logs

Dr. Nosayba El-Sayed - Postdoctoral Associate at CSAIL, MIT ...
Deception for Proactive Cyber Defense

Deception for Proactive Cyber Defense

Dr. Cliff Wang - Program Director of the Information Assurance Program at the US Army Research Office ...
Hacking Sensors

Hacking Sensors

Dr. Yongdae Kim - Korea Advanced Institute of Science and Technology ...
Cross-Layer Attacks in Emerging Networks

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

Leveraging Blockchain-based Protocols in IoT Systems

Dr. Angelos Stavrou - George Mason University ...
Intelligent User Interaction Driven by Psychology

Intelligent User Interaction Driven by Psychology

Dr. T. Metin Sezgin - Koc University, Istanbul ...
Computational Informatics for Improving Efficacy of Gene Therapy

Computational Informatics for Improving Efficacy of Gene Therapy

Dr. Hosna Jabbari - Postdoctoral Fellow, University of Alberta, Canada ...
General Geometric Models of Image Formation

General Geometric Models of Image Formation

Dr. Jean Ponce - Ecole Normale Superieure, Paris, France ...
Physical Computing for Everyone

Physical Computing for Everyone

Dr. Thomas Ball - Microsoft Research ...
The Representation of Spatial Data

The Representation of Spatial Data

Dr. Hanan Samet - University of Maryland, College Park ...
Reconstructing HDR Images of Complex Dynamic Scenes

Reconstructing HDR Images of Complex Dynamic Scenes

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