SoS and Hard Problems Download Tags: distributed systems Frameworks Mobile Applications proofs security information Signatures usability User behavior Foundations Composition Resilient Systems Science of Security Presentation Academia Composition NSA SoS Lablets Materials CMU SoS Quarterly Lablet Meeting, Sept '13 at CMU License: CC-2.5 Submitted by William Scherlis on Fri, 11/01/2013 - 11:05