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

Verifcation of Hyperproperties (Apr-Jun '14) - July 2014

Submitted by jkatz on Fri, 06/27/2014 - 5:15pm

tearline

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

Submitted by mdereno on Tue, 06/24/2014 - 11:52am

tearline

Security Reasoning for Distributed Systems with Uncertainty (CMU/Cornell Collaborative Proposal) - July 2014

Submitted by mdereno on Tue, 06/24/2014 - 11:35am

tearline

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

Submitted by mdereno on Tue, 06/24/2014 - 11:30am

tearline

Secure Composition of Systems and Policies - July 2014

Submitted by mdereno on Tue, 06/24/2014 - 11:20am

tearline

Multi-model run-time security analysis - July 2014

Submitted by mdereno on Tue, 06/24/2014 - 11:14am

tearline

USE: User Security Behavior (CMU/Berkeley/University of Pittsburgh Collaborative Proposal) July 2014

Submitted by mdereno on Mon, 06/23/2014 - 6:10pm

tearline

A Language and Framework for Development of Secure Mobile Applications – July 2014

Submitted by mdereno on Mon, 06/23/2014 - 5:04pm

tearline

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

Submitted by mdereno on Mon, 06/23/2014 - 4:48pm

tearline

SoS Lablet Annual Report TEMPLATE - UIUC

Submitted by Heather Lucas on Sun, 06/19/1983 - 2:48pm

Terms of Use | ©2023. CPS-VO