Mohit Kumar Jangid

About Me

I am Assistant Professor at the Indian Institute of Technology, Jodhpur in the department of Computer Science and Engineering. I graduated 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. 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.

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

• Research Intern, CISPA Helmholtz Center for Information Security, Germany [Info] Summer 2022
• Research Intern, Defense Research and Development Organization, India [Info] Summer 2012

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

Industry Experience

• Quality Assurance Intern, ANSYS Inc, Canonsburg, Pennsylvania USA [Info]Summer 2018
• Software Engineer, MAQ Software, India [Info]2013-2015
• Developer Intern , Placement Automation System Software Development at Malaviya National Institute of Technology, Jaipur, India [Info] Summer 2011

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

Personal Source Code Release

   Visualize Graph Algorithm [Info] 2016-2017
   Android Automation Tools [Info] 2015-2017

Misc.

I like to explore and experience different arts of life -- Spirituality, Mindfulness, Science, Culture, Sports, Music, Painting, Dance etc.