At the heart of countless cyberattacks is a single flaw in the code making up a piece of software. CyLab researchers are focusing their efforts on improving software security in a variety of ways, from creating automated methods of finding and fixing software bugs to verifying the security of software without compromising its performance.


Learn who at CyLab is working in software security.


  • data security and privacy
  • formal methods for security
  • language-based security
  • malware analysis and detection
  • privacy engineering
  • software security
  • verification
  • web security

Software security @ CyLab