4 ms·

Not particularly apropos to the thrust of the article, but I want to apply SMT to some tricky infosec use cases. Is there a good place to start for someone wit

by jcims 6y ago

Not particularly apropos to the thrust of the article, but I want to apply SMT to some tricky infosec use cases. Is there a good place to start for someone without an academic background in math/logic/etc?

mhh__ 6y ago
The chapter of Norvig on it may suffice as a self contained introduction. There is a book called SMT by Example (IIRC) which is good.
- jcims 6y ago
  Will definitely check out Norvig. Not sure if this is what you had in mind but the linked PDF appears to be a treasure trove, thank you!! https://news.ycombinator.com/item?id=19075599 https://news.ycombinator.com/item?id=19075599
  - mhh__ 6y ago
    Yep. Knuth also has a chapter on it.
panpanna 6y ago
I suggest you start with this paper: "SMT Solvers in Software Security", Julien Vanegue, Sean Heelan, Rolf Rolles https://www.usenix.org/system/files/conference/woot12/woot12-final26.pdf https://www.usenix.org/system/files/conference/woot12/woot12...
- jcims 6y ago
  Looks perfect, thank you!!!