|
Location
|
CS 2231
|
|
Mission
|
Research techniques for making network and software systems highly secure and reliable.
|
|
Hardware
|
X86 PC
|
|
Operating System
|
Linux, MS Windows
|
|
Software
|
Gnome, GNU C, GNU C++, Latex, Emacs
|
|
Details
|
Current work includes:
- network or software based attacks,
- detection and confinement, and
- Software Analysis and Debugging Tools to detect defects in complex systems.
|
|
Funding
|
National Science Foundation, Office of Naval Research,
DARPA, Air Force Office of Scientific Research, Computer Associates
|
|
Coordinator
|
R. Sekar
|
|
Lab Web Page
|
Secure Systems Lab
|
