Education
- Ph.D. University of Idaho at Moscow, 2004.
- B.E. in Computer Science and Engineering, Osmania University, Hyderabad, India, 1999.
Research Interests
Research interests: Network security, Cryptographic protocol design and analysis, Formal methods to analyze secure systems.