Skip to Main Content Area

Not a member?

Click here to register!
Forgot username or password?

Scalability and Composability

tearline

Attack Surface and Defense-in-Depth Metrics - July 2014

Submitted by aehunt on Fri, 06/27/2014 - 5:22pm

tearline

Trust, Recommendation Systems, and Collaboration - July 2014

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

tearline

Trustworthy and Composable Software Systems with Contracts - July 2014

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

tearline

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

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

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

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

Terms of Use | ©2023. CPS-VO