Embedded Systems Applications
Agents, Algorithms and Artificial Intelligence group
The AAA research group (formerly BIC) at K-State is involved in theoretical and applied research in machine learning, algorithm analysis, multiagent systems, game theory, multi-objective optimization and soft computing techniques for prediction, structure discovery, and other applications in terrestrial and shipboard power systems, smart grid and computational genomics.
The group has received external funding from the National Science Foundation, Department of Defense and the U.S. Department of Agriculture in the areas of gene network modeling, shipboard systems and power distribution systems.
Hardware Security Lab
Research in K-State Hardware Security Lab mainly focuses on developing formal methods for ensuring security and 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.