| 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 |
