CYDEF | Verifiable Cybersecurity Solutions