Towards Formal Verification of State Continuity for Enclave Programs. - Mohit Kumar Jangid; Guoxing Chen; Yinqian Zhang; Zhiqiang Lin 001 (USENIX Security Symposium, 2021)

Extrapolating Formal Analysis to Uncover Attacks in Bluetooth Passkey Entry Pairing. - Mohit Kumar Jangid; Yue Zhang 025; Zhiqiang Lin 001 (NDSS, 2023)

Deanonymizing Device Identities via Side-channel Attacks in Exclusive-use IoTs & Mitigation. - Christopher Ellis; Yue Zhang 025; Mohit Kumar Jangid; Shixuan Zhao 002; Zhiqiang Lin 001 (NDSS, 2025)