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

Programs

Research Experience for Undergraduates

Reverse Engineering Software Systems

Resilient Architectures

Software Synthesis

Software Security Testing

Vulnerability Discovery and Intelligence

Secure By Design

Medical Device Security and Safety

Industrial Control Systems

Laboratory of Software Design and Productivity