The High Assurance and Secure Systems Center (HASSC) provides a University-wide focal point for those involved in cybersecurity research, development, and education. HASSC researchers cover a wide spectrum of security and privacy research, including system security, network security, data/information security, hardware security, and privacy. Expertise includes theoretical modeling, synthesis and verification, threat modeling and analysis, applied cryptography and blockchain, and secure system design. Expanding leading-edge cybersecurity and defense mechanisms earned KU federal National Center of Academic Excellence in Cyber Defense Education (CAE-CD) and Research (ACE-R) dual designations.
SELinux installation, virtualization environment, SAL, PVS, and Isabelle verification tools and expertise, Rosetta specification and analysis capabilities, computational cluster with over 1,000 processors connected to 37 TB of on-line storage, cyber defense teaching lab, Ripple Blockchain Institute, KU Information Security Club virtualized training platform, access to major security publications through KU Libraries