Limin Jia
Assistant Research Professor, INI, ECE
#2216, Collaborative Innovation Center
Bio
Limin Jia is an Associate Research Professor in the Information Networking Institute and Electrical and Computer Engineering departments, and is affiliated with Carnegie Mellon CyLab.
Research Areas: Mobility, Privacy Protection, Trustworthy Computing Platforms and Devices
Cross Cutting Thrusts: Formal Methods, Software Security
Visit Limin's Personal Website
Research
Compositional Security
Research Area: Trustworthy Computing Platforms and Devices
Cross Cutting Thrusts: Formal Methods | Software Security
Researchers: Anupam Datta, Limin Jia, Amit Vasudevan, Sagar Chaki
Mobile Platform Security
Research Area: Mobility
Cross Cutting Thrusts: Software Security | Formal Methods
Researchers: Lujo Bauer, Limin Jia
Privacy, Audit and Accountability
Research Area: Privacy Protection
Researchers: Anupam Datta, Limin Jia
Trustworthy Computing Platforms and Devices
Research Area: Trustworthy Computing Platforms and Devices
Researchers: Virgil Gligor, Anupam Datta, Adrian Perrig, Amit Vasudevan, Limin Jia
Techniques for Compositional Security: Foundations, Mechanized Reasoning and Applications
Research Area: Trustworthy Computing Platforms and Devices
Cross Cutting Thrusts: Formal Methods | Software Security
Researchers: Anupam Datta, Limin Jia, Deepak-Garg
Formalizing and Enforcing Privacy
Research Area: Privacy Protection
Cross Cutting Thrusts: Formal Methods
Researchers: Anupam Datta, Limin Jia, Jeremiah Blocki, Zeliha Dilsun Kaynar, Divya Sharma, Arunesh Sinha, Michael Tschantz
Principled Approach to Web Security
Cross Cutting Thrusts: Software Security | Formal Methods
Researchers: Anupam Datta, Limin Jia, Deepak Garg