Compositional Security for Higher-Order Systems Download Tags: Compositional Security Higher Order Systems Foundations Composition 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 Anupam Datta on Fri, 11/01/2013 - 11:05