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.