TY  - RPRT
TI  - Cargo Sherlock: An SMT-Based Checker for Software Trust Costs
AU  - Muhammad Hassnain
AU  - Anirudh Basu
AU  - Ethan Ng
AU  - Caleb Stanford
PY  - 2026
UR  - https://arxiv.org/abs/2512.12553
ID  - 2512.12553
ER  -