Proceedings of the 2015 Symposium and Bootcamp on the Science of Security

The Symposium and Bootcamp on the Science of Security (HotSoS), is a research event centered on the Science of Security (SoS). HotSoS 2015 follows on the heels of HotSoS 2014, establishing what we expect will be an annual pattern for bringing together researchers in the Science of Security. The motivation behind the study of the Science of Security is to focus on systems' security properties as fist-class objects of study. The challenges are in defining those properties precisely within some kind of modeling framework, prove theorems about those properties and how they are achieved, identify metrics and means of empirically gathering, estimating, and/or inferring them in an experimental context, design effective experiments to gather those metrics and make statistically significant inferences about them, and close the loop by validating the abstract models with experiments.