HCSS'17

file

Visible to the public 2017 HCSS Agenda Booklet

Submitted by akarns on Wed, 05/17/2017 - 2:41pm
file

Visible to the public Verifying Elections

Submitted by kiniry on Tue, 05/02/2017 - 3:41pm. Contributors:

Abstract:

Free & Fair is a new elections company that is bringing formal methods to US elections. In this talk we will describe the range of techniques that we apply to make end-to-end guarantees of the systems that we sell to jurisdictions across the country. In the process of our work, we have researched:

file

Visible to the public The New Cryptographic Store/Transfer (CST) Class from Bugs Framework (BF)

Submitted by Paul E. Black on Fri, 04/28/2017 - 3:44pm. Contributors:

The Bugs Framework (BF) is a set of software weakness classes. Each BF class comprises (1) an accurate and precise definition, (2) attributes that identify the software fault, (3) possible causes, (4) consequences that it could lead to, and (5) code sites where it might occur. Building on CWEs, Software Fault Patterns, and Semantic Templates, the Bugs Framework allows us to precisely and unambiguously express software bugs.

file

Visible to the public Vendor Truth Serum

Submitted by Anonymous on Fri, 04/28/2017 - 12:40pm. Contributor:

Abstract:

file

Visible to the public A Trustable Autonomous Systems Lifecycle

Submitted by Anonymous on Fri, 04/28/2017 - 9:35am. Contributor:

The military requires flexible unmanned cyber-physical systems that can exhibit autonomous decision making and both obey rules of engagement and operate within a verifiable behavior safety envelope. We currently lack methods to provide assurance that such systems will operate reliably and with integrity in their operating environment as they continue to learn how to adapt to new situations. We have developed an architecture and an autonomous systems verification and validation approach based, in part, on the new discipline of software intent specifications.