Cargo Sherlock: An SMT-Based Checker for Software Trust Costs
Abstract
This is a virtual machine containing the artifact for paper titled, Cargo Sherlock: An SMT-Based Checker for Software Trust Costs submitted to FormaliSE2026. This is an x86 Ubuntu VM, so we suggest running this on an x86 machine. There are no other specific hardware requirements. We recommend using virtual box for this. The zip file contains a README.md file with detail instructions on importing the VM , locating and running the artifact and replicating our results.
Fields of Study & Subjects
Security and Verification in Computing
Formal Methods in Verification
Logic
programming
and type systems
Publication details
- Journal / source
- Figshare
- Publication date
- 1 January 2026