|
|
Education
B.E., Electrical Engineering
Osmania University, India (1969)
M.S., Electrical Engineering and Computer Science
Indian Institute of Technology at Kanpur, India (1973)
Ph.D., Computer Science
U of Illinois at Urbana-Champaign (1976)
I teach courses on internet security, distributed computing, operating systems, and software engineering. My research interests are internet security, distributed computing, formal methods in software engineering, and language design. I designed a specification and design language called OM. I have directed several MS theses, and three Ph.D. dissertations.
Selected Publications
P. Mateti, V. Pothamsetty, and B. Murray, Security enhancement of network protocol RFCs, 35pp, in Handbook on Security and Networks, Editors: Frank Li, Yang Xiao and Hui Chen, World Scientific Publishing Co., 2009.
P. Mateti, Security Issues in the TCP/IP Suite, in Security in Distributed and Networking Systems, pp. 3-30, Editors: Yang Xiao and Yi Pan, World Scientific Publishing Co., ISBN 978-981-270-807-6, Aug 2007.
P. Mateti, Hacking techniques in wireless networks, in The Handbook of Information Security, pp 991-1001, ISBN: 0-471-64833-7, John Wiley, December 2005.
Active Research Projects
Secure operating systems: Improving the security of Linux is a specific sub goal.
Formal specification and derivation of programs
|
Research Interests
Distributed computing, Internet security, formal methods in software design
|
