Research: Program Analysis, Formal Methods, Information Security
Advisor: Dr. Deepak D' Souza
Resume: pdf
Publications
| Model-checking bisimulation-based information flow properties for infinite state systems (with Deepak D'Souza) appeared in Proceedings of European Symposium on Research in Computer Security (ESORICS) 2012, Pisa |
pdf tech report slides bibtex |
|
SEAL: A Logic programming framework for specifying and verifying access control models (with Prasad N) to appear in SACMAT 2011 |
pdf bibtex |
|
Model Checking Trace Based Information Flow Properties (with Deepak D'Souza, Barbara Sprick and Ravindra Holla) appeared in Journal of Computer Security 2011 |
pdf bibtex |
| On the Decidability of Model-Checking Information Flow Properties (with Deepak D'Souza, Barbara Sprick, Raveendra Holla and Janardhan Kulkarni) appeared in Proceedings of International Conference on Information Systems and Security (ICISS) 2008, Hyderabad |
pdf slides bibtex |
| Checking Unwinding Conditions for Finite state systems (with Deepak D'Souza) appeared in Proceedings of VERIFY workshop 2006 | pdf slides bibtex |
| An Automata Based approach
for verifying information flow properties (with Deepak D'Souza and Barbara Sprick) appeared in Proceedings of ARSPA workshop 2005 | pdf slides bibtex |