Limin Jia received her B.E. in computer science and engineering from the University of Science and Technology of China and her Ph.D. in computer science from Princeton University. Her research interests include language-based security, programming languages, logic, and program verification. Her research focuses on formal aspects of security. She is particularly interested in applying language-based security techniques and formal logic to model and verify security properties of software systems.
Research Interests
- Applications of security and privacy
- autonomy
- computer security
- cybersecurity + privacy
- 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
- privacy
- protocol security
- secure systems
- software security
- Software verification
- systems modeling
- systems security
- verification
- web security
Media mentions
CyLab Security and Privacy Institute
CyLab to host Robotics Security and Privacy Workshop July 28-29
On July 28-29, CyLab will host a Robotics Security and Privacy Workshop on the Carnegie Mellon University campus, convening leading researchers and experts from across academia and industry to discuss strategic approaches to building trusted middleware and toolchains to foster a secure, privacy-preserving robotics ecosystem that is safe and trustworthy by design.
CyLab Security and Privacy Institute
CyLab researchers to present at PLDI 2025
Carnegie Mellon University researchers are set to present five papers and chair one program session at the 46th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2025).
CyLab Security and Privacy Institute
CyLab faculty, students to present at NDSS Symposium 2025
Carnegie Mellon faculty and students will present on a wide range of topics at the 32nd Annual Network and Distributed System Security (NDSS) Symposium. Held at Wyndham San Diego Bayside from February 24th through the 28th, the event fosters information exchange among researchers and practitioners of network and distributed system security.
CyLab Security and Privacy Institute
Third round of Future Enterprise Security Initiative funded projects announced
CyLab’s Future Enterprise Security Initiative has announced its third round of funded proposals.
CyLab Security and Privacy Institute
CyLab awards 2024 seed funding
This year, CyLab has awarded $400K in seed funding to 17 CMU students, faculty, and staff members representing five departments at the university.
CyLab Security and Privacy Institute
CyLab faculty, students to present at ACM CCS 2023
Carnegie Mellon faculty and students will present on a wide range of topics at the Association for Computing Machinery Special Interest Group on Security, Audit and Control’s (SIGSAC’s) Conference on Computer and Communications Security (ACM CCS). Held at the Tivoli Congress Center in Copenhagen, Denmark on November 26-30, the event brings together information security researchers, practitioners, developers, and users from all over the world to explore cutting-edge ideas and results.
CyLab Security and Privacy Institute
Second round of Future Enterprise Security Initiative funded projects announced
CyLab’s Future Enterprise Security Initiative has announced its second round of funded proposals.
CyLab Security and Privacy Institute
CyLab faculty earn Amazon Research Awards
CyLab’s Limin Jia, Bryan Parno and Corina Pasareanu recently received Amazon Research Awards in the category of automated reasoning.
CyLab Security and Privacy Institute
First round of Future Enterprise Security Initiative funded projects announced
CyLab’s Future Enterprise Security Initiative is underway as the first round of funded proposals has been announced.
CyLab Security and Privacy Institute
“Adulting” for cybersecurity, GANs, and more: CyLab’s 2022 seed funding awardees
Over $400K in seed funding has been awarded to 18 different faculty and staff across seven departments at Carnegie Mellon to support security and privacy research.
CyLab Security and Privacy Institute
Protect your security and privacy with these tips from CyLab faculty
In celebration of Cybersecurity Awareness Month, a collection of CyLab faculty have shared some tips they recommend following to stay safe online.
CyLab Security and Privacy Institute
New tool automatically finds buffer overflow vulnerabilities
A team of CyLab researchers have designed a new tool that automatically checks for memory bugs—the types of bugs that can lead to buffer overflow exploits, a commonly deployed cyberattack.