HCSS 2022

file

Visible to the public HCSS22burnslides 16.pdf

file

Visible to the public Keynote: What Log4j teaches us about the Software Supply Chain

file

Visible to the public HCSS22burnslides 15.pdf

file

Visible to the public Binary Software Composition Analysis with CodeSentry

file

Visible to the public HCSS22burnslides 14.pdf

file

Visible to the public HCSS22burnslides 13.pdf

file

Visible to the public HCSS22burnslides 12.pdf

file

Visible to the public Lifting Formal Proof to Practice via an Assurance Case

file

Visible to the public HCSS22burnslides 11.pdf