Timothy Shimeall
Senior Member of the Technical Staff
Network Situational Awareness
|
contact:
CERT®
Software Engineering Institute
Carnegie Mellon University
Pittsburgh, PA 15213-3890
[412] 268-7611
|
bio
Timothy J. Shimeall's work draws heavily on data from the CERT Coordination Center. He is responsible for overseeing
and participating in the development of analysis methods in the area of network systems security and survivability.
This work includes the 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.
Before joining the SEI, Shimeall was an associate professor at the Naval Postgraduate School in Monterey, California.
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 PhD theses.
Shimeall has taught courses for a variety of educational institutions and private corporations, in both local and distance learning formats.
research interests
Shimeall's work includes theoretical studies of the behavior of software faults, evaluation of testing methods, development and
implementation of tool sets for safety-critical software analysis, and development of security policy and techniques, strategic
frameworks for information warfare, and security evaluation methods for military systems.
recent publications
T. Shimeall, C. Dunlevey, P. Williams. "Cyber Intelligence Analysis." Contemporary Security Policy. August 2002.
T. Shimeall, S.S. So, S.D. Cha, K.R. Kwong. "An Empirical Investigation of Six Software Error Detection Methods." International Journal of Software Testing, Verification and Reality. May 2002.
T. Shimeall, C. Dunlevy, P. Williams. "Countering CyberWar." NATO Review. Winter 2001-2002.
T. Shimeall, J.J. McDermott. "Software Security in an Internet World: An Executive Summary." IEEE Software. July 1999.
T. Shimeall, D. Fisher. "EASEL: Emergent Algorithm Simulation Environment Language." Information Survivability Workshop. Orlando, FL. November 1998.
T. Shimeall, S.C. Shimeall. "Don't Waste Your Bugs." Software Development. March 1997.
T. Shimeall, J. Arquilla. "A Matrix Model of Information Infrastructure in Expeditionary Warfare." Asilomar Conference in Advanced Technology Pacific Grove, CA. December 1996.
T. Shimeall, S.S. Cha, N.G. Leveson. "Safety Verification of Ada Using Fault Tree Analysis." IEEE Computer. July 1991.
T. Shimeall, N.G. Leveson. "An Empirical Comparison of Software Fault Tolerance and Fault Elimination." IEEE Transactions on Software Engineering. February 1991.
links
