Gouni, H., Pfenning, F., & Aldrich, J. (2026). Security Reasoning via Substructural Dependency Tracking. Proceedings of the ACM on Programming Languages, 10(POPL), 29. http://doi.org/10.1145/3776669 (Original work published January 2026)