Suku Nair, Ph.D.
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
Efficient and Reliable Techniques for Validating Network Security
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.
Accomplishments and Awards
- Fault-tolerant computing and communications
- VLSI systems
- Software engineering
- J. Lindsay Embrey Trustee for Professorship in Engineering
- Member IEEE
- Member ACM
- B. Kapoor and V. S. S. Nair. 1996, "Improving
path sensitizability of combinationa l circuits." VLSI Design
- H. Kim and V. S. S. Nair. Nov. 1997, "Software fault tolerance
for distributed object-based computing." The Journal of
Systems and Software.
- K. Pillai and V. S. S. Nair. May, 1997, "A novel approach
to the analysis of non-stationary software measurement data."
Journal of Information and Software Technology, 39, no.5:363--373.
- K. Pillai and V. S. S. Nair. Aug. 1997, "A composite model
for early software cost prediction." IEEE Transactions on
Software Engineering, 23, no. 8:485--497.