About Me
I am graduating with Ph.D. with Cybersecurity in the department of Computer Science and Engineering at The Ohio State University (OSU) in Summer 2024. My advisors are Dr. Zhiqiang Lin and Dr. Yinqian Zhang. Before coming to OSU, I graduated from Malaviya National Institute of Technology, Jaipur (MNIT) with the Bachelor in Technology of Computer Engineering in 2013. My Bachelor theis project was supervised by Dr. Manoj Singh Gaur.
I am interested in research areas of Automated Formal Verification, System Security and Privacy, Trusted Execution Environment, Cryptography and Protocol Design. I am actively looking for faculty positions in India to serve back in my country.
Awards & Honors
- Graduate Student Research Award, Department of Computer Science and Engineering, The Ohio State University. [Info] 2024
- Awarded Sesquicentennial Student Scholar Leadership Program and the Scholarship. [Info][Video] 2019 - 2023
- Spot Award for hard work and excellent automation of the project at MAQ Software, India. [Info] 2013
- Pioneering implementation of Linux Device Driver during the internship at the Defense Research and Development Organization, India. [Info] 2012
- 1st position in Cluster Level Computer Science and Intel Exhibition, India. 2006
- My research contribution with Dr. Srinivasan Parthasarathy's and with the Department of Sociology at The Ohio State University on illegal online markets, Darknet, has been acknowledged in research Paper 1 and Paper 2.
Publications
-
Deanonymizing Device Identities via Side-channel Attacks in Exclusive-use IoTs & Mitigation
PDF
Github 2025
Christopher Ellis, Yue Zhang, Mohit Kumar Jangid, Shixuan Zhao, Zhiqiang Lin
Network and Distributed System Security (NDSS) Symposium San Diego, CA, February 2025. -
Extrapolating Formal Analysis to Uncover Attacks in Bluetooth Passkey Entry Pairing
PDF
Github
Talk 2023
Mohit Kumar Jangid, Yue Zhang, Zhiqiang Lin
Network and Distributed System Security (NDSS) Symposium San Diego, CA, March 2023. -
Towards A TEE-based V2V Protocol For Connected And Autonomous Vehicles
PDF
Github
Talk 2022
Mohit Kumar Jangid, Zhiqiang Lin
In Proceedings of the Automotive and Autonomous Vehicle Security (AutoSec) Workshop 2022, San Diego, CA, April 2022. -
Towards Formal Verification of State Continuity for Enclave Programs
PDF
Github
Talk 2021
Mohit Kumar Jangid, Guoxing Chen, Yinqian Zhang, Zhiqiang Lin
USENIX Security 21, In Proceedings of the 30th USENIX Security Symposium, August 2021.
Grant Contribution
-
Advancing Security and Privacy of Bluetooth IoT via Formal Life Cycle Analysis and Modelling
[Info]
2023
National Security Agency (NSA), Science of Security, USA.
Co-wrote the grant proposal with PI, Zhiqiang Lin, The Ohio State University.
Other Research Experiences
Teaching Experience
-
CSE 2421: Systems I: Introduction to Low-Level Programming and Computer Organization
[Info]
2023
The Ohio State University, Columbus, Ohio, USA
Role: Instructor, Logistics: 37 Undergraduate students, 4 Credit Hours, 1 Grader
Student Organization Leadership
- Global Ambassador, Office of International Affairs at The Ohio State University. [Info] 2023 - 2024
- Student Leadership Advocate, Office of Student Life the at Ohio State University. [Info] 2022 - 2023
- Treasurer, SKY (Sudarshan Kriya Yoga by Art of Living) at The Ohio State University [Info]2021 - 2022
- University Liaison, International Friendship Organization at The Ohio State University [Info]2020 - 2021
Other Professional Services
- Group Leader, International Buck-I-Serv Service Trip to Guatemala, Office of Student Life the at Ohio State University [Info]Mar 2024
- Emcee, Holi Festival at The Ohio State University organized by International Friendship, USA [Info]Mar 2023
- Emcee, Vision Conference organized by Bridges Internationals, USA [Info]Dec 2020
- Coordinator, ALOHA Technical Festival, Creative Art Society, Malaviya National Institute of Technology, Jaipur, India [Info]Mar 2011
Academic Services
-
Session chair
- Automotive and Autonomous Vehicle Security (AutoSec) Workshop 2022, San Diego, CA [Info] 2022
-
External Reviewer
- IEEE Symposium on Security and Privacy, 2024, 2019 span>
- Annual Computer Security Applications Conference (ACSAC), 2024 span>
- IEEE Transactions on Dependable and Secure Computing, 2023 span>
- Network and Distributed System Security (NDSS), 2023 span>
- IEEE Transactions on Intelligent Transportation Systems, 2022 span>
- European Symposium on Research in Computer Security (ESORICS), 2022 span>
- Automotive and Autonomous Vehicle Security (AutoSec), 2022 span>
- Detection of Intrusions and Malware, and Vulnerability Assessment (DIMVA), 2019 span>
- IEEE/ACM International Conference on Automated Software Engineering, 2019span>
- ACM Digital Threats: Research and Practice, 2019span>
Industry Experience
Presentation and Talks
-
Formalizing Unxplored Privacy Terrain: Allowlist Tracking
- International Computer Science Institute, Berkeley, California, USA July 2024
-
Extrapolating Formal Analysis to Uncover Attacks in Bluetooth Passkey Entry Pairing
- CISPA Helmholtz Center for Information Security, Germany July 2022
- Network and Distributed System Security (NDSS) Symposium San Diego, California, USA Mar 2023
-
Towards a TEE-based V2V Protocol for Connected and Autonomous Vehicles
- Automotive and Autonomous Vehicle Security (AutoSec) Workshop, San Diego, California, USA Apr 2022
-
Towards Formal Verification of State Continuity for Enclave Programs
- 30th USENIX Security Symposium Aug 2021