| Location | Computer Science |
| Mission |
To advance research and education in computer, network and information security and assurance; to foster research collaborations between information assurance and traditional computer science areas such as database systems, operating systems, programming languages, formal methods, and verification. |
| Hardware | PCs |
| Operating System |
Linux, MS Windows |
| Software |
Latex, Emacs, C, C++, GNU C, GNU C++, Java, Pine, MS Studio |
| Details |
The Center for Cybersecurity is a collection of six laboratories under an organizational umbrella:
- Secure Systems Lab
- Applied Logic Lab
- Concurrency and Verification Lab
- Design and Analysis Research Lab
- Experimental Computer Systems Lab
- File systems and Storage Lab
|
| Funding |
NSF,
ONR,
DARPA, Army Research, Airforce Research and NIST.
|
| Director |
R. Sekar |
| Web Page |
Center for Cyber Security |
