University of Oxford Logo University of OxfordDepartment of Computer Science - Home

Vijay D'Silva

No Personal Image Available
Vijay Victor D'Silva
Doctoral Student


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. 

Selected Publications

View all

Manage publications

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.