The KU Science of Security Lablet is making interdisciplinary contributions to security science synthesizing knowledge and innovation from computer science, electrical engineering, psychology, sociology, and philosophy. The Lablet’s work includes focuses on the foundational nature of resiliency, defining and establishing trust, understanding privacy in IoT architectures, understanding and preventing side-channel attacks, and developing techniques for secure, native binary execution. In all areas the Lablet seeks foundational solutions rooted in formal mathematical analysis and empirical scientific study. The interface between analytical and experimental research promises a broad basis for understanding security problems and solutions. Applications are drawn primarily from cyber physical systems and internet of things where proliferation and rapid change present increasingly difficult security problems.
Projects
Cloud-Assisted IoT Systems Privacy
Fengjun Li and Bo Luo, University of Kansas
Formal Approaches to the Ontology & Epistemology of Resilience
John Symons, University of Kansas
Scalable Trust Semantics & Infrastructure
Perry Alexander and Garrett Morris, University of Kansas
Side-Channel Attack Resistance
Heechul Yun, University of Kansas
Secure Native Binary Execution
Prasad Kulkarni, University of Kansas