Limin Jia 贾丽敏 Research Professor ECE, Carnegie Mellon University courtesy appointment at CSD Affiliated with: CyLab Contact info Short bio I am looking forward to working with motivated PhD students. Please consider applying to the PhD program in ECE.

Teaching

Fall 2024: Browser Security (18-636)
Spring 2024: Introduction to Information Security (18-631)

Previous...

Fall 2023: Browser Security (18-636)
Spring 2023: Introduction to Information Security (18-631)
Fall 2022: Introduction to Information Security (18-631)
Fall 2021: Introduction to Information Security (18-631/14-741)
Fall 2020: Introduction to Information Security (18-631/14-741)
Spring 2020: Structure and Design of Digital Systems (18-240)
Fall 2019: Introduction to Information Security (18-631/14-741)
Spring 2019: Browser Security (14-828/18-636)
Fall 2018: Introduction to Information Security (18-631/14-741)
Spring 2018: Browser Security (14-828/18-636)
Fall 2017: Introduction to Information Security (18-631/14-741)
Spring 2017: Browser Security (14-828)
Fall 2016: Introduction to Information Security (18-631/14-741)
Spring 2016: Special Topics in Security: Formal Foundations of Secure Software Security (15-811/18-739M)
Fall 2015: Introduction to Information Security (18-631/14-741)
Fall 2015: Information Security & Privacy (15-421 / 08-731 / 08-761 / 45-885 / 45-985)
Summer 2015: Elements of Browser Security (14-847)
Fall 2014: Introduction to Information Security (18-631/14-741)
Spring 2014: Network Security and Management (18-739/14-817)

Research

I am interested in applying formal techniques to make software systems more secure, either through using language-based techniques to build provably secure software systems, or using formal logic to verify the security properties of (distributed) software systems, or developing formalisms to reason about security and privacy guarantees of software systems in the presence of adversaries.

Recent Publications (full list) (google scholar) (dblp)

PhD students

• Rafael Gonçalves (CSD)
• Twain Byrnes (ECE)
• Ronghao Ni (ECE)
• Byeongjee Kang (S3D)
• Chanhee Cho (ECE)
• Myra Dotzel(CSD)
• Nuno Sabino (CSD)
• Zichao Zhang (ECE co-advised with Corina Pasareanu)
• Chi Zhang (ECE co-advised with Corina Pasareanu)

Former students and postdocs (I advised or worked with closely)

PhD students Yoshi Takashima (co-advised with Corina Pasareanu, CMU ECE, PhD 2024), Kaiyuan Li (CMU ECE, PhD 2024) Darion Cassel (CMU ECE, PhD 2023; now at AWS) Milijana Surbatovich (co-advised with Brandon Lucia, CMU ECE, PhD 2023; now at University of Maryland at College Park), McKenna McCall (CMU ECE, PhD 2023; now postdoc at CMU), Hannah (Anna) Gommerstadt (co-advised with Frank Pfenning, CMU CSD, PhD 2019; now at Vassar), Miao Yu (advised by Virgil Gligor, CMU ECE, PhD 2019; now at CMU CyLab), Chen Chen (co-advised with Boon Thau Loo, UPenn CIS, PhD 2017),
Postdocs Farzaneh Derakhshan (now faculty at Illinois Institute of Technology), Arthur Azevedo de Amorim (now faculty at Rochester Institute of Technology), Sze Yiu Chau (now faculty at Chinese University of Hong Kong), Willard Rafnsson (now faculty at IT university of Copenhagen), Omar Chowdhury (now faculty at Stony Brook University),
Others Naomi Spargo (CMU SCS, undergrad 2023, now at Galois), Mitchell Yang (CMU ECE, undergrad/MS 2022, now at Green Hills Software), Spensor Yu (CMU ECE, undergrad/MS 2020), Wai Tuck Wong (CMU INI, MS 2020, now Phd student at Singapore Management University), Alina Rath (CMU ECE, undergrad/MS 2020), Stephen Mell (CMU S3D REUSE research intern 2018, now Phd student at UPenn), Radhika Amare (CMU ECE, undergrad/MS 2018),