Skip to Main Content Area

Not a member?

Click here to register!
Forgot username or password?

Scalability and Composability

tearline

Epistemic models for security - January 2016

Submitted by Jamie Presken on Thu, 12/10/2015 - 10:29am

tearline

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

Submitted by Jamie Presken on Thu, 12/10/2015 - 10:28am

tearline

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

Submitted by Jamie Presken on Thu, 12/10/2015 - 10:27am

tearline

Multi-model run-time security analysis - January 2016

Submitted by Jamie Presken on Thu, 12/10/2015 - 10:25am

tearline

Secure Composition of Systems and Policies - January 2016

Submitted by Jamie Presken on Thu, 12/10/2015 - 10:24am

tearline

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

Submitted by Jamie Presken on Thu, 12/10/2015 - 10:23am

tearline

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

Submitted by Jamie Presken on Thu, 12/10/2015 - 10:22am

tearline

Geo-Temporal Characterization of Security Threats - January 2016

Submitted by Jamie Presken on Thu, 12/10/2015 - 10:20am

tearline

Highly Configurable Systems - January 2016

Submitted by Jamie Presken on Thu, 12/10/2015 - 10:19am

tearline

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

Submitted by drwright on Tue, 12/01/2015 - 3:09pm

Terms of Use | ©2023. CPS-VO