Ph.D., Computer Science, Princeton University
BE, Computer Science and Engineering, University of Science and Technology
- Applications of security and privacy
- computer security
- data/network science systems
- Formal methods
- formal methods for security
- formal verification
- Internet of Things (IoT)
- IoT security and privacy
- language-based security
- mobile and app security and privacy
- network security
- protocol security
- secure systems
- software security
- Software verification
- systems modeling
- systems security
- web security
Edge computing, ad-blocking, and more: CyLab announces 2020 seed funding awardees
Over $500K in seed funding has been awarded to 10 different CyLab faculty in six different departments across three colleges at CMU.
First round of Secure and Private IoT Initiative funded projects announced
CyLab’s Secure and Private IoT Initiative (IoT@CyLab) has broken ground as the first round of funded proposals have been announced. Twelve selected projects will be funded for one year, and results will be presented at the IoT@CyLab annual summit next year.
Leaders in cybersecurity gather at CMU for WiCyS Conference
More than 1,200 women, including many College of Engineering faculty and alumnae, gathered from March 28-30 for the Carnegie Mellon’s Women in Cybersecurity (WiCyS) Conference.
Reducing complexity to increase security
Carnegie Mellon University team receives $7.5M ONR grant for software complexity reduction, or simplifying complex internet protocols to build greater security.
CyLab team develops promising tool to help prevent cross-site scripting (XSS) attacks
Right now, go to Google.com, search for something (anything) and then look at the search results’ URL. It’s a jumbled mess of numbers, letters, and characters, right? That mess of characters is coordinating the creation of the webpage, displaying a customized list of results based on what you searched for.
Making the Internet of Things smarter than its attackers
A team of CyLab researchers analyzed nearly 20,000 IFTTT applets and found that half of them were potentially unsafe.