https://edgedatacenters.nl/2023/05/15/security-think-tank-to-secure-code-effectively-verify-at-every-step/