Software Systems Security Laboratory

The Software Systems Security Laboratory explores the broad area of software systems, including software security, protection, analysis, verification, software and information assurance, programming languages, and software engineering. Our research improves the practice of software design and implementation by creating high assurance secure computing and information platforms and systems, improving software and systems security, developing innovative software analysis and verification technologies, and promoting rigorous and secure software engineering practice.