Follow
Mohit Kumar Jangid
Title
Cited by
Cited by
Year
Towards Formal Verification of State Continuity for Enclave Programs
MK Jangid, G Chen, Y Zhang, Z Lin
30th USENIX Security Symposium (USENIX Security 21), 573-590, 2021
112021
Towards A TEE-based V2V Protocol For Connected And Autonomous Vehicles
MK Jangid, Z Lin
Workshop on Automotive and Autonomous Vehicle Security (AutoSec) 2022, 27, 2022
32022
The system can't perform the operation now. Try again later.
Articles 1–2