معرفی
Limin Jia is a Research Professor in the Electrical and Computer Engineering (ECE) department at Carnegie Mellon University, with a courtesy appointment in the Computer Science Department (CSD). Affiliated with CyLab, their work focuses on applying formal techniques to enhance software security through programming language design, formal verification, and information flow analysis.
Research interests span
- Security
- Programming Languages
- Formal Verification
- Information Flow Control
- Intermittent Computing
- Rust Programming
Recent publications integrate formal methods with practical security challenges, including
- Node.js vulnerability detection
- Rust API testing
- Secure multi-execution
- Intermittent computing type systems
- IFTTT security analysis
- Browser security frameworks
Limin serves on program committees for conferences like POPL, PLDI, VMCAI, and is actively involved in teaching courses such as
- Browser Security (18-636)
- Introduction to Information Security (18-631)
۰مقاله ثبتشده
