HCSS 2021

file

Visible to the public Compositional verification of modular C programs using VST and VSU

Submitted by LBeringer on Tue, 04/20/2021 - 4:11pm. Contributor:

Presented as part of the 2021 HCSS conference.

ABSTRACT

file

Visible to the public Automated Trust Analysis for Layered Attestations

Submitted by ik on Tue, 04/20/2021 - 4:11pm. Contributors:

Presented as part of the 2021 HCSS conference.

ABSTRACT