3 papers
cs.PL2026
Auditing Rust Crates Effectively
Lydia Zoghbi, David Thien, Ranjit Jhala +2
We introduce Cargo Scan, the first interactive program analysis tool designed to help developers audit third-party Rust code. Real systems written in Rust rely on thousands of tran…
cs.LO2026
Cargo Sherlock: An SMT-Based Checker for Software Trust Costs
Muhammad Hassnain, Anirudh Basu, Ethan Ng +1
Supply chain attacks threaten open-source software ecosystems. This paper proposes a formal framework for quantifying trust in third-party software dependencies that is both formal…
cs.CR2025
GlucOS: Security, correctness, and simplicity for automated insulin delivery
Hari Venugopalan, Shreyas Madhav Ambattur Vijayanand, Caleb Stanford +2
We present GlucOS, a novel system for trustworthy automated insulin delivery. Fundamentally, this paper is about a system we designed, implemented, and deployed on real humans and…