Cargo Sherlock: An SMT-Based Checker for Software Trust Costs. - Muhammad Hassnain; Anirudh Basu; Ethan Ng; Caleb Stanford (CoRR, 2025)