Verification-Oriented Programming

Accepting LangSec into your heart (or SDLC)

Jacob Torrey

Cyber-security Philosopher and Boffin

comments powered by Disqus