HCSS 2019

file

Visible to the public End-to-end correctness theorems spanning software and hardware

Submitted by Katie Dey on Wed, 05/15/2019 - 9:37am. Contributor:

Presented as part of the 2019 HCSS conference.

file

Visible to the public What Blockchain Got Right, No Really

Submitted by Katie Dey on Wed, 05/15/2019 - 9:35am. Contributor:

Presented as part of the 2019 HCSS conference.

file

Visible to the public Checked C: Safe C, Incrementally

Submitted by Katie Dey on Tue, 05/07/2019 - 2:28pm. Contributor:

Presented as part of the 2019 HCSS conference.

file

Visible to the public Automating Avionics Certification activities using Formal Methods

Submitted by Katie Dey on Mon, 05/06/2019 - 4:06pm. Contributor:

Presented as part of the 2019 HCSS conference.

file

Visible to the public Semantics-Driven Testing of the PKCS11 API

Submitted by Katie Dey on Mon, 05/06/2019 - 4:06pm. Contributors:

Presented as part of the 2019 HCSS conference.

file

Visible to the public Automated Rapid Certification of Software

Submitted by Katie Dey on Mon, 05/06/2019 - 3:38pm. Contributor:

Presented as part of the 2019 HCSS conference.

Current certification practices are antiquated and unable to scale with the amount of software deployed by the Department of Defense (DoD). Two factors prevent the needed scalability. These factors are the use of human evaluators to determine if the system meets certification criteria, and a lack of a principled means to decompose evaluations.