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
|