Vyas Sekar, Carnegie Mellon University - CyLab