3 ms·
> AWS's formal tools for code-level security what tools?
by dataangel 5y ago
> AWS's formal tools for code-level security
what tools?
- someguydave 5y agoyeah what tools?
- sodality2 5y agohttps://aws.amazon.com/security/provable-security/ https://aws.amazon.com/security/provable-security/ as one example
- sodality2 5y agohttps://aws.amazon.com/security/provable-security/ https://aws.amazon.com/security/provable-security/ as one example