1. K-State home
  2. »DCM
  3. »K-State News
  4. »News
  5. »

K-State News

K-State News
Kansas State University
128 Dole Hall
1525 Mid-Campus Dr North
Manhattan, KS 66506

785-532-2535
media@k-state.edu

NSF-funded project focuses on improved security of smart devices

Wednesday, Oct. 14, 2020

Xiaolong Guo

Kansas State University's Xiaolong Guo, assistant professor of electrical and computer engineering, has received a three-year, $250,000 grant from the National Science Foundation Division of Computing and Communication Foundations for the project "Property-specific Hardware-oriented Formal Verification Modules for Embedded Systems." | Download this photo.

 

 

MANHATTAN — Smart homes, smart infrastructure, smart health and more — the list of applications embedded with sensors, software and other technologies for the purpose of connecting and exchanging data with other devices continues to drive the need for rigorous analysis of hardware and software critical to ensuring the safety and security of these systems.

The National Science Foundation Division of Computing and Communication Foundations has awarded a $250,000, three-year grant to Xiaolong Guo, assistant professor in the Mike Wiegers Department of Electrical and Computer Engineering at Kansas State University, for further research in this area.

Guo will collaborate on the project "Property-specific Hardware-oriented Formal Verification Modules for Embedded Systems" with Tuba Yavuz, assistant professor of electrical and computer engineering at the University of Florida.

Things unique to their approach include a property-directed co-model extraction and a property-specific run-time validation process to achieve scalability and precision in detecting bugs due to hardware-software interactions.

"If successful, the research will deliver methodologies, automation tools and system-level benchmarks that will allow vendors to detect security and safety vulnerabilities in early stages," Guo said. "Its greatest impact will be on workforce training and broadening participation in formal methods and embedded-system security."

This will primarily be achieved through courses Guo will develop and teach in the Carl R. Ice College of Engineering, outreach events and collaborations with industry.



Source

Xiaolong Guo
guoxiaolong@k-state.edu

Pronouncer

Xiaolong Guo is Sha-oh-long Gwo

Website

Mike Wiegers Department of Electrical and Computer Engineering

Written by

Mary Rankin
mrankin@k-state.edu