HotSoS-2015-CFP.docx
2015 HotSoS Call for Papers
System Science of SecUrity and REsilience for Cyber-Physical Systems (SURE)
ABSTRACT
The project on the System Science of SecUrity and REsilience for cyber-physical systems (SURE) will develop foundations and tools for designing, building, and assuring cyber-physical systems (CPS) that can maintain essential system properties in the presence of adversaries. The technology base of SURE will provide CPS designers and operators with models, methods, and tools that can be integrated with an end-to-end model-based design flow and tool chain.
SoS-VO Developments
Overview of some recently released and upcoming new features on the VO.
Insights into Composability from Lablet Research
Abstract
This presentation describes a framework for understanding the hard problem of Composability in the setting of security, along with highlights of lablet research results illustrating recent progress in this area and remaining research challenges.
Deploying the Security Behavior Observatory: An Infrastructure for Long-term Monitoring of Client Machines
Abstract: Much of the data researchers usually collect about users' privacy and security behavior comes from short-term studies and focuses on specific, narrow activities. We present a design architecture and deployment of the Security Behavior Observatory (SBO), a client-server infrastructure designed to collect a wide array of data on user and computer security- and privacy-related behavior from a panel of hundreds of participants over several years. The SBO infrastructure had to be carefully designed to fulfill several requirements.