Gouni, H., Pfenning, F., & Aldrich, J. (2025). Structural Information Flow: A Fresh Look at Types for Non-interference. Proceedings of the ACM on Programming Languages, 9(OOPSLA2), 27. (Original work published October 2025)