Harshit J. Shah

According to our database, Harshit J. Shah authored at least 6 papers between 2007 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2011

Towards Checking Tampering of Software.

N. V. Narendra Kumar, Harshit J. Shah, R. K. Shyamasundar

Proceedings of the Cyber Security, Cyber Crime and Cyber Forensics, 2011

2010

Can we certify systems for freedom from malware.

N. V. Narendra Kumar, Harshit J. Shah, R. K. Shyamasundar

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

Malware: From Modelling to Practical Detection.

R. K. Shyamasundar, Harshit J. Shah, N. V. Narendra Kumar

Proceedings of the Distributed Computing and Internet Technology, 2010

2009

Backward-compatible constant-time exception-protected memory.

Pradeep Varma, R. K. Shyamasundar, Harshit J. Shah

Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009

Concurrent SSA for general barrier-synchronized parallel programs.

Harshit J. Shah, R. K. Shyamasundar, Pradeep Varma

Proceedings of the 23rd IEEE International Symposium on Parallel and Distributed Processing, 2009

2007

On Run-Time Enforcement of Policies.

Harshit J. Shah, R. K. Shyamasundar

Proceedings of the Advances in Computer Science, 2007