News for hackers. Stuff that matters.

A comment on SMT Solvers in Software Security (2012).

Re:SMT Solvers in Software Security (2012) by gbacon on Saturday July 27, 2019 @03:50PM (#20543772)
Paper: https://www.usenix.org/system/files/conference/woot12/woot12...

Slides: https://www.usenix.org/sites/default/files/conference/protec...

[ Parent | on HN ]

There are no comments on this comment yet.