Verification-Oriented Programming
Accepting LangSec into your heart (or SDLC)
To err is human; to be caught at compile-time, divine
— Jacob Torrey (@JacobTorrey) March 2, 2016
Next week at TROOPERS I am acting as a TA for Tamas on our VM Introspection training as well as giving a talk aimed at developers and their managers to augment their software development life-cycle (SDLC) with LangSec . . .
March 07, 2016
