On Run-Time Enforcement of Policies. - Harshit J. Shah; R. K. Shyamasundar (ASIAN, 2007)

Concurrent SSA for general barrier-synchronized parallel programs. - Harshit J. Shah; R. K. Shyamasundar; Pradeep Varma (IPDPS, 2009)

Backward-compatible constant-time exception-protected memory. - Pradeep Varma; R. K. Shyamasundar; Harshit J. Shah (ESEC/SIGSOFT FSE, 2009)

Malware: From Modelling to Practical Detection. - R. K. Shyamasundar; Harshit J. Shah; N. V. Narendra Kumar (ICDCIT, 2010)

Can we certify systems for freedom from malware. - N. V. Narendra Kumar; Harshit J. Shah; R. K. Shyamasundar (ICSE (2), 2010)

Towards Checking Tampering of Software. - N. V. Narendra Kumar; Harshit J. Shah; R. K. Shyamasundar (Cyber Security, Cyber Crime and Cyber Forensics, 2011)