Skip to content
Software Design and Productivity Lab
  • Home
  • Programs
    • Resilient Architectures
    • Secure By Design
    • Software Synthesis
    • Vulnerability Discovery and Intelligence
    • Software Security Testing
    • Industrial Control Systems
    • Medical Device Design
    • Reverse Engineering Software Systems
    • STEM Outreach
  • Publications
  • Personnel
    • Current Lab
    • Alumni
  • Recruitment
  • Partners
  • About Us

Programs

Vulnerability Discovery and Intelligence

Secure By Design

Medical Device Security and Safety

Industrial Control Systems

Software Security Testing

Software Synthesis

Resilient Architectures

Reverse Engineering Software Systems

Research Experience for Undergraduates

Laboratory of Software Design and Productivity