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
    • Automated Design of Software Exploits
  • Publications
  • Personnel
    • Current Lab
    • Alumni
  • Recruitment
  • About Us

Programs

Automated Synthesis of Software Exploits

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