[PRL] Fwd: [professors] Fwd: [ECE_Faculty] ECE Lecturer Series - Oct 29, 2009 (fwd)

[Mitchell Wand]

This may be of interest to PRL members.  --Mitch

---------- Forwarded message ----------
From: Agnes Chan <ahchan at ccs.neu.edu>
Date: Tue, Oct 27, 2009 at 4:08 PM
Subject: [professors] Fwd: [ECE_Faculty] ECE Lecturer Series - Oct 29, 2009
(fwd)
To: professors <professors at lists.ccs.neu.edu>


FYI. -- Agnes


The ECE Lecturer Series continues this Thursday, October 29, 2009, at 3 PM
in room 442 Dana.

Improving Software Security and
Robustness Using Automated Testing

Michael Zhivich, Information Systems Technology group, MIT Lincoln
Laboratory

Abstract
The complexity of software required to operate modern real-time embedded
systems (used in satellites and critical
infrastructure control) makes it prone to programming errors. Software
developers perform rigorous functionality
tests to reduce errors; nevertheless, serious problems such as memory
corruption and resource leaks may remain
in software operating critical systems. These errors in turn create
vulnerabilities that, if exploited, can affect the
availability, reliability, and integrity of operations and thus degrade the
system’s overall robustness.
This talk will discuss automated testing and analysis tools that can help
developers discover and redress
these kinds of vulnerabilities before software is put in operation. The
focus of the talk will be on MIT Lincoln
Laboratory’s DEADBOLT tool that automatically discovers memory corruption
problems, resulting not only
in more robust and secure software, but in lowered development and
maintenance costs for both software
developers and users.

--------------------------------------------------------------------------------------------
-------------- next part --------------
HTML attachment scrubbed and removed