Skip to Main Content Area

Not a member?

Click here to register!
Forgot username or password?

Scalability and Composability

tearline

Geo-Temporal Characterization of Security Threats - April 2016

Submitted by Jamie Presken on Thu, 03/17/2016 - 8:05am

tearline

Security Reasoning for Distributed Systems with Uncertainty (CMU/Cornell Collaborative Proposal) - April 2016

Submitted by Jamie Presken on Thu, 03/17/2016 - 8:02am

tearline

Science of Secure Frameworks (CMU/Wayne State University/George Mason University Collaborative Proposal) - April 2016

Submitted by Jamie Presken on Thu, 03/17/2016 - 8:00am

tearline

Secure Composition of Systems and Policies - April 2016

Submitted by Jamie Presken on Thu, 03/17/2016 - 7:56am

tearline

Multi-model run-time security analysis - April 2016

Submitted by Jamie Presken on Thu, 03/17/2016 - 7:54am

tearline

A Language and Framework for Development of Secure Mobile Applications - April 2016

Submitted by Jamie Presken on Thu, 03/17/2016 - 7:50am

tearline

Race Vulnerability Study and Hybrid Race Detection (CMU/University of Nebraska, Lincoln Collaborative Proposal) - April 2016

Submitted by Jamie Presken on Thu, 03/17/2016 - 7:49am

tearline

Formal Specification and Analysis of Security-Critical Norms and Policies - April 2016

Submitted by drwright on Thu, 03/10/2016 - 12:11pm

tearline

Vulnerability and Resilience Prediction Models - April 2016

Submitted by drwright on Thu, 03/10/2016 - 11:35am

tearline

Systematization of Knowledge from Intrusion Detection Models - April 2016

Submitted by drwright on Thu, 03/10/2016 - 11:32am

Terms of Use | ©2023. CPS-VO