Mohit Kumar Jangid

According to our database, Mohit Kumar Jangid authored at least 2 papers between 2021 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Extrapolating Formal Analysis to Uncover Attacks in Bluetooth Passkey Entry Pairing.

Mohit Kumar Jangid, Yue Zhang, Zhiqiang Lin

Proceedings of the 30th Annual Network and Distributed System Security Symposium, 2023

2021

Towards Formal Verification of State Continuity for Enclave Programs.

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

Proceedings of the 30th USENIX Security Symposium, 2021