The following laboratories are affiliated with the Center for Cybersecurity.

• Applied Logic Laboratory
• Concurrency and Verification Laboratory
• Design and Analysis Research Laboratory
• Experimental Computer Systems Laboratory
• File systems and Storage Laboratory
• Network Security and Applied Cryptography Laboratory
• Secure Systems Laboratory

Maintained by Sekar, sekar@cs.sunysb.edu
Last Modified 12/26/03