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