Associate Professor Computer Science and Engineering School of Engineering Southern Methodist University Ph.D. in Electrical and Computer Engineering, University of Illinois at Urbana, 1990 MS. in Electrical and Computer Engineering, University of Illinois at Urbana, 1988 B.S. in Electronics and Commuication Engineering, University of Kerala

The research will focus mainly on reliability and security of communication networks, specifically addressing problems in network security. With the unprecedented growth in electronic commerce on the worldwide web, a key concern is the security of the messages, which form the backbone of the electronic transactions. The objective of this research is to develop efficient and reliable techniques for validating the security of various protocols that are used in electronic commerce, at the design as well as at the implementation levels. Further, we propose to investigate the relationship between security and reliability of communication channels and thereby develop a new approach to ensuring security through Meta-channels. The body of knowledge developed in this research will draw from and contribute to the following key areas: network protocols, network simulation, formal verification of protocols, network reliability engineering, and genetic algorithms.