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.

Perry Alexander

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