Get started
Author

Mohit Kumar Jangid

Observed names: Jangid, Mohit Kumar, Mohit Jangid
OpenAlex ID: A5036803131
Extrapolating Formal Analysis to Uncover Attacks in Bluetooth Passkey Entry Pairing
2023 · Mohit Kumar Jangid, Yue Zhang, et al. · Network and Distributed System Security Symposium · 17
PDF
Towards Formal Verification of State Continuity for Enclave Programs
2021 · Mohit Kumar Jangid, Guoxing Chen, et al. · USENIX Security Symposium · 10
Deanonymizing Device Identities via Side-channel Attacks in Exclusive-use IoTs & Mitigation
2025 · Christopher Ellis, Yue Zhang, et al. · Network and Distributed System Security Symposium · 5
PDF
Towards a TEE-based V2V Protocol for Connected and Autonomous Vehicles
2022 · Mohit Kumar Jangid, Zhiqiang Lin · International Workshop on Automotive and Autonomous Vehicle Security (AutoSec) · 5
PDF
A Formal Analysis of Agent Payment Protocols
2026 · Jiang, Ke, Yu, Mohan, et al. · arXiv (Cornell University)
PDF
Association-based Privacy Attacks in Wireless Protocols: Formal Modeling and Mitigation
2026 · Jangid, Mohit Kumar, Engelmann, Felix, et al. · arXiv (Cornell University)
PDF
A Review on Cybersecurity Law and Management
2024 · Kuntal Gaur, Roshmeet Chakraborty, et al. · Lecture notes in networks and systems
Works count: 7
Citation count: 37
H-index: 4
I10-index: 2
Year
Topic
Type