Title	Date
Secure Composition of Systems and Policies	2012-11-07
Security Reasoning for Distributed Systems with Uncertainties	2012-11-07
USE: User Security Behavior	2012-11-07
Using Crowdsourcing to analyze and Summarize the Security of Mobile Applications	2012-11-07
Classification of Cyber-Physical System Adversaries	2012-11-09
End-to-End Analysis of Side Channels	2012-11-09
Enhancing Cyber Security Through Networks Resilient to Targeted Attacks	2012-11-09
From Measurements to Security Science: Data-Driven Approach	2012-11-09
Protocol Verification: Beyond Reachability Properties	2012-11-09
Quantitative Assessment of Access Control in Complex Distributed Systems	2012-11-09
Scalable Methods for Security Against Distributed Attacks	2012-11-09
The Science of Summarizing Systems: Generating Security Properties Using Data Mining and Formal Analysis	2012-11-09
Secure Platforms via Stochastic Computing	2012-11-09
Theoretical Foundations of Threat Assessment by Inverse Optimal Control	2012-11-09
Toward a Theory of Resilience in Systems: A Game-Theoretic Approach	2012-11-09
Towards a Science of Securing Network Forwarding	2012-11-09
Trust from Explicit Evidence: Integrating Digital Signatures and Formal Proofs	2012-11-09
Quantitative Security Metrics for Cyber-Human Systems	2012-11-09
Paper Competition - Open Soon 'Contact Us'	2012-11-23
7th Annual Best Scientific Cybersecurity Paper Competition Winners	2019-12-13
9th SoS Paper Competition Review Team	2019-12-13
A Human-Agent-Focused Approach to Security Modeling	2020-01-29