I am currently a postdoc in Computer Science at the University of California, Berkeley. My current research is about combining various techniques to detect malware on Android phones. I was a DPhil student in Oxford from August 2008 to September 2011. During that period, I worked on interpolation-based model checking, program analysis, and SAT and SMT solvers. In my pre-doctoral life, I had hardware inclinations and worked on timing analysis of sequential circuits, and the design of bus protocols. I have always had a strong interest in automata theory and logic, but have not published much in those areas.
I defended my DPhil in March 2012 and my dissertation was accepted by the committee in December 2012. I received the degree of Diplom. Wirtschaftsinformatik from the University of Zurich in 2006 and a Bachelor of Technology in Computer Science and Engineering from IIT Bombay in 2002.
Contextual Policy Enforcement in Android Programs with Permission Event Graphs
Kevin Chen‚ Noah Johnson‚ Vijay D'Silva‚ Shuaifu Dai‚ Tom Magrino‚ Kyle Macnamarra‚ Edward Wu‚ Martin Rinard and Dawn Song
In Proc. of the Conference on Networked and Distributed System Security. 2013.
Abstraction of Syntax
V. D'Silva and D. Kroening
In Proc. of the conference on Verification‚ Model Checking and Abstract Interpretation. Springer−Verlag. 2013.
Abstract Conflict Driven Learning
V. D'Silva‚ L. Haller and D. Kroening
In Proc. of the Symposium on Principles of Programming Languages. ACM. 2013.