The Cyber OogwayRESEARCH LAB · IIT JODHPUR

PUBLICATIONS / VERIFIED ARCHIVE

Work you can trace to its source.

This archive contains Dr. Jangid’s earlier publications. It does not represent work produced by Cyber Oogway Lab at IIT Jodhpur.

Showing 4 publications

01
2025Network and Distributed System Security (NDSS) SymposiumSystem security and privacy

Deanonymizing Device Identities via Side-channel Attacks in Exclusive-use IoTs & Mitigation

Christopher Ellis, Yue Zhang, Mohit Kumar Jangid, Shixuan Zhao, Zhiqiang Lin

Studies observable communication patterns in trusted device relationships and a privacy-preserving mitigation.

Paper Code DOI BibTeX ↓
02
2023Network and Distributed System Security (NDSS) SymposiumFormal verification

Extrapolating Formal Analysis to Uncover Attacks in Bluetooth Passkey Entry Pairing

Mohit Kumar Jangid, Yue Zhang, Zhiqiang Lin

Uses Tamarin to model Bluetooth Passkey Entry pairing and analyze its security properties.

Paper Code BibTeX ↓
03
2022Automotive and Autonomous Vehicle Security (AutoSec) WorkshopTrusted execution environments

Towards a TEE-based V2V Protocol for Connected and Autonomous Vehicles

Mohit Kumar Jangid, Zhiqiang Lin

Explores a vehicle-to-vehicle protocol using trusted execution environments and protected keys.

Paper Code BibTeX ↓
04
202130th USENIX Security SymposiumTrusted execution environments

Towards Formal Verification of State Continuity for Enclave Programs

Mohit Kumar Jangid, Guoxing Chen, Yinqian Zhang, Zhiqiang Lin

Models state continuity for SGX enclave programs with Tamarin and examines rollback-related flaws.

Paper Code BibTeX ↓