Security and Verification Research Lab

The Security and Verification Research (SVR) Lab in Computer Science Department at SUNY Binghamton conducts research in the areas of information security and software reliability. Recent projects in SVRL have focused on algorithms and tools for analyzing trust management policies, mechanisms for ensuring security in scientific workflow provenance, virtual machine and network security, and verification of mobile processes and security protocols.

More information can be found at Projects and Publications.