Abstract: The pervasiveness of human-generated text data presents a unique opportunity for security researchers to better understand, and effectively defend against emerging threats. For instance, tweets, technical posts, white papers and research articles in the public domain are a gold mine for collecting valuable Cyber threat Intelligence.

Abstract: Cyber-Physical Systems (CPS) are yielding novel problems and solutions for security researchers. CPSs connect computerized controllers and human supervisors with physical systems used in the energy, transportation, water, manufacturing, and other sectors. Recent attacks against CPS have prompted unprecedented investigation into new threats and mitigations against CPSs. Modern CPSs are founded on control theory, real-time systems, and obscure, often ad-hoc programming practices.

Abstract:  Over the past decade, there has been remarkable progress in using cryptography to enable verifiable and privacy-preserving multi-party computation. The goal of this breakout is to assess the current state-of-the-art and reach consensus on what problems have largely been solved, what problems are ripe for solutions within the next year or two, and what long-term challenges remain.

Abstract: The SaTC Frontier projects are center scale efforts that provide high-level visibility to grand challenge research areas in cybersecurity. These projects are collaborative, multi-university research and education activities that will help protect the nation's vast, critical infrastructure and enable a more secure informationsociety. This session will have presentations from the following frontier projects.

Abstract: The SaTC Frontier projects are center scale efforts that provide high level visibility to grand challenge research areas in cybersecurity. These projects are collaborative, multi-university research and education activities that will help protect the nation's vast, critical infrastructure and enable a more secure information society. This session will have presentations from the following frontier projects.

Abstract: The system security community has proposed a plethora of defense mechanisms that protect programs in the presence of vulnerabilities. Runtime monitors (e.g., CFI, CPI, ASLR, stack canaries, DEP, or diversity) detect security violations (e.g., control-flow hijacking, data corruption, or memory corruption) and terminate the process. Runtime monitors must be implemented efficiently for wide-spread adoption but their runtime data must be protected against adversarial access.

Abstract: Why people fall victims of cyber attacks? and how attackers manage to deceive their victims?  We will focus our discussion on addressing these questions but not from a technical point of view, but form a cognitive and social science perspective. The lead will introduce the importance of accounting for human's cognitive and social aspects in the design of solutions for cyber defense.

Abstract: Research in programming languages and cryptography both emphasize formal and compositional security and are both cornerstones in the science of cybersecurity. We aim to discuss how joint work in these communities can help improve the way we construct secure systems and the way we prove them secure. We plan to discuss questions such as:

Abstract: Machine learning (ML) techniques have been used in cyber-security {\em research} for over twenty years,  e.g., to detect malware using network, OS, and hardware-level signals.