HCSS 2017

file

Visible to the public A Commitment Logic for Reasoning about Trust in Complex Systems

Submitted by Katie Dey on Wed, 04/12/2017 - 12:42pm. Contributor:

Presented as part of the 2017 HCSS conference.

ABSTRACT

file

Visible to the public Keynote Presentation: Privacy Engineering: Just Another Unicorn?

Submitted by Katie Dey on Wed, 04/12/2017 - 11:56am. Contributor:

Presented as part of the 2017 HCSS conference.

ABSTRACT:

file

Visible to the public Applying NIST's new Privacy Risk Management Framework

Submitted by Katie Dey on Wed, 04/12/2017 - 11:56am. Contributor:

Presented as part of the 2017 HCSS conference.

ABSTRACT

file

Visible to the public Keynote Presentation: Differential Privacy and Data Analysis

Submitted by Katie Dey on Wed, 04/12/2017 - 11:56am. Contributor:

Presented as part of the 2017 HCSS conference.

Abstract:

file

Visible to the public The Semantics of Privacy: From Privacy Policy Analysis to Code-Level Enforcement

Submitted by Katie Dey on Wed, 04/12/2017 - 11:56am. Contributor:

Presented as part of the 2017 HCSS conference.

ABSTRACT

file

Visible to the public Jana - Private Data as a Service

Submitted by Katie Dey on Wed, 04/12/2017 - 11:56am. Contributor:

Presented as part of the 2017 HCSS conference.

file

Visible to the public A Translationally Inspired Model for Autonomous Device Self-Regulation

Submitted by Katie Dey on Tue, 04/11/2017 - 6:36pm. Contributor:

Presented as part of the 2017 HCSS conference.

ABSTRACT

file

Visible to the public Development of Verified Message Encoder/Decoder for Automotive V2V Communications

Submitted by Katie Dey on Tue, 04/11/2017 - 6:36pm. Contributor:

Presented as part of the 2017 HCSS conference.

ABSTRACT

file

Visible to the public Identifying Security Critical Properties for the Dynamic Verification of a Processor

Submitted by Katie Dey on Tue, 04/11/2017 - 6:36pm. Contributor:

Presented as part of the 2017 HCSS conference.

ABSTRACT

file

Visible to the public Levels of Software Assurance in SPARK

Submitted by Katie Dey on Tue, 04/11/2017 - 6:36pm. Contributor:

Presented as part of the 2017 HCSS conference.

ABSTRACT