Using Contracts to Improve Security through Responsibility Bifurcation
Sam Hays, Jules White · 2022
As software development has shifted into a “getting to market quickly"[4] philosophy by embracing fast iteration[2] paradigms offered by such practices as “agile", ensuring strong security and verifiability characteristics has become increasingly difficult.