Our second post in teaching computers to talk is up: http://blog.trailofbits.com/2014/12/04/close-encounters-with-symbolic-execution-part-2/ …
... or hear it straight from Artem in the video of his talk on mcsema and KLEE, now posted online:http://blog.trailofbits.com/2014/11/25/close-encounters-with-symbolic-execution/ …
0 replies
2 retweets
3 likes
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.