Using Contracts to Improve Security through Responsibility Bifurcation

Sam Hays, Jules White. Using Contracts to Improve Security through Responsibility Bifurcation. In The 3rd European Symposium on Software Engineering, ESSE 2022, Rome, Italy, October 27-29, 2022. pages 10-16, ACM, 2022. [doi]

Abstract

Abstract is missing.