Skip to Main Content Area
CPS-VO
Contact Support
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
Science of Security VO
Home
Archive
About
Search
Calendar
Members
Contact Us
Forums
Files
CPS-VO
»
Science of Security VO
» SOS QUARTERLY LABLET MEETING, SEPT '13 AT CMU
SoS Quarterly Lablet Meeting, Sept '13 at CMU
file
Compositional Security for Higher-Order Systems
Submitted by anupamdatta on Fri, 11/01/2013 - 12:05pm. Contributors:
Limin Jia
Deepak Garg
Anupam Datta
Composition
Science of Security
Foundations
Compositional Security
Higher Order Systems
Academia
Presentation
SoS Quarterly Lablet Meeting, Sept '13 at CMU
Composition
CMU
NSA SoS Lablets Materials
file
Least Privilege for Hybrid Programs: Root Exploit Containment for Android
Submitted by enck on Fri, 11/01/2013 - 12:05pm. Contributors:
Xiaohui Gu
William Enck
Science of Security
Foundations
android
hybrid program
modular software
natural partitions
root exploit detection
Academia
Presentation
SoS Quarterly Lablet Meeting, Sept '13 at CMU
Malware Containment
NCSU
Malware and Its Mitigation
Monitoring
Intrusion/Anomaly Detection and Malware Mitigation
NSA SoS Lablets Materials
file
Workshop Summary: Addressing Challenges of Scale through Composable Modeling and Analysis
Submitted by JonathanAldrich on Fri, 11/01/2013 - 12:05pm. Contributor:
Jonathan Aldrich
Composition
Science of Security
Foundations
Composable Analysis
Composable Modeling
Scalability
Academia
Presentation
SoS Quarterly Lablet Meeting, Sept '13 at CMU
Composition
NSA SoS Lablets Materials
file
Addressing Challenges of Scale through Composable Modeling and Analysis
Submitted by JonathanAldrich on Fri, 11/01/2013 - 11:57am. Contributor:
Jonathan Aldrich
Composition
Modeling
Science of Security
Foundations
Scalability
Academia
Presentation
SoS Quarterly Lablet Meeting, Sept '13 at CMU
Composition
CMU
NSA SoS Lablets Materials
« first
‹ previous
1
2
