Mohit Kumar Jangid

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Extrapolating Formal Analysis to Uncover Attacks in Bluetooth Passkey Entry Pairing.
Proceedings of the 30th Annual Network and Distributed System Security Symposium, 2023

2021
Towards Formal Verification of State Continuity for Enclave Programs.
Proceedings of the 30th USENIX Security Symposium, 2021


  Loading...