research area

Available and Secure Networks and Communications

dividing line

Current Projects:

Analyzing the Threat Dynamics of Complex Networked Systems

Recent Publications

An Empirical Investigation of Six Software Error Detection Methods", International Journal of Software Testing, Verification and Reliability, May 2002, written with S.S. So, S. D. Cha and K.R. Kwong;

"Cyber Intelligence Analysis", Contemporary Security Policy, August 2002, written with C. Dunlevy and P. Williams; "Countering CyberWar" NATO Review, Winter 2001-2002, written with C. Dunlevy and P. Williams;

"Software Security in an Internet World: An Executive Summary", IEEE Software, July 1999, written with J.J. McDermott;

"EASEL: Emergent Algorithm Simulation Environment Language"

[email]

Use Carnegie Mellon's Directory

timothy shimeall

Timothy Shimealltimothy J. Shimeall is a Senior Member of the Technical Staff with the Networked Systems Survivability Program at the Software Engineering Institute (SEI). The CERT Coordination Center is also a part of this program, and Tim's work draws heavily on data from there.

Tim is responsible for overseeing and participating in the development of analysis methods in the area of network systems security and survivability. This work includes development of methods to identify trends in security incidents and in the development of software used by computer and network intruders. Of particular interest are incidents affecting defended systems and malicious software that are effective despite common defenses.

Education

Ph.D. degree in Information & Computer Science, University of California, Irvine, in March 1989.

Professional Background

Before joining the SEI, Tim was an Associate Professor at the Naval Postgraduate School in Monterey, CA. He was an active instructor on a variety of topics in software engineering, information warfare and security, and supervised in excess of 30 MS theses and 3 Ph.D. theses. Tim has taught courses for a variety of educational institutions and private corporations, in both local and distance learning formats.
Tim's work has included theoretical studies of the behavior of software faults, evaluation of testing methods, development and implementation of tool sets for safety-critical software analysis, development of security policy and techniques, development of strategic frameworks for information warfare, and development in security evaluation methods for military systems.