University of California Santa Barbara: Reliable Software Group
Works on languages and tools for designing, building, and validating software systems - with a focus on threat detection and analysis. Includes details of projects and staff profiles.