Hardware Security Lab

Research in the K-State Hardware Security Lab mainly focuses on developing formal methods for ensuring security and

Labicon

trustworthiness of hardware/cyber systems and has contributed several key solutions that have been widely acknowledged and referenced by the newly emerging scientific community in the area of trusted hardware. Our current work covers the hardware and software security co-verification, Internet-of-Things (IoT) system security analysis, Proof-carrying hardware (PCH)-based hardware security verification, as well as analog/mixed signal domain vulnerability analysis.

 

 

Photo of Xiaolong Guo

Xiaolong Guo

Assistant Professor

Director of KSU Hardware Security Lab
Electrical and Computer Engineering
Kansas State University

Email: guoxiaolong@ksu.edu

 

Prior to joining the faculty at Kansas State University, Guo received his Ph.D. in electrical and computer engineering from University of Florida (UF) in 2019.

His general research interests focus on applying formal method and machine learning into detecting hardware security or cyber security issues. Specifically, his current work covers the following areas:

  • Hardware Security, Microarchitectural Level Security, Hardware and Software Co-Security Verification
  • Formal Verification, Program Analysis
  • Neural Network, Domain-Specific Applications of Large Language Model

Academic Highlights
  • First Awards from Kansas NSF EPSCoR, 2023
  • Best Paper Nominate in 26th Asia and South Pacific Design Automation Conference (ASP-DAC), 2021.
  • Best Paper Award in IEEE Asian Hardware Oriented Security and Trust Symposium (AsianHOST), 2020.
  • Best Paper Award in Design, Automation and Test in Europe Conference and Exhibition (DATE), 2019.