David Foster
@davidfstr@mastodon.world
Software sculptor. Writer. Teacher. Inquiring mind. Bringing world-class computer science education to K-12 schools, teachers, and students at https://techsmart.codes
mastodon.world
Replying to
@drwhax@infosec.exchange
@drwhax@infosec.exchange I've been very concerned about the emergence of Mythos-class AI that can weaponize vulns. I'm personally responding by adding formal memory safety proof coverage to critical libraries in C (notably: OpenSSL). Testing - which can identify many but not all bugs - I no longer consider sufficient. Instead we need formal verification to prove the *absence* of bugs/vulns. #aicoding #security
