Skip to Main Content Area

Not a member?

Click here to register!
Forgot username or password?

Approved by NSA

The report has been accepted by the NSA.

tearline

SoS Quarterly Summary Report - CMU - October 2016

Submitted by Jamie Presken on Thu, 09/15/2016 - 8:12am

tearline

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

Submitted by Jamie Presken on Thu, 09/15/2016 - 8:11am

tearline

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

Submitted by Jamie Presken on Thu, 09/15/2016 - 8:10am

tearline

Usable Formal Methods for the Design and Composition of Security and Privacy Policies (CMU/UTSA Collaborative Proposal) - October 2016

Submitted by Jamie Presken on Thu, 09/15/2016 - 8:09am

tearline

USE: User Security Behavior (CMU/Berkeley/University of Pittsburgh Collaborative Proposal) - October 2016

Submitted by Jamie Presken on Thu, 09/15/2016 - 8:08am

tearline

Secure Composition of Systems and Policies - October 2016

Submitted by Jamie Presken on Thu, 09/15/2016 - 8:06am

tearline

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

Submitted by Jamie Presken on Thu, 09/15/2016 - 8:05am

tearline

Multi-model run-time security analysis - October 2016

Submitted by Jamie Presken on Thu, 09/15/2016 - 8:04am

tearline

Highly Configurable Systems - October 2016

Submitted by Jamie Presken on Thu, 09/15/2016 - 8:02am

tearline

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

Submitted by Jamie Presken on Thu, 09/15/2016 - 8:01am

Terms of Use | ©2023. CPS-VO