Skip to Main Content Area

Not a member?

Click here to register!
Forgot username or password?

Usable Formal Methods for the Design and Composition of Security and Privacy Policies

tearline

2017 SoS Lablet Annual Report - CMU

Submitted by Jamie Presken on Thu, 09/28/2017 - 11:59am

tearline

SoS Quarterly Summary Report - CMU - July 2017

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

tearline

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

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

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 - 9:15am

tearline

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

Submitted by Jamie Presken on Mon, 03/13/2017 - 11:14am

tearline

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

Submitted by Jamie Presken on Mon, 03/13/2017 - 11:12am

tearline

SoS Quarterly Summary Report - CMU - April 2017

Submitted by Jamie Presken on Mon, 03/13/2017 - 10:57am

tearline

SoS Quarterly Summary Report - CMU - January 2017

Submitted by Jamie Presken on Wed, 12/14/2016 - 12:53pm

tearline

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

Submitted by Jamie Presken on Wed, 12/14/2016 - 12:46pm

tearline

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

Submitted by Jamie Presken on Wed, 12/14/2016 - 12:44pm

Terms of Use | ©2023. CPS-VO