Experience with testing and rigorous program analysis for qualification of RTOS. - Amol Wakankar; Arindam Khan 002; G. Aravamuthan; A. K. Bhattacharjee (ISEC, 2013)

Design and Analysis of a Modified Remote Attestation Protocol. - Monika Santra; Sateesh Kumar Peddoju; A. K. Bhattacharjee; Arindam Khan 002 (TrustCom/BigDataSE/ICESS, 2017)

Symbolic execution based feature extraction for detection of malware. - Naveen Namani; Arindam Khan 002 (ICCCS, 2020)