Hays, S. ., & White, J. . (2022). Using Contracts to Improve Security through Responsibility Bifurcation. In 2022 European Symposium on Software Engineering (pp. 10–16). New York, NY, USA: Association for Computing Machinery. http://doi.org/10.1145/3571697.3571699 (Original work published October 2022)