@misc{indiciaef2211a1199fe,
  title = {Cargo Sherlock: An SMT-Based Checker for Software Trust Costs},
  author = {Muhammad Hassnain and Anirudh Basu and Ethan Ng and Caleb Stanford},
  year = {2026},
  url = {https://arxiv.org/abs/2512.12553},
  note = {Source identifier: 2512.12553}
}