Matthew C. Elder
Sr. Manager, Development
Symantec Research Labs
Symantec Corporation
Research and Professional Interests
Computer Security:
- Anti-virus software and management systems.
- Intrusion detection systems and intrusion prevention systems.
Critical Infrastructure Systems:
- Survivability, safety, and dependability.
- Fault tolerance.
Software Engineering:
- Requirements and specification.
- Applied formal methods.
Education
Ph.D., Computer Science: May 2001
University of Virginia (Charlottesville, VA): 1997-2001
Dissertation: Fault Tolerance in Critical Information Systems
Advisor: John C. Knight
GPA: 3.95/4.00
M.S., Computer Science: August 1995
University of Virginia (Charlottesville, VA): 1993-1995
Master's Thesis: Formal Specification of User Interfaces for
Safety-Critical Systems
Advisor: John C. Knight
GPA: 3.71/4.00
B.S., Computer Science, Magna Cum Laude: May 1993
Virginia Tech (Blacksburg, VA): 1990-1993
GPA: 3.81/4.00 (Overall), 3.78/4.00 (Major)
Minor: Mathematics
Employment Experience
Sr. Manager, Development
Symantec Corporation, Symantec Research Labs.
April 2004 - present
Research Scientist
Network Associates / McAfee Security, NAI Labs & Applied Research Group.
June 2001 - March 2004:
- Co-authored a DARPA proposal that was successfully awarded /
funded in the area of advanced worm research, entitled "DE-Worm:
Defending the Enterprise from Worms".
- Served as Principal Investigator on the DE-Worm project, leading
the development and assessment of detection and response prototypes.
- Co-authored a patent submission for anti-virus management technology
in the area of client compliance; led the development of a
proof-of-concept prototype; worked with a variety of internal and
external stakeholders (e.g., developers, product managers, trial
customers) to successfully transfer the technology to a McAfee
product team.
- Conducted a DARPA research project investigating security
patterns - design patterns for (web) security; wrote a template,
tutorial, and initial repository of patterns; developed a sample
application for demonstration of feasibility and initial evaluation.
- Developed a security management application as a part of a four-person
team on a multi-million dollar custom solutions project.
Graduate Research Assistant
University of Virginia, Department of Computer Science.
August 1997 - May 2001:
- Developed the RAPTOR System for fault tolerance in critical
information systems and a Z specification methodology for
description of fault tolerance requirements; specified two
infrastructure models validating RAPTOR.
- Conducted domain analysis in critical infrastructure applications
and their security.
August 1993 - July 1995:
- Developed formal specification process for user interfaces of
safety-critical systems.
- Designed and implemented Operator and Engineering Displays for two
evaluation applications, the Magnetic Stereotaxis System and UVA
Nuclear Reactor prototype.
Member of Technical Staff
Telogy Networks (now a division of Texas Instruments).
July 1995 - July 1997:
- Developed device drivers and applications for the Windows NT/95
Desktop ATM Product Line.
- Performed customer service, marketing, and sales support for
the Windows NT/95 Desktop ATM Product Line.
Lab Consultant
Virginia Tech, Department of Computer Science.
January 1992 - April 1993:
- Provided support to lab users with hardware, software, and
programming problems.
- Maintained lab hardware and software configurations.
Summer Technical Employee
Eastman Chemical Company.
June 1992 - August 1992:
- Modified and maintained existing Polymers MIS code, addressing
portability issues.
- Designed new monitor application using object-oriented, real-time
expert system (M/POWER).
Computer Assistant
USDA-NASS Area Frame Section.
May 1991 - August 1991:
- Designed an application to trim unnecessary DLG data from map files.
- Developed other tools to assist users in sampling activities.
Engineering Aide
NASA Langley Research Center.
June 1989 - August, 1989:
- Implemented and evaluated matrix inversion algorithms for
structural mechanics application.
- Chosen as part of 1989 Virginia Governor's School Program.
Publications
Darrell M. Kienzle and Matthew C. Elder.
Recent Worms: A Study and Trends.
Workshop on Rapid Malcode (WORM '03): Washington, D.C. (October 2003).
John C. Knight and Matthew C. Elder.
Fault Tolerant Distributed Information Systems.
International Symposium on Software Reliability Engineering (ISSRE 2001):
Hong Kong (November 2001).
Chenxi Wang, John C. Knight, and Matthew C. Elder.
On Viral Propagation and the Effect of Immunization.
16th Annual Computer Security Applications Conference (ACSAC 2000):
New Orleans, LA (December 2000).
John C. Knight, Kevin J. Sullivan, Matthew C. Elder, and Chenxi Wang.
Survivability Architectures: Issues and Approaches.
DARPA Information Survivability Conference and Exposition (DISCEX 2000):
Hilton Head, SC (January 2000).
John C. Knight, Matthew C. Elder, and Xing Du.
Error Recovery in Critical Infrastructure Systems.
Computer Security, Dependability, and Assurance - From Needs to Solutions
(CSDA '98): Williamsburg, VA (November 1998).
John C. Knight, Kevin J. Sullivan, Xing Du, Matthew C. Elder,
Ray W. Lubinsky, and John McHugh.
Enhancing the Survivability of Critical Information Systems.
Fastabstracts Proceedings: Twenty-Eighth International Symposium on
Fault-Tolerant Computing (FTCS28): Munich, Germany (June 1998).
John C. Knight, Matthew C. Elder, and Susan S. Brilliant.
Formal Specification of a User Interface.
American Nuclear Society Meeting on Nuclear Plant Instrumentation,
Control, Human Machine Interface Technologies: University Park, PA
(May 1996).
Matthew C. Elder and John C. Knight.
Specifying User Interfaces for Safety-Critical Medical Systems.
Second Annual International Symposium on Medical Robotics and
Computer Assisted Surgery (MRCAS '95): Baltimore, MD (November 1995).
Other Papers
Stavan M. Parikh and Matthew C. Elder.
Air Traffic Management Overview.
UVA Department of Computer Science Technical Report CS-2001-23
(October 2001).
Matthew C. Elder.
Fault Tolerance in Critical Information Systems.
Ph.D. Dissertation, UVA Department of Computer Science Dissertation
2001-05 (May 2001).
Matthew C. Elder.
Major Security Attacks on Critical Infrastructure Systems.
UVA Department of Computer Science Technical Report CS-98-23
(August 1998).
John C. Knight, Matthew C. Elder, et al.
Topics in Survivable Systems.
UVA Department of Computer Science Technical Report CS-98-22
(August 1998).
John C. Knight, Matthew C. Elder, Jim Flinn, and Patrick Marx.
Analysis of Four Critical Infrastructure Applications.
UVA Department of Computer Science Technical Report CS-97-27
(November 1997, updated September 1998).
Matthew C. Elder.
Specification of User Interfaces for Safety-Critical
Applications.
Master's Thesis, UVA Department of Computer Science Technical Report
CS-95-30 (July 1995).
Fellowships and Awards
National Science Foundation Graduate Fellowship Award (1994-1995,
1997-1999)
University of Virginia Dean's Fellowship (1993-1995)
University of Virginia Department of Computer Science Fellowship
(1993-1995)
1993 Who's Who in American Colleges and Universities
1993 Elie Wiesel Prize in Ethics Essay Contest National Semifinalist
1992 Mobil Scholarship, Virginia Tech Department of Computer Science
1991 Kodak Scholar, Virginia Tech Department of Computer Science
Academic Dean's List, Virginia Tech: all semesters
Virginia Tech Computer Science Department Scholarships
National Merit Finalist, National Merit Scholarship
Professional and Honor Society Affiliations
Association for Computing Machinery
IEEE Computer Society
Phi Beta Kappa
Omicron Delta Kappa
Phi Kappa Phi
Mortar Board
Golden Key (Secretary, 1992)
Gamma Beta Phi (Group Leader, 1993)
Upsilon Pi Epsilon
http://www.cs.virginia.edu/~mce7e