Certified Expert Security Contracts (CESC)