Contract Programming: Formalizing APIs

This presentation covers the topic of API contracts and addresses the question of how APIs can be written more formally. The presentation provides an overview of what a contract is, the theoretical underpinnings, and implications for usability and security of APIs. Practical examples of API contracts and enabling technologies are introduced

#CybersecurityEngineering #DevSecOps #securedevelopment #securebydesign