![EECS Students at JayHacker Event](/sites/ittc-research/files/styles/7_5_placeholder_/public/images/2022/index.jpg?h=33efbd03&itok=HfRj5_CT)
High Assurance and Secure Systems Center
About the DirectorAbout HASSC:
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.
Center Info
- 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
HASSC Researchers
![Alexandru Bardas](/sites/ittc-research/files/styles/portrait_col_lg_3/public/images/person-profile/AlexBardas.jpg?h=de7b58d5&itok=CimHDrOP)
Alexandru Alex Bardas
Associate Professor, EECS
![Drew Davidson](/sites/ittc-research/files/styles/portrait_col_lg_3/public/images/person-profile/DrewDavidson.jpg?h=de7b58d5&itok=Vkcu31Uf)
Drew Davidson
Associate Professor, EECS
![Professor Fengjun Li](/sites/ittc-research/files/styles/portrait_col_lg_3/public/images/person-profile/lfj-2019.jpg?h=610e62c4&itok=DEy87uFb)
Fengjun Li
Professor, EECS
![Bo Luo](/sites/ittc-research/files/styles/portrait_col_lg_3/public/images/person-profile/BoLuo.jpg?h=de7b58d5&itok=b_N6x49T)
Bo Luo
Professor, EECS, Director | High Assurance and Secure Systems Center