News for hackers. Stuff that matters.
Re:Dramatically Reducing Software Vulnerabilities [pdf] by joshmarlow on Wednesday October 05, 2016 @10:16AM (#12643973)
I'm about to start reading "The Little Prover" (https://mitpress.mit.edu/books/little-prover) which sounds like a good intro.
Re:Dramatically Reducing Software Vulnerabilities [pdf] by nickpsecurity on Wednesday October 05, 2016 @01:59PM (#12646171)
The Amazon reviews on it look good. I like how it's very incremental and more manual than modern provers. The latter being advantages as the beginner will have a glimpse of what they're doing or why. I might order a copy.