Science of Security Lablet at the University of Kansas

SCIENCE OF SECURITY LABLET AT THE UNIVERSITY OF KANSAS

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.

Lead Principal Investigator: Perry Alexander

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

Perry Alexander