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

Multi-model run-time security analysis - October 2017

Submitted by Jamie Presken on Mon, 10/02/2017 - 12:11pm

tearline

Static-Dynamic Analysis of Security Metrics for Cyber-Physical Systems - July 2017

Submitted by awhitesell on Fri, 07/07/2017 - 11:23am

tearline

Highly Configurable Systems - July 2017

Submitted by Jamie Presken on Mon, 06/12/2017 - 8:21am

tearline

Multi-model run-time security analysis - July 2017

Submitted by Jamie Presken on Mon, 06/12/2017 - 8:20am

tearline

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

Submitted by Jamie Presken on Mon, 06/12/2017 - 8:19am

tearline

Secure Composition of Systems and Policies - July 2017

Submitted by Jamie Presken on Mon, 06/12/2017 - 8:18am

tearline

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

Submitted by Jamie Presken on Mon, 06/12/2017 - 8:15am

tearline

A Language and Framework for Development of Secure Mobile Applications - July 2017

Submitted by Jamie Presken on Mon, 06/12/2017 - 8:14am

tearline

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

Submitted by Jamie Presken on Mon, 06/12/2017 - 8:13am

tearline

Real-time Privacy Risk Evaluation and Enforcement - July 2017

Submitted by Jamie Presken on Mon, 06/12/2017 - 8:12am

Terms of Use | ©2021. CPS-VO